Logic Equivalence Checking
高速かつ正確なバグの検出と修正を行うために必要となる、信頼性の高い独立したフォーマル検証テクノロジ
Key Benefits
- 数百万ゲート規模のASICを、従来のゲートレベル・シミュレーションの数倍の速度で網羅的に検証
- 独立した検証テクノロジにより、重大なバグを見逃すリスクを軽減
- 設計フロー全体の中でより迅速に、より正確にバグを検出、修正することが可能
- 等価判定機能を複雑なデータパスまで拡張し、RTL-レイアウト間検証のギャップを埋める(XLパッケージ)
- RTLモデルが、シリコン実装された対応するトランジスタ回路と同じ機能であることを検証(GXLパッケージ)
- 高度な順応型証明アルゴリズムと大規模並列型アーキテクチャにより、RTL-レイアウト間検証の実行時間を劇的に改善(Smart LEC)
PPA(Power、Performance、Area)や市場投入時間に関する厳しい要求を満たすために設計が複雑化する中で、設計のフォーマル検証は重要な要素となり、シリコンを成功に導くために欠かせないサインオフステップになります。
Cadence® Conformal® Logic Equivalence Checking Solutionsは、RTLからP&Rまで設計のフォーマル等価性検証機能を提供します。
Conformal Smart LEC
Conformal Smart Logic Equivalence Checker(LEC)は次世代の等価性検証ソリューションです。Conformal Smart LECでは、大規模並列型アーキテクチャと順応型証明テクノロジにより、等価検証のターンアラウンドタイムがRTL-ゲート間の比較で20倍以上速くなり、劇的に短縮しています。
Learn more
Conformal EC
Conformal Equivalence Checker(EC)は幅広い種類の回路を検証できる業界で唯一の完全な等価性検証ソリューションです。Conformal EC-XLパッケージでは、複雑な算術演算論理やデータパスを含むデジタル論理のフォーマル等価性検証を提供します。Conformal EC-GXLパッケージでは、メモリを含むカスタム回路のフォーマル等価性検証を提供します。