カバー - クラウドでのオンライン

プログラム：

NAME

Covered - Verilog コード カバレッジ アナライザー

構文

カバー [グローバルオプション] スコア [オプション]
カバー [グローバルオプション] マージ [オプション] 既存のデータベース マージするデータベース+
カバー [グローバルオプション] レポート [オプション] データベースファイル
カバー [グローバルオプション] ランク [オプション] データベースからランクへ データベースからランクへ+
カバー [グローバルオプション] 除外する [オプション] 除外ID+ データベースファイル

DESCRIPTION

カバード は、Verilog コード カバレッジ分析ツールです。
診断テスト スイートはテスト対象の設計をカバーしています。 でカバーされている読み取り
Verilog デザイン ファイルと、診断実行からの VCD、LXT2、または FST 形式のダンプファイル
カバレッジ記述データベース (CDD) ファイルと呼ばれるデータベース ファイルを生成します。
スコアコマンド。 Covered のスコア コマンドを使用して CDD ファイルを生成することもできます
および、テストベンチで VPI モジュールとして Covered を使用するための Verilog モジュール。
シミュレーションと並行してカバレッジ情報を提供します (「 使用する カバー AS A VPI モジュール）。 ザ
結果の CDD ファイルは、同じデザインの他の CDD ファイルとマージして、
merge コマンドを使用して累積カバレッジを取得します。 CDD ファイルが作成されると、ユーザーは次のことができます。
Covered を使用して、人間が判読できるさまざまなカバレッジ レポートを ASCII 形式で生成するか、
Covered の GUI では、report コマンドを使用してカバレッジ結果を対話的に確認できます。 もしも
ユーザーがカバレッジから除外したい、未カバーのカバレッジ ポイントが見つかった場合、
コマンドラインの exclude コマンドまたは GUI 内で処理できます。 複数の場合
CDD ファイルは同じデザインから作成されており、ユーザーは次のカバレッジ ランキングを取得できます。
これらの CDD ファイルを使用して、回帰テストの理想的な順序を決定し、理解することができます。
新しいものにヒットできないため、リグレッションから除外できる CDD ファイルはどれか
カバーポイント。 さらに、Covered のスコア コマンドの一部として、競合状態
可能性は設計ファイル内にあり、無視するか、警告としてフラグを立てることができます。
またはエラーとしてフラグが立てられます。 競合状態をエラーとして指定することで、Covered も使用できます
競合状態チェッカーとして。

GLOBAL OPTIONS

これらのオプションはキーワードの直後に配置されます カバー コマンドラインで。 彼ら
任意のコマンドに使用できます (例外: -v 　 -h) と同じ効果があります
各ケース。

-B 難読化します。 デザインに依存する名前をすべて難読化してから出力します。
ユーザーが読み取り可能な形式。 このオプションは、出力を共有する場合に便利です。
の開発者はデバッグ目的でカバーされます。

-D デバッグ。 ツールの問題のデバッグに役立つ情報を表示します。 注：これ
オプションは、カバーされているものが --enable-debug でビルドされた場合にのみ使用できるようになりました。
構成オプション。

-h ヘルプ。 この使用法情報を表示します。

-P [ファイル名]
プロファイリングモード。 内部ソース コード プロファイラーを有効にして、
指定されたいずれかへの実行コマンドのプロファイリング レポート ファイル名 または、ない場合
ファイル名 というファイルに存在します。 カバーされた教授。 このオプションはのみ利用可能です
もし ---プロファイリングを有効にする Covered が有効な場合に構成オプションが指定されました。
建てられました。

-Q 静かモード。 すべての出力が抑制されます。

-T 簡潔なモード。 警告を除いてすべての出力が抑制されます。
メッセージと Covered ヘッダー情報。

-v バージョン。 現在の対象バージョンを表示します。

コマンド

スコア Verilog ファイルと VCD/LXT2/FST ダンプファイルを解析して、使用するデータベース ファイルを作成します。
マージとレポート。

マージ XNUMX つ以上のデータベース ファイルを XNUMX つに結合します。

レポート データベース ファイルから人間が判読できるカバレッジ レポートを生成するか、カバレッジを開始します。
レポートGUI。

ランク 回帰を実行する理想的な順序を指定するレポートを生成し、
新しいカバレッジ情報を追加しない CDD ファイル (したがって除外できる)
必要に応じて、回帰から計算します)。

除外する
XNUMX つ以上のカバレッジ ポイント (レポート内の除外 ID で識別される) を許可します
-x オプションで生成される) を使用して、除外プロパティを切り替えます (
除外するか除外して含める)、除外プロパティが除外するように設定されている場合、
オプションで、除外の理由を関連付けて保存できるようにします。
指定された CDD ファイル。

スコア COMMAND

以下のオプションは、score コマンドで有効です。

-A OVL OVL アサーションをアサーション カバレッジに使用します。 このフラグは指定する必要があります
レポートでアサーション カバレッジ メトリックが必要な場合は、score コマンドに追加します。


-cdd データベース
-o オプションと同じです。 スコアリングされる CDD ファイルがスコアへの入力である場合に便利です


-クリ [ファイル名]
VCD/LXT2/FST ダンプファイルのスコアリング中にコマンド ライン デバッガーが使用されるようにします。
If ファイル名 が指定されている場合、このファイルには前の呼び出しで保存された情報が含まれます
CLI で savehist を実行すると、このファイルに含まれる履歴が再生されます。
CLIコマンドプロンプトの前。 もしも ファイル名 が指定されていない場合、CLI プロンプトは
シミュレーションの開始時にすぐに使用できるようになります。 このオプションはのみ利用可能です
Covered が設定されている場合、 --enable-debug オプションを選択します。

-保守的
このオプションを指定すると、問題を引き起こす可能性のあるコードを含む論理ブロックはすべて無効になります。
カバレッジの不一致により、不正確なカバレッジ結果が得られる可能性があります。
カバレッジの考慮事項から削除されました。 詳細については、ユーザーズガイドを参照してください。
コードの種類によっては、カバレッジが不正確になる可能性があります。

-ダンプ変数 [ファイル名]
このオプションを -vcd または -lxt オプションなしで指定すると、デザインが解析されます。
CDD ファイルが作成され、次の名前のトップレベル Verilog モジュール ファイルが作成されます。 ファイル名 (これなら
値が指定されている場合）または「covered_dump.v」（場合 ファイル名 は指定されていません）が作成されます。
このファイルは、シミュレータのコンパイルでダンプファイルを作成するために使用されます。
指定された CDD ファイルのカバレッジを取得するために最適化されています。 -vcd または
-lxt オプションが指定されている場合、このオプションは効果がありません。 ユーザーズガイドを参照してください。
このオプションの使用方法の詳細については、こちらを参照してください。

-D 定義名
指定された名前を 1 に定義します。

-D 定義名=値
指定された名前を指定された値に定義します。

-e ブロック名
スコアを付けないモジュール、タスク、関数、または名前付き開始/終了ブロックの名前。 すべての原因
このブロックの下にある Verilog ツリー内のサブブロックもスコアリングされません。

-ea すべての常にブロックをカバレッジの対象から除外します。

-ec すべての継続的な割り当てが対象範囲の対象から除外されます。

-ei すべての最初のブロックをカバレッジの対象から除外します。

-もしも すべての最終ブロックをカバレッジの対象から除外します。

-ep [名]
「// カバレッジ オフ」プラグマと「// カバレッジ オン」プラグマの間にあるすべてのコードを除外します。
デザインの中に組み込まれています。 もしも 名 が指定されている場合、プラグマ内のキーワードは
デフォルトの「カバレッジ」の代わりにその名前に変更され、ユーザーは次のことが可能になります。
プラグマが他のツールと競合する場合は、プラグマの外観を変更します。

-F module_name=[in_expr,]out_expr
モジュール内にある FSM の場​​所をパーサーに示します。 モジュール名 which
という入力状態式があります。 in_expr と呼ばれる出力状態式
out_expr。 場合 in_expr 指定されていません、 out_expr 入力との両方として使用されます
出力状態の式。

-f ファイル名
解析する追加の引数を含むファイルの名前。

-fst ファイル名
デザインのスコアリングに使用する FST ダンプファイルの名前。 -vcd、-lxt、またはこのオプションが指定されていない場合
Covered を使用すると、デザインから初期 CDD ファイルが作成されるだけであり、Covered は作成されません。
デザインにスコアを付けてみます。

-g [モジュール名=](1|2|3)
ユーザーがパーサーを Verilog の特定の世代に制限できるようにします。
特定のモジュールまたはデザイン全体の標準。1 = Verilog-1995、
2=Verilog-2001、3=SystemVerilog。 もしも モジュール名= が指定されている場合、パーサーは
そのモジュールに対してのみ Verilog 標準を指定し、残りのデザインを許可します。
世界標準を使用します。 デフォルトでは、グローバル標準は最新のものに設定されます。
バージョン(3)。 このオプションは、特定の呼び出しに対して複数回指定できます。
スコアコマンド; ただし、-g オプションでグローバル値以上の値を指定した場合 (つまり、
なしで モジュール= プレフィックス)、最後のオプション値のみが使用されます。

-h このヘルプ情報を表示します。

-I ディレクトリにジョブを開始します。
含まれている Verilog ファイルを見つけるディレクトリ。

-i インスタンス名
ツリーの最上位にあるモジュールへの Verilog 階層参照。
得点した。 このオプションは、カバレッジを検証するモジュールがトップレベルではない場合に必要です。
設計上のモジュール。 指定がない場合は、 -t 値が使用されます。

-lxt ファイル名
デザインのスコアリングに使用する LXT2 ダンプファイルの名前。 -vcd、-fst、またはこのオプションが指定されていない場合
Covered を使用すると、デザインから初期 CDD ファイルが作成されるだけであり、Covered は作成されません。
デザインにスコアを付けてみます。

-m メッセージ
ユーザーがこの CDD ファイルに関する情報を指定できるようにします。 この情報は、
何でも構いません (空白を含むメッセージは二重引用符で囲む必要があります)
マーク)、ただし、より簡単にシミュレーション引数に関するものが含まれる場合があります。
CDD ファイルを再作成する目的で、CDD ファイルをそのシミュレーションにリンクします。

-o データベース
カバレッジ情報を書き込むデータベースの名前。 指定しない場合、出力は
データベースのファイル名は「cov.cdd」になります。

-p ファイル名
中間プリプロセッサ出力を保存するために使用されるデフォルトのファイル名をオーバーライドします。

-P パラメータスコープ=値
指定されたパラメータに対して値を指定して defparam を実行します。

-rs 競合状態チェックに違反すると、問題のあるロジック ブロックが削除されます。
カバレッジを考慮し、レースに関してはすべての出力が抑制されます
条件違反。 人種の詳細については、ユーザードキュメントを参照してください。
状態確認用です。

-rW 競合状態チェックに違反すると、問題のあるロジック ブロックが削除されます。
カバレッジを考慮して競合状態違反が出力されます。 これは
競合状態処理のデフォルトの動作。 詳細については、ユーザードキュメントを参照してください
競合状態チェックの使用法に関する情報。

-rE 競合状態チェックに違反した場合、その理由が出力され、スコアリングが終了します。
すぐに。 競合状態の詳細については、ユーザードキュメントを参照してください。
使用状況を確認しています。

-rI[=モジュール 名]
If モジュール 名 が指定されていない場合、競合状態チェックは完全にスキップされます。
全体のデザイン。 もしも モジュール 名 が指定されている場合、競合状態チェックはスキップされます
指定されたモジュールの場合。 人種の詳細については、ユーザードキュメントを参照してください。
状態確認用です。

-rP[=名])
競合状態チェックから特定のコードを無視するために埋め込みプラグマを使用します
考慮事項（場合 名 が指定されている場合は、プラグマ キーワードとして使用されます)。 ユーザーを参照
競合状態チェックの使用方法の詳細については、ドキュメントを参照してください。

-S シミュレーションの完了後にシミュレーション統計を出力します。 この情報は、
現在のところ、Covered の開発者のみに役立ちます。

-t トップレベル モジュール
測定する最上位モジュールのモジュール名を指定します。 ご了承ください
このモジュールはシミュレータの最上位モジュールである必要はありません。 このフィールド
これは、score コマンドのすべての呼び出しに必要です。

-top_ts タイムスケール
このオプションは、-vpi または -dumpvars オプションが指定されている場合にのみ有効です。
このオプションを使用すると、ユーザーは生成された Verilog モジュールのタイムスケールを指定できます。
-vpi/-dumpvars オプションを使用して作成されました。 このオプションが指定されていない場合、いいえ
生成されたモジュールのタイムスケールが作成されます。 の値 タイムスケール is
次のように指定します。

(1|10|100)(s|ms|us|ns|ps|fs)/(1|10|100)(s|ms|us|ns|ps|fs)

さまざまな値の間に空白が必要な場合は、内容全体を配置します。
タイムスケール 二重引用符で囲みます。

-NS 数
スコアリングが行われるとき、このオプションを使用すると、ユーザーはシミュレーターがどれだけ遠くまで到達したかを確認できます。
現在のタイムステップを標準出力に出力することで進行します。 の値
数 出力する前にシミュレートできるタイムステップ数を指定します。
現在のタイムステップ (出力ストリームへの呼び出しが減ります)。

-T (最小|標準|最大)
次の形式で遅延式が見つかったときに使用する値を指定します。
最小:標準:最大。 このオプションが指定されていない場合は、デフォルトで 'typ' select が使用されます。

-v ファイル名
スコアリングする特定の Verilog ファイルの名前。

-vcd ファイル名
デザインのスコアリングに使用する VCD ダンプファイルの名前。 -lxt、-fst、またはこのオプションが指定されていない場合
Covered を使用すると、デザインから初期 CDD ファイルが作成されるだけであり、Covered は作成されません。
デザインにスコアを付けてみます。

-vpi [ファイル名]
-vcd、-lxt、または -fst オプションを指定せずにこのオプションを指定した場合、設計は次のようになります。
解析されると、CDD ファイルが作成され、次の名前の最上位 Verilog モジュール ファイルが作成されます。 ファイル名
(この値が指定されている場合) または "covered_vpi.v" (この値が指定されている場合) ファイル名 は指定されていません）
という PLI テーブル ファイルとともに作成されます。 ファイル名.ta b または「covered_vpi.v.ta b」。
これらのファイルは両方とも、Covered を使用するためのシミュレーターのコンパイルに使用されます。
VPI モジュール。 -vcd、-lxt、または -fst オプションのいずれかが指定されている場合、このオプションは
効果はありません。

-無視する
コードの解析およびシミュレーション中の警告の出力を抑制します。

-y ディレクトリにジョブを開始します。
指定されていない Verilog ファイルを検索するディレクトリ。

+ libext +。拡大[+。拡大]*+
スコアリングで使用できる Verilog ファイルの拡張子。

MERGE COMMAND

次のオプションはマージ コマンドで有効です。

-d ファイル名
含める CDD ファイルを検索するディレクトリ。 このオプションは組み合わせて使用​​されます
-内線 決定に使用するファイル拡張子を指定するオプション
ディレクトリ内のどのファイルが CDD ファイルであるか。

-er (最初の|last|を|NEW|古い)
除外理由の解決を処理する方法を指定します。 CDD ファイルが XNUMX つ以上ある場合
マージされる場合、同じカバレッジ ポイントに対して除外理由が指定されている場合、
除外理由を解決する必要があります (同じ文字列値でない場合)。 もしも
このオプションが指定されておらず、競合が見つかった場合、Covered は対話的に実行されます。
除外ごとに、それを処理する方法についての入力を要求します。 このオプションが
指定すると、すべての除外理由の競合を処理する方法が Covered に指示されます。 の
値は次のとおりです:.br

最初の - 最初の除外理由を含む CDD ファイルが使用されます。

last - 最後の除外理由を含む CDD ファイルが使用されます。

を - すべての除外理由が使用されます (連結されます)。

NEW - 指定された最新の除外理由を使用します。

古い - 指定された最も古い除外理由を使用します。

-内線
と組み合わせて使用 -d オプション。 いいえの場合 -内線 オプションは
コマンドラインでは、デフォルト値の「.cdd」が使用されます。 ピリオド (.) を使用する必要があることに注意してください。
指定されること。

-f ファイル名
解析する追加の引数を含むファイルの名前。

-h このヘルプ情報を表示します。

-m メッセージ
ユーザーがこの CDD ファイルに関する情報を指定できるようにします。 この情報は、
何でも構いません (空白を含むメッセージは二重引用符で囲む必要があります)
マーク）。

-o ファイル名
新しいデータベースを出力するファイル。 この引数が指定されていない場合、
既存のデータベース は出力データベース名として使用されます。

レポート COMMAND

次のオプションは、report コマンドで有効です。

-b 組み合わせロジックの詳細出力がレポートされ、式がベクトルの場合
このオプションは、カバレッジ情報をビット単位で出力します。

-c If -v を指定すると、対象となるメトリクスのみが表示されます。 デフォルトではカバーされていない状態で表示されます
情報のみ。

-d (s|d|v)
カバレッジレポート情報で提供する詳細レベル (s = 概要、d =
詳細、v = 冗長)。 デフォルトは概要です。

-e 除外されたすべてのカバレッジ ポイントを、指定されたカバレッジ ポイントとともにレポート ファイルに出力します。
除外理由がある場合 -d d or -d v オプションが指定されています。

-f ファイル名
解析する追加の引数を含むファイルの名前。

-h このヘルプ情報を表示します。

-i モジュールの代わりにインスタンスのカバレッジ情報を提供します。

-m [l][t][c][f][r][a][m]
レポートするメトリクスのタイプ。 l=ライン、t=トグル、c=組み合わせロジック、f=FSM状態
状態遷移、r=競合状態、a=アサーション、m=メモリ。 デフォルトは ltcf.

-o ファイル名
レポート情報を出力するファイル。 デフォルトは標準出力です。

-s カバレッジ情報を含まないモジュール/インスタンスの出力を抑止します。
レポートに。 潜在的に無意味な情報を情報から削除するために使用されます。
レポート。

-v 廃止されました。 「-dd」または「-d v」に置き換えられます。

-見る インタラクティブなカバレッジレポート用の GUI インターフェイスを開始します。

-w (数)
Verilog の出力に使用できる最大線幅 (文字単位) を指定します。
情報。 このオプションが指定されていない場合、レポート内のすべての Verilog コードは
元の Verilog コードで指定されたものと同じフォーマットを保持します。 これなら
オプションが指定されている場合、Verilog コードは現在のコードを最大限に使用するようにフォーマットされます。
行が最大線幅に達したときにテキストを折り返します。 の
デフォルトの最大行幅は 115 文字です (この値は、数値が指定されていない場合に使用されます)。
-w オプションで指定します)。 -w オプションで数値を指定した場合、
値は最大線幅に使用されます。

-x 範囲内のすべての未カバーおよび除外されたカバレッジ ポイントの除外 ID を出力します。
カバレッジ ポイントの関連する詳細出力の前に括弧を付けます。 の
除外 ID を使用して、除外を通じてカバレッジ ポイントを除外/含めることができます。

RANK COMMAND

次のオプションは、rank コマンドで有効です。

-d ファイル名
含める CDD ファイルを検索するディレクトリ。 このオプションは組み合わせて使用​​されます
-内線 決定に使用するファイル拡張子を指定するオプション
ディレクトリ内のどのファイルが CDD ファイルであるか。

- 深さ 数
各カバレッジ ポイントに到達するために必要な CDD ファイルの最小数を指定します。 の
の値 数 ゼロより大きくなければなりません。 デフォルトは 1 です。

-内線
と組み合わせて使用 -d オプション。 いいえの場合 -内線 オプションは
コマンドラインでは、デフォルト値の「.cdd」が使用されます。 ピリオド (.) を使用する必要があることに注意してください。
指定されること。

-f ファイル名
解析する追加の引数を含むファイルの名前。

-h Rank コマンドのヘルプ情報を表示します。

-名前のみ
指定した場合、実行する必要がある必要な CDD ファイル名のみを出力します。
実行する必要がある順序。 このオプションが設定されていない場合、レポート形式の出力は次のようになります。
追加情報が提供されます。 このオプションはスクリプトで役立つことを目的としています
CDD ファイル名のみを出力として実行したい場合。

-o ファイル名
ランキング情報を出力するファイル名。 デフォルトは標準出力です。

-必須-cdd ファイル名
ランク付けに必要な CDD とみなされる CDD の名前 (つまり、ランク付けすることはできません)
理由の如何を問わず除外されます）。

-必須リスト ファイル名
必須 CDD と見なされる CDD のリストを含むファイルの名前
ランク付けする。 ファイル名は空白または改行文字で区切る必要があります
ファイル内。

-v Rank コマンドの実行時に詳細な出力が表示されます。 出力します
ランキング アルゴリズムのさまざまなフェーズごとの診断情報
ランタイム、含まれる/除外される CDD ファイルの数、カバレッジの数を含む
各フェーズ中にランク付けされた CDD がヒットしたポイント。 この情報の目的は、
ランキング アルゴリズムとそのパフォーマンスに興味がある人に役立ちます。

-weight-assert 数
非固有のランク付けに使用されるアサーション カバレッジの相対的な重み付けを指定します。
カバーポイント。 の値 数 で使用される値に相対的です。
-weight-toggle, -体重-記憶, -ウェイトコーム, -weight-fsm 　 -ウェイトライン ランク
コマンドオプション。

-ウェイトコーム 数
ランク付けに使用される組み合わせロジック カバレッジの相対的な重み付けを指定します。
非固有のカバレッジ ポイント。 の値 数 で使用される値に相対的です
　 -weight-toggle, -体重-記憶, -weight-assert, -weight-fsm 　 -ウェイトライン
ランクコマンドのオプション。

-weight-fsm 数
FSM 状態と状態遷移カバレッジの相対的な重み付けを指定します。
非固有のカバレッジ ポイントをランク付けします。 の値 数 値に相対的です
で使用される -weight-toggle, -体重-記憶, -ウェイトコーム, -weight-assert 　
-ウェイトライン ランクコマンドのオプション。

-ウェイトライン 数
非固有のカバレッジをランク付けするために使用されるライン カバレッジの相対的な重み付けを指定します。
ポイント。 の値 数 で使用される値に相対的です。 -weight-toggle,
-体重-記憶, -ウェイトコーム, -weight-fsm 　 -weight-assert ランクコマンドのオプション。

-体重-記憶 数
非固有のカバレッジをランク付けするために使用されるメモリ カバレッジの相対的な重み付けを指定します。
ポイント。 の値 数 で使用される値に相対的です。 -weight-toggle,
-ウェイトライン, -ウェイトコーム, -weight-fsm 　 -weight-assert ランクコマンドのオプション。

-weight-toggle 数
非固有のカバレッジをランク付けするために使用されるトグル カバレッジの相対的な重み付けを指定します。
ポイント。 の値 数 で使用される値に相対的です。 -体重-記憶,
-ウェイトライン, -ウェイトコーム, -weight-fsm 　 -weight-assert ランクコマンドのオプション。

除外する COMMAND

次のオプションは、exclude コマンドで有効です。

-f ファイル名
exclude コマンドの追加オプションを含むファイルの名前を指定します。
このオプションは、XNUMX 回の呼び出しに必要なだけ指定できます。
コマンドを除外します。

-h exclude コマンドの使用法情報を生成します。

-m 除外メッセージをカバレッジ ポイントに関連付けることができます。
包含された状態から除外された状態へ。 条件を満たす各カバレッジ ポイントについて
この要件を満たした場合、ユーザーは理由の入力を求められます。 その理由として考えられるのは、
任意の長さと任意の数の行。 ただし、すべての書式設定文字 (つまり、
改行、タブ、余分なスペースなど）が削除され、単一の文字に置き換えられます。
後で表示するときはスペースを指定します。 メッセージの入力を終了するには、Return キーを押します。
単一のピリオド (.) 文字を入力し、もう一度 Return キーを押します。 最終期
文字は除外メッセージの一部にはなりません。

-p 指定されたすべてのカバレッジ ポイントに現在の除外ステータスを出力させ、
除外理由 (除外されたカバレッジ ポイントに存在する場合) を標準に
出力。 このオプションを指定すると、 -m オプションは無視されます。

使用する カバー AS A VPI モジュール

Covered のスコア コマンドを使用して VCD、LXT2、または FST ファイルを解析して抽象化することに加えて、
カバレッジ情報。Covered は、シミュレーター内の VPI モジュールとしても使用できます。
この情報を抽出します。 ダンプファイル リーダーよりも Covered を VPI として使用する利点
以下のものが含まれます。 まず、VCD ファイルは、特に長時間の場合、非常に大きくなる可能性があります。
シミュレーションにより、貴重なディスク領域が消費されてしまいます。 次に、シミュレータを使用している場合、
VCD、LXT2、または FST とは異なる形式のダンプ ファイルがあり、これらのダンプを変換したい場合
ファイル タイプをこれらのバージョンのいずれかに変更すると、ディスク領域と時間のコストがかかり、ファイルの作成が困難になる可能性があります。
対象となるダンプファイルは望ましくないものです。 さらに、VPI として Covered を使用しますが、
モジュールによりシミュレーション速度が遅くなります。おそらく、費やされる合計時間が長くなります。
デザインのシミュレーションとデザインのスコアリングを XNUMX つのステップで行う方が、XNUMX 回で行うよりも短くなります。
XNUMXつのステップ。 その結果、Covered の設定ユーティリティは、VPI 対応ライブラリを生成できます。
次の無料および商用シミュレータ (Icarus Verilog、CVER、および VCS)。

ソースから Covered を生成するときに VPI 対応ライブラリ ファイルを自動的に構築するには、
「configure」ユーティリティを実行するときに、次の XNUMX つ以上を指定するだけです。
ベースの対象ディレクトリ: --with-iv= 、 --with-vcs=
パス>、--with-cver= 。 Covered を設定したら、次のように入力します。
「メイク」と「メイクインストール」。 これにより、VPI 対応ライブラリ ファイルが
インストール libexec ディレクトリ (デフォルトでは、このパスは /usr/local/libexec になります)。

デザインをコンパイルする準備が整う前に、最初にトップレベルの CDD ファイルを作成する必要があります。
Verilog ファイル、および PLI テーブル ファイル (最後のファイルは VCS コンパイラにのみ必要です)。
これは、 -vpi (ファイル名) Covered のスコア コマンドのオプション。 いいえの場合
-vpi の後にファイル名を指定すると、ファイル Covered_vpi.v および Covered_vpi.ta b が作成されます。
生成されたカバレッジ ファイルと一緒に作成されます。 このステップは次のことのみを行う必要があることに注意してください。
設計ファイルが変更されない限り、一度だけ実行されます。 これで、コンパイルする準備が整いました。
シミュレータ

Icarus Verilog シミュレーションをコンパイルしている場合は、「-m」を追加するだけです。
/usr/local/libexec/covered.vpi Covered_vpi.v' を 'iverilog' コマンドラインに追加します。 一度
コンパイルが完了したら、生成された実行可能ファイルを通常どおり実行します。

CVER シミュレーションをコンパイルしている場合は、次のコードを追加するだけです。
「+loadvpi=/usr/local/libexec/covered.cver.so:vpi_compat_bootstrap Covered_vpi.v」を
「cver」コマンドライン。

VCS シミュレーションをコンパイルしている場合は、「+vpi -load」を追加するだけです。
/usr/local/libexec/covered.vcs.so:covered_covered_vpi.v' を 'vcs' に登録します
コマンドライン。 コンパイルが完了したら、生成された実行可能ファイルを実行します。
通常はそうします。

NC-Verilog シミュレーションをコンパイルしている場合は、NC-Verilog の irun コマンドに切り替えてロードします。
カバーされた共有オブジェクト: '-loadvpi /usr/local/libexec/covered.ncv.so:covered_register'
「-access +rwc」ですべてのアクセスを有効にします。 $covered_sim 呼び出しをハードコーディングできます。
RTL を使用することも、-input input.tcl を追加することで、CLI を使用して RTL を動的に実行することもできます。
イルンに切り替えます。 input.tcl ファイルは次のようになり、tb.dut は
カバレッジインスタンス:
call -systf {$covered_sim} {"scored.cdd"} tb.dut
ラン

生成された実行可能ファイルの実行時に渡すことができる XNUMX つの plusargs があります。
カバーされると解析されます。 '+covered_cdd= ' オプションを指定すると、Covered は
で指定された CDD ファイルにデザイン コンテンツをスコア付けします。 。 これにより複数の実行が可能になります
シミュレータを使用して、再コンパイルを必要とせずにいくつかの異なる CDD ファイルを生成します。
起こる。 「+covered_debug」オプションを使用すると、Covered は大量の過剰な出力をダンプします。
シミュレーション中の内部実行時の状態について説明します。 この出力はのみ生成されます
Covered が --enable-debug オプションで構成されている場合。 この plusarg オプションは、
主に Covered in の開発者を支援することを目的としているため、一般ユーザーが使用する必要があります。
デバッグ。

作者

トレバー・ウィリアムズ[メール保護]>

onworks.net サービスを使用して対象となるオンラインを使用する