メトリクス・ドリブン検証のサインオフ

機能的な検証には、論理的設計の状態変更と、設計が生成する応答の正確性の評価が必要です。検証環境は、指定された入力または制約付きランダム入力の形式でスティミュラスを変動させて設計の状態を変更します。このとき重要なことは終了条件を明確化することです。検証において、サインオフは基準を定義し、開発の進行に応じて基準と対照しながらメトリクスを客観的に測定し、最終的に一致させるプロセスです。

メトリクス・ドリブンのサインオフは、ICの開発で典型的にみられる多くのマイルストーンで使われる設計や検証メトリクスを測定してサインオフするケイデンス^®独自のメソドロジ、技術です。マイルストーンとメトリクスは設計の種類や目的のアプリケーションによって異なるので、最終的な検証サインオフには、柔軟で、人間が解読可能な、ユーザー定義済みの組織独自の構造の一部である基準とメトリクスが最低限含まれます。自動データ収集、プロジェクト追跡、ダッシュボード、詳細なレポート技術は、主観性を排除し、エンジニアが手動のデータ収集や整理よりも検証に多くの時間を割けるようにするために必須の要素です。

よくあるプレシリコンICの段階では、次のマイルストーンとサインオフが含まれます。

設計者ハンドオフのマイルストーン

設計者のチェックリストには、基本的な機能、構造に関わるチェックがあります。これらのチェックの中でもっとも基本的なものはサニティーテスト、FSMテスト、文法チェックで、動的なアサーションを追加して主要な設計プロパティを検証する場合が多いです。この段階では通常以下のようなツールを使います。

• Xcelium^™ Parallel Simulator – Lint、アサーション、V/VHDLテスト
• JasperGold^® Formal Verification Platform – Superlint、CDC、プロパティ・アプリ
• SimVision^™ Debug – 波形デバッグ
• Indago^™ Debug Platform – 波形デバッグとスマートログ・デバッグ
• Cadence Integrated Metric Center – FSMとカバレッジ

IP検証のマイルストーン

設計のハンドオフ以降、検証エンジニアは、目標と対照しながら測定を自動化するための業界標準のメトリクス・ドリブン検証（MDV）メソドロジを利用します。基準は実行可能な検証プランで特定され、メトリクスはテスト実行後に収集されて計画にバックアノテーションされます。IP設計では、通常メトリクスはカバレッジ（機能およびコード）、リグレッション・テスト、バグ・レート、コーナーケースに関するもので、多くの場合、JasperGoldプラットフォームのフォーマル技術により強化できます。vManager™ Metric-Driven Signoff PlatformのvPlanを使えば、データを整理し、データ収集を自動化できます。この段階では以下のようなツールを使います。

• Xcelium Parallel Simulator - UVM、アサーション、V/VHDLテスト
• JasperGold Formal Verification Platform – 到達不能性、プロパティ、カバレッジ・アプリ
• Indago Debug Platform (and Indago Protocol Debug App) – 波形デバッグ、スマートログ・デバッグ、クラスベースのデバッグ
• vManager Metric-Driven Signoff Platform – vPlan、リグレッション、メトリクス、カバレッジ

SoC検証のマイルストーン – 検証チームは、実証済みのマルチエンジン・メトリクス・ドリブン検証（MDV）メソドロジを使って、多くの異なるツールやテクノロジのデータをまとめられます。SoCサインオフ・メトリクスには、すべてのIPレベルのメトリクス、追加のトグル・カバレッジ、障害カバレッジ、 接続、レジスター、統合テスト、アナログ/ミックスシグナル・テスト、フルチップのユースケース、消費電力、パフォーマンス、チップのベンチマークが含まれています。vManagerプラットフォームのvPlanを使えば、データを整理し、データ収集を自動化できます。この段階では以下のようなツールを使います。

• JasperGold Formal Verification Platform – 接続性、レジスター、Xprop、プロパティ・アプリ
• Xcelium Parallel Simulator – V/VHDLテスト、障害テスト/カバレッジ
• Cadence Interconnect Workbench – オンチップバスのパフォーマンス
• Palladium^® Z1 Enterprise Verification Platform – ハードウェア/ソフトウェア統合のテスト用プラットフォーム
• Perspec^™ System Verifier – ソフトウェア・ドリブンのテスト/ユースケース
• Indago Portable Stimulus Debugアプリ – ソフトウェア・ドリブンのユースケース・デバッグ
• Indago Embedded Software Debugアプリは、初期化ソフトウェアとソフトウェア・ドリブンのテストのデバッグ
• Indago Debug Platform – 波形デバッグ、RTLデバッグ、省電力デバッグ
• SimVision Debug – ミックスシグナルのデバッグ
• Virtuoso^® ADE Verifier – アナログ／ミックスシグナルのテスト
• vManager Metric-Driven Signoff Platform – vPlan、リグレッション、メトリクス、カバレッジ