Code Coverage (Statement/Branch, Expression/Condition, Path), Toggle Coverage, Functional Coverage (OSVVM)

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

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

ステートメント/分岐カバレッジ:ステートメント・カバレッジは各HDLステートメントの実行の分岐を表示します(この情報からデザインのどの部分が検証済みでどこが未検証かが分かります。またデッド・コードの発見にも役立ちます)。分岐カバレッジはif文やcase文の分岐やVHDLの条件信号割当ステートメントを収集します。

式/条件カバレッジ:式カバレッジは論理式を因数分解してシミュレーション中に監視するツールです(式はすべてのケースが実行された場合に完全にカバーされたと言えます)。条件カバレッジ・データは式カバレッジから生成されるデータ統計のセットです(VHDLの条件文で使われる式のみ。例えばif, while, 条件信号割当ステートメントなど)。

パス・カバレッジ:パス・カバレッジはプログラムのパスの実行に関する情報を集め、あり得るプログラム・シーケンスがすべてテストベンチで検証されたかどうか解析します(現在はVHDLのみで利用可能)。

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

Ask Us a Question
x
Ask Us a Question
x
Captcha ImageReload Captcha
Incorrect data entered.
Thank you! Your question has been submitted. Please allow 1-3 business days for someone to respond to your question.
Internal error occurred. Your question was not submitted. Please contact us using Feedback form.
We use cookies to ensure we give you the best user experience and to provide you with content we believe will be of relevance to you. If you continue to use our site, you consent to our use of cookies. A detailed overview on the use of cookies and other website information is located in our Privacy Policy.