シミュレーションおよび検証サポートリソース

シミュレーションはデザイン動作を検証する上で非常に重要です。シミュレーターおよびテストベンチを使用した HDL 記述のデザイン・シミュレーションは、大規模なデザインを検証するための実証済み手法です。Quartus® II デザインスイートには、Quartus® II シミュレーターと機能およびタイミング・シミュレーション用のすべての普及型サードパーティー・シミュレーターのサポートが含まれています。

フォーマル検証は、デザインの実装を検証するための実証済みの方法です。Quartus® II ソフトウェアは、フォーマル検証用の一般的なサードパーティー業界ツールをサポートしています。

シミュレーションについて詳しくは、以下のページをご覧ください。


フォーマル検証について詳しくは、以下のページをご覧ください。


Quartus® II ソフトウェアの検証およびシミュレーション機能の概要については、検証およびシミュレーション 製品の特長のページを参照してください。

既知の検証およびシミュレーションに関する問題およびテクニカル・サポート・ソリューションを検索するには、インテルの ナレッジベースをご利用ください。 また インテル® FPGA コミュニティー では、他のユーザーと技術的な問題について質疑できます。

さらにテクニカルサポートが必要な場合は、Intel® Premier Support を使用して、サービスリクエストの作成および更新を行ってください。

シミュレーションのリソース

表 1 にシミュレーションに関する技術資料へのリンクを示します。

表 1. シミュレーション・サポートの技術資料

リソース 説明

Mentor Graphics ModelSim and QuestaSim Support

Synopsys VCS Support

Cadence NC-Sim Support

インテル® Quartus® Prime 開発ソフトウェア・ハンドブックのこれらの総合的な章には、Mentor Graphics*社の ModelSim* ModelSim*-Intel® FPGA、Synopsys VCS、および Cadence NC-sim の各シミュレーション・ツールを使用して、レジスタ転送レベル(RTL)の機能シミュレーション、合成後の機能シミュレーション、およびフィッティング後 のタイミング・シミュレーションを実行するための、ステップごとの指示が記載されています。
Software Installation and Licensing (英語版・PDF)

 

この章では、Windows* および Linux* プラットフォーム上でインテル® Quartus® Prime 開発ソフトウェアおよび関連ソフトウェアをインストールするための要件と手順について説明します。
サードパーティー・シミュレーション・ツールでの インテル® FPGA IP のシミュレーション (日本語・PDF) インテル® FPGA IP(Intellectual Property)は、デザインの各種コンポーネントに対して独自の RTL を記述するのに時間を費やすことなくデザインを構築する迅速な方法を提供します。インテル® FPGA IP はすべて、VHDL および Verilog でのシミュレーションをサポートします。この章では、サードパーティー・シミュレーション・ツールを使用してインテル® FPGA IP の機能シミュレーションおよびゲート・レベル・シミュレーションを実行する方法について説明しています。
AN 351: Nios II エンベデッド・プロセッサー・ デザインのシミュレーション (日本語・PDF) このアプリケーション・ノートでは、Nios® II デザイン例、SOPC Builder、および Nios® II 統合開発環境(IDE)を使用して、ModelSim* シミュレーターで RTL シミュレーションをセットアップおよび実行するプロセスについて解説しています。
Aldec Active-HDL のサポート (英語版) この Aldec Web ページでは、インテル® Quartus® Prime - Active HDL 間のシミュレーション・フローについて説明しています。ここでは、インテル® Quartus® Prime 開発ソフトウェアの NativeLink 機能を使用して Aldec Active-HDL シミュレータでデザインをシミュレーションする方法について紹介しています。
ModelSim* Command Reference (英語版・PDF) このウェブサイトは、Mentor Graphics 社で作成されたもので、ModelSim* シミュレーターの使用に関する情報を提供します。
ModelSim* in Action This website, developed by Mentor Graphics, provides information on using the ModelSim simulator.

 

表 2 にシミュレーションのトレーニングおよびデモへのリンクを示します。

 

表 2. シミュレーションのデモおよびトレーニング・コース

リソース 説明
ModelSim* オンラインデモ

ModelSim* オンライン・ビデオ・デモでは、Quartus® ソフトウェアでの ModelSim*- インテル® FPGA シミュレーターの使用についての概要を示します。

これは 3 分間のデモです。

メンター・グラフィックス ModelSim* ソフトウェアの概要
(オンラインコース)

メンター・グラフィックス ModelSim* ソフトウェアの概要について紹介します。

これは 1 時間のオンラインコースです。