ファンクショナル・カバレッジ(カバーグループ)Category : アサーションおよびカバレッジ・ツールファンクショナル・カバレッジはデザイン検証プロセスの質に関する情報を提供する技術です。ステートメント・カバレッジよりも高い抽象度において使用します。ファンクショナル・カバレッジはHDLステートメントが実行されたかどうかチェックするのではなく、設計仕様で定義された機能が検証されたかどうか、およびテストベンチのスティミュラスが、機能をテストするのに必要なシナリオをすべてカバーしたかどうかを検証できます。アサーション・カバレッジ は指定したプロパティがどの程度カバーされたか判断するための検証法です。このタイプのファンクショナル・カバレッジは長期間にわたるデザインのビヘイビアを検証するために使用されます(シナリオの指定と、サポートされる言語でそのシナリオを実行可能な形でコーディングする必要があります)。アサーション・カバレッジはRiviera-PROでもActive-HDLでも利用可能です。カバーグループ・カバレッジ はシミュレーションで検証された設計仕様のパーセンテージを測定するユーザ定義手法の1つです。このタイプのファンクショナル・カバレッジは、生成されたスティミュラスで、関心のある関連デザイン機能(検証プランに記載された機能)が確認されたか検証することができます。(デザイン機能の長期間動作を検証する)アサーション・カバレッジとは対照的に、カバーグループ・カバレッジは全体シミュレーション実行中に許容される値がカバーされるかどうかに焦点を当てます(カバレッジ対象のマニュアル指定とテストベンチ・コード内でのインスタンス化が必要)。カバーグループ・カバレッジはRiviera-PROでのみ利用可能です。