検証の基礎

元のモデルと HDL 実装との差異の表示

生成したテストベンチを使用して、生成した HDL コードを元のモデルに対して検証します。生成したテストベンチによって実行されたテストからコードカバレッジ情報を収集することもできます。

トピック

HDL ワークフローアドバイザーを使用したテストベンチの生成とコードカバレッジの有効化
HDL ワークフローアドバイザーを使用して生成された HDL コード用にテストベンチとコードカバレッジを生成します。
生成された HDL コードのテストベンチの選択
生成されたテストベンチを選択します。
生成されたモデルと検証モデル
生成されたモデルとは、HDL コード生成で作成されるモデルのことで、HDL の実装アーキテクチャを示しレイテンシを含むモデルです。
テストベンチのブロックに関する制限
テストベンチの生成で DUT への直接接続をサポートしないブロックを判別する。
遅延の均衡化
すべてのデータパスに一致する遅延を挿入します。
速度を最適化した後の数値的相違の検出
元のモデルと生成したモデルの数値的相違について確認します。

HDL コード生成後の数値の不一致を解決する方法を説明します。

Troubleshoot index errors during HDL code simulation.