LPTMを用いて、大規模で複雑なSoCの設計イタレーション・コストの最小化に成功したことを発表した。Platformを構成するローパワー・サインオフ/スタティック検証ソリューションである。Model(SAM)ベース・テクノロジがあるが、サムスン社はこの機能を活用して、結果品質やデバッグ可視性を損なうことなく、フラット手法によるローパワー・サインオフ検証と比べて5倍の実行スピードと1/6のメモリー使用量を達成した。Choi氏は次のように語っている。「ローパワー・サインオフ検証の実行にあたっては、スピードと品質の確保が至上命題です。LPソリューションのSAMフローの活用により、消費電力のスタティック検証スピードを5倍高速化し、当社のASICデザインの高い結果品質とサインオフ品質を達成できました。この階層検証フローは、既存の検証環境に最小限の変更を加えるだけで様々なデザインにシームレスに適用でき、高品質なASICの迅速な市場投入を支援してくれます」SAMフローは、ライブラリ・セル、階層インスタンス、トップレベル検証では不要なネット接続の排除により、新しいブロックレベル抽象化モデルを実現する。この抽象化モデル手法は、ブロック内に収めるロジックの量を決定し、最速の検証スピードと品質を実現する。LPソリューションは、新しいマシンラーニング・ベースの解析テクノロジを用いて品質とデバッグ性を向上させている。これにより、サインオフ検証にかかる期間全体を大幅に短縮することができ、デザイン上に微細なバグすら残すことなくシリコンへ移行することが可能となる。Seshadriは次のように述べている。「ASIC検証にかかる工数と解析のやり直しを極限まで削減したい開発者にとって、SAMフローとマシンラーニング・テクノロジの活用は、非常に重要な要素となります。LPが提供する階層ベースSAMフローのご活用により、サムスン様では、大規模SoCのフラット検証と同等の結果品質を実現されました。LPの階層検証フローならびにマシンラーニング・ベース・ソリューションを紹介している。LPは既に提供を開始している。SoftwareTM)をカバーするソリューションを提供している。電子設計自動化(EDA)ソリューションならびに半導体設計資産(IP)のグローバル・リーディング・カンパニーとして長年にわたる実績を持ち、ソフトウェア品質/セキュリティ・ソリューションの分野でも業界をリードしており、世界第15位のソフトウェア・カンパニーとなっている。シノプシスは、最先端の半導体を開発しているSoC(system-on-chip)設計者、最高レベルの品質とセキュリティが要求されるアプリケーション・ソフトウェアの開発者に、高品質で信頼性の高い革新的製品の開発に欠かせないソリューションを提供している。詳細な情報は、https://www.synopsys.com/ja-jpより入手可能。Inc.の登録商標または商標です。その他の商標や登録商標は、それぞれの所有者の知的財産です。