ModelSimでアサーションを使用したシミュレーションの操作方法、手順についてサンプルデザイン付きでチュートリアルにまとめました。
現時点の最新バージョン2024.1をベースにしておりますが、以前のバージョンでも同様の操作で使用できます。
この資料は以下のことが掲載されています
各操作については画面付きで説明した全42ページの資料です。
目次
- 1. はじめに
- 2. サンプルデザインについて
- 3. アサーションとは
- 4. アサーションを使用したシミュレーションの操作手順
- 5. 【操作手順】ソースコードにアサーション記述したVerilogサンプル
- 5.1. 使用するファイル
- 5.2. GUIでの操作
- 5.3. コマンドでの操作
- 6. 【操作手順】BIND文を使ったVerilogサンプル
- 6.1. 使用するファイル
- 6.2. GUIでの操作
- 6.3. コマンドでの操作
- 7. 【操作手順】BIND文を使ったVHDLサンプル
- 7.1. 使用するファイル
- 7.2. GUIでの操作
- 7.3. コマンドでの操作
- 8. アサーションに関するデバッグ
- 8.1. アサーション・サマリー
- 8.2. 波形上でのアサーションの確認
- 8.3. ATV(Assertion Thread Viewer)
- 8.4. アサーション・レポート
- 9. さいごに
フォームの送信後にメールにて資料をお送りいたします。
フォームが表示されるまでしばらくお待ち下さい。
恐れ入りますが、しばらくお待ちいただいてもフォームが表示されない場合は、こちらまでお問い合わせください。