Code Coverage (Statement/Branch, Expression/Condition, Path), Toggle Coverage, Functional Coverage (OSVVM) + New UCIS-compatible Aldec Coverage Database.

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

コード・カバレッジ（ステートメント/分岐、式/条件、パス）およびコード・カバレッジ・ビューワ

コード・カバレッジは検証プロセスを補助するデバッギング・ツールです。Riviera-PROとActive-HDLでは次のコード・カバレッジ・ツールでソースコードを検証することができます。

ステートメント/分岐カバレッジ：ステートメント・カバレッジは各HDLステートメントの実行の分岐を表示します（この情報からデザインのどの部分が検証済みでどこが未検証かが分かります。またデッド・コードの発見にも役立ちます）。分岐カバレッジはif文やcase文の分岐やVHDLの条件信号割当ステートメントを収集します。
式/条件カバレッジ：式カバレッジは論理式を因数分解してシミュレーション中に監視するツールです（式はすべての場合が実行された場合に完全にカバーされたと言えます）。条件カバレッジ・データは式カバレッジから生成されるデータ統計のセットです（VHDLの条件文で使われる式のみ。例えばif, while, 条件信号割当ステートメントなど）。
パス・カバレッジ（Active-HDLエキスパート・エディションとRiviera-PRO全エディション）：パス・カバレッジはプログラムのパスの実行に関する情報を集め、あり得るプログラム・シーケンスがすべてテストベンチで検証されたかどうか解析します（現在はVHDLのみで利用可能）。

コード・カバレッジ・ビューワはシミュレーション中に収集されたステートメント・カバレッジ、分岐カバレッジ、ファンクショナル・カバレッジ、式/条件カバレッジのデータを表示するスタンドアロン・アプリケーションです。

UCIS互換・アルデックのカバレッジ・データベース

ACDB（Aldec Coverage DataBase）は、色々なタイプのカバレッジ・データに共通のフォーマットです。ACDBはアルデックがAccelleraのUCIS統一カバレッジ・データベース要求をRiviera-PROの機能として実装したものです。ACDBには、コード・カバレッジ（式/分岐カバレッジ）、アサーション・カバレッジ、およびSystemVerilog Covergroupカバレッジのデータが保存されます。複数のACDBファイルを合体させて1つのデータベースにして、異なるシミュレーション・セッション中に収集された統計データを解析することもできます。カバレッジ・データのユーザ定義解析用にC言語のAPIが用意されています（アドホックのカバレッジ解析プロシージャや完全カスタマイズのGUIやレポートの作成、外部ツールからサードパーティのフォーマットのカバレッジ・データの取り込みなど）。ACDBはRiviera-PROでのみ利用可能です。

注 – アルデックはまた、カバレッジ・データをタイプ別（-cc：コード・カバレッジ、-exc：式カバレッジ、-pac：パス・カバレッジなど）に分けて保存できるネイティブ・カバレッジ・データベースも提供しています。このタイプのカバレッジ・データベースはActive-HDLでもRiviera-PROでも利用できます。