検証の基礎

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

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

モデル設定

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

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