テスト、シミュレーション、検証計画、カバレッジ指標を用いて、チップおよび電子システムの設計を検証すること。
本稿は、現代のシステムの複雑化により、テストとレポートを集約するだけでは不十分になったと論じている。チップ設計チームには、ライフサイクル全体を通じて要件、設定、テスト、結果を結び付ける検証スレッドが必要である。その価値は、ツールの統合だけでなく、要件の明確さ、証拠とそのコンテキストの記録にかかっている。