フォーマル等価検証 

イノベーションを加速する包括的な等価検証 

シノプシスは、大規模、複雑で他電源のSoC設計、あらゆるタイプのメモリー設計、フルカスタム・ロジックとI/Oの等価検証のニーズに対応する強力なツール群を提供します。Hier-IQ、データパス専用ソルバー、シンボリック・シミュレーションなど、特許を有する独自のテクノロジを用い、ユーザは実在する最も広い範囲の、包括的な等価検証を利用することができます。シノプシスのフォーマル等価検証スイートには、合成フローの全体的な検証向けのFormalityと、ECOインプリメンテーションおよび高度なデバッグを支援するFormality Ultra、フルカスタム、メモリー検証用のESP-CVがあります。

 
  • ESP-CV
  • フルカスタム設計の機能検証 more

 
二つのデザイン間の機能的等価性を確認する、高速、完全なカバレッジ


 
フォーマルおよびスタティックな手法を用いて、二つのデザインが機能的に等価であるかを確認するハイパフォーマンスの等価検証ツール
PDF データシートのダウンロード (PDF)

  • 完全な検証カバレッジを提供することにより、テープアウト時のリスクを最小化
  • 使い勝手のよさにより、数百万ゲートの設計でもすばやい結果のレポート
  • ロジック、データパス、カスタム・マクロ、メモリー、I/Oを含むSoCの全体を検証可能