0

CPU アーキテクチャの設計とシミュレーションにModelSimを使用しています。私のようにこれを知っている人は、目の前のすべての信号を処理しようとすると、シミュレーション データを検証するのが非常に難しいこともおそらく認識しているでしょう。

取得したデータが正しいかどうかを確認するために、シミュレーションを自動的に実行して検証手順を実行する方法はありますか?

たとえば、次のクロックで信号によって刺激されると、否定された信号を返す特定のコンポーネントがあります。これを検証したい。どのように?(もちろん、画面上の信号を手動でチェックする必要はありません)。

ありがとうございました

4

1 に答える 1

6

はい、これはセルフチェック テスト ベンチとして知られています。アイデアは、テストするコンポーネントをインスタンス化する新しい VHDL ファイルを作成し、コンポーネントに刺激を適用し、アサーションを使用して出力を検証することです。これを行う基本的な方法は、次のようにassertステートメントを使用することです。

assert my_signal = x"3456" report "my_signal has the wrong value!" severity ERROR;

また、VHDL コードの動作を検証するための別の言語である PSL も調べてみてください。Modelsim は、VHDL アサーションと PSL の両方をサポートしています。

于 2012-10-01T17:54:51.030 に答える