Questa_Verification_Tutorials

Examples for Questa-Altera FPGA Starter Editionで始めるRTL検証

概要

当リポジトリは「Questa-Altera FPGA Starter Editionで始めるRTL検証」に記載の内容を実際に実行するためのExample集です。

サンプルプロジェクト一覧

01_GUI

第3章「基本的なRTLシミュレーション~GUI実行~」で使用するサンプルファイル一式です。
この章では、Questa - Altera FPGA Starter EditionのGUI環境を使用してプロジェクト作成から波形確認までを実践します。

02_Batch

第4章「基本的なRTLシミュレーション~バッチ実行~」で使用するサンプルファイル一式です。
この章では、第3章で行ったシミュレーションのほとんどをバッチファイルやマクロファイルによって自動化し、波形確認まで効率化する手法を紹介します。

04_Coverage

第6章「高度な検証2：コードカバレッジ」で使用するサンプルファイル一式です。
この章では、検証の網羅度を確認するコードカバレッジをQuesta - Altera FPGA Starter Editionで実施する方法及び結果の確認方法について紹介します。

05_Assertion

第7章「高度な検証3：アサーションベース検証」で使用するサンプルファイル一式です。
この章では、SystemVerilog Assertionによるアサーション検証及びデバッグについて紹介します。

License

当リポジトリはCERN OHL-P v2でライセンスしますので、ライセンスの範囲でご自由にご利用ください。