インテル® Stratix® 10 ハード・プロセッサー・システム (HPS) コンポーネント・リファレンス・マニュアル

ID 683516
日付 11/30/2018
Public
ドキュメント目次

3.1.3.2.1. ポストフィット・シミュレーション・ファイル

ポストフィット・シミュレーションは、オリジナルのRTLデザインをマッピング、合成およびフィットした後に生成される、ネットリストのシミュレーションです。ネットリストは、実際のハードウェアと、FPGAで行われている接続を表します。 インテル® Quartus® Primeは、ネットリストを生成します。また、すべての接続のタイミング情報を含む、標準遅延フォーマット・ファイル (.sdf) の生成も可能です。シミュレーションには、ワイヤーとゲートに要するタイミングがすべて0の状態 (タイミング情報なし) で、機能のみ検証する場合と、遷移のタイミングすべてをSDFの情報に基づき行う、タイミング検証があります。

ポストフィット・シミュレーションは、様々な目的で利用することが可能です。
  • デザインの動的なタイミング検証のため
  • デザインまたは (特にフィッターの) コンパイルフロー、もしくはその両方の機能的な正確性を検証するため

この表では以下の記号を使用しています。

  • <ACDS install> = インテル・コンプリート・デザイン・スイートのインストレーション・パス
  • <Avalon Verification IP> = <ACDS install> /ip/altera/sopc_builder_ip/verification
  • <AXI Verification IP> = <ACDS install> /ip/altera/mentor_vip_ae
  • <HPS Post‑fit Sim> = <ACDS install> /ip/altera/hps/postfitter_simulation
  • <Device Sim Lib> = <ACDS install> /quartus/eda/sim_lib
表 14.  ポストフィット・シミュレーション・ファイル

ライブラリー

ディレクトリー

ファイル

インテル® 検証用IPライブラリー

<Avalon Verification IP>/lib/

verbosity_pkg.sv

avalon_mm_pkg.sv

avalon_utilities_pkg.sv

AvalonクロックソースBFM

<Avalon Verification IP>/altera_avalon_clock_source/

altera_avalon_clock_source.sv

AvalonリセットソースBFM

<Avalon Verification IP>/altera_avalon_reset_source/

altera_avalon_reset_source.sv

Avalon-MMスレーブBFM

<Avalon Verification IP>/altera_avalon_mm_slave_bfm/

altera_avalon_mm_slave_bfm.sv

Avalon割り込みシンクBFM

<Avalon Verification IP>/altera_avalon_interrupt_sink/

altera_avalon_interrupt_sink.sv

Mentor AXI Verification IPライブラリー

<AXI Verification IP>/common/

questa_mvc_svapi.svh

Mentor AXI3 BFM

<AXI Verification IP>/axi3/axi3/bfm/

mgc_common_axi.sv

mgc_axi_master.sv

mgc_axi_slave.sv

HPSポストフィット・シミュレーション・ライブラリー

<HPS Post‑fit Sim>/

ディレクトリー内のファイルすべて

デバイス・シミュレーション・ライブラリー4

<Device Sim Lib>/

altera_primitives.v

220model.v

sgate.v

altera_mf.v

altera_lnsim.sv

twentynm_atoms.v

fourteennm_atoms.sv

mentor/twentynm_atoms_ncrypt.sv

mentor/fourteennm_atoms_ncrypt.sv

EDA Netlist Writerで生成されるポストフィット・シミュレーション・モデル

<User project directory>/

*.vo

*.vho

(Verilog HDLとVHDLが混在するデザインには、混在言語シミュレーターが必要です。)

ユーザー・テストベンチ・ファイル

<User project directory>/

*.v

*.sv

*.vhd

(Verilog HDLとVHDLが混在するデザインには、混在言語シミュレーターが必要です。)

4 デバイス・ミュレーション・ライブラリーは、Modelsim- インテル® に必要ありません。