機能的な検証には、論理的設計の状態変更と、設計が生成する応答の正確性の評価が必要です。検証環境は、指定された入力または制約付きランダム入力の形式でスティミュラスを変動させて設計の状態を変更します。このとき重要なことは終了条件を明確化することです。検証において、サインオフは基準を定義し、開発の進行に応じて基準と対照しながらメトリクスを客観的に測定し、最終的に一致させるプロセスです。メトリクス・ドリブンのサインオフは、ICの開発で典型的にみられる多くのマイルストーンで使われる設計や検証メトリクスを測定してサインオフするケイデンス®独自のメソドロジ、技術です。マイルストーンとメトリクスは設計の種類や目的のアプリケーションによって異なるので、最終的な検証サインオフには、柔軟で、人間が解読可能な、ユーザー定義済みの組織独自の構造の一部である基準とメトリクスが最低限含まれます。自動データ収集、プロジェクト追跡、ダッシュボード、詳細なレポート技術は、主観性を排除し、エンジニアが手動のデータ収集や整理よりも検証に多くの時間を割けるようにするために必須の要素です。あるプレシリコンICの段階では、次のマイルストーンとサインオフが含まれます。設計者ハンドオフのマイルストーン設計者のチェックリストには、基本的な機能、構造に関わるチェックがあります。これらのチェックの中でもっとも基本的なものはサニティーテスト、FSMテスト、文法チェックで、動的なアサーションを追加して主要な設計プロパティを検証する場合が多いです。この段階では通常以下のようなツールを使います。FSMとカバレッジIP検証のマイルストーン設計のハンドオフ以降、検証エンジニアは、目標と対照しながら測定を自動化するための業界標準のメトリクス・ドリブン検証(MDV)メソドロジを利用します。基準は実行可能な検証プランで特定され、メトリクスはテスト実行後に収集されて計画にバックアノテーションされます。IP設計では、通常メトリクスはカバレッジ(機能およびコード)、リグレッション・テスト、バグ・レート、コーナーケースに関するもので、多くの場合、JasperGoldプラットフォームのフォーマル技術により強化できます。PlatformのvPlanを使えば、データを整理し、データ収集を自動化できます。この段階では以下のようなツールを使います。検証チームは、実証済みのマルチエンジン・メトリクス・ドリブン検証(MDV)メソドロジを使って、多くの異なるツールやテクノロジのデータをまとめられます。接続、レジスター、統合テスト、アナログ/ミックスシグナル・テスト、フルチップのユースケース、消費電力、パフォーマンス、チップのベンチマークが含まれています。vManagerプラットフォームのvPlanを使えば、データを整理し、データ収集を自動化できます。この段階では以下のようなツールを使います。vPlan、リグレッション、メトリクス、カバレッジメトリクス・ドリブンのサインオフメトリクス・ドリブンのサインオフは、フィジカルな実装に先行する、またはテープアウト時のすべての設計/機能テストの最終段階と定義できます。サインオフのこの段階では、それ以前の段階のすべてのマイルストーンとメトリクスが含まれ、さらにクロッキングや省電力などの構造に関するすべての最終チェックも加わります。この最終サインオフの段階では、ゲートレベルのテスト、ステート・マシン(FSM)、クロック(CDC)、合成、X-prop、故障モード(障害)テスト、プレシリコン電力測定が加わり、必要に応じてそれ以外も加わります。vPlan(図1)とvManagerプラットフォームを使えば、このようなデータを収集、整理し、自動データ収集、手動チェックリスト、テスト結果の手動入力により、包括的なメトリクス・ドリブンのサインオフ環境が実現します。この段階では以下のようなツールを使います。