株式会社PALTEK > 半導体事業 > 取扱メーカー > Siemens EDA/シーメンス EDA > ModelSim簡易チュートリアル【アサーション編】ダウンロード

Siemens EDA/シーメンス EDA

ModelSim 簡易チュートリアル 【アサーション編】 ダウンロード

ModelSimでアサーションを使用したシミュレーションの操作方法、手順についてサンプルデザイン付きでチュートリアルにまとめました。
現時点の最新バージョン2024.1をベースにしておりますが、以前のバージョンでも同様の操作で使用できます。

ご注意:
本資料に記載のない詳細な説明やその他のオプションについては弊社提供のModelSim DE 日本語ユーザーガイドをご参照下さい。
弊社提供のユーザガイドは弊社よりツールご購入、もしくはご契約中のお客様に限り下記より参照できます。
ぱるサポへのログインはこちら
https://paltek.actibookone.com/auth/login

この資料は以下のことが掲載されています

各操作については画面付きで説明した全42ページの資料です。

各操作については画面付きで説明した全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. さいごに

フォームの送信後にメールにて資料をお送りいたします。

フォームが表示されるまでしばらくお待ち下さい。

恐れ入りますが、しばらくお待ちいただいてもフォームが表示されない場合は、こちらまでお問い合わせください。

シーメンス EDAのことなら
PALTEKにご相談ください!

シーメンス EDAのことならPALTEKにご相談ください!

シーメンス EDA製品の
お問い合わせ

03-5479-7025

株式会社PALTEK デザインサービス事業部
シーメンス EDA製品サポート窓口