ファンクショナル・カバレッジ（カバーグループ）

Category : アサーションおよびカバレッジ・ツール

ファンクショナル・カバレッジはデザイン検証プロセスの質に関する情報を提供する技術です。ステートメント・カバレッジよりも高い抽象度において使用します。ファンクショナル・カバレッジはHDLステートメントが実行されたかどうかチェックするのではなく、設計仕様で定義された機能が検証されたかどうか、およびテストベンチのスティミュラスが、機能をテストするのに必要なシナリオをすべてカバーしたかどうかを検証できます。

カバーグループ・カバレッジは、シミュレーションで検証された設計仕様の割合を測定するユーザー定義手法の１つです。このタイプのファンクショナル・カバレッジは、生成されたスティミュラスを使用して、関心がある関連デザイン機能（検証プランに記載された機能）が確認されたか検証することができます。（デザイン機能の長期間動作を検証する）アサーション・カバレッジとは対照的に、カバーグループ・カバレッジは全体シミュレーション実行中に許容される値がカバーされるかどうかに焦点を当てます（カバレッジ対象のマニュアル指定とテストベンチ・コード内でのインスタンス化が必要）。