FC2カウンター FPGAの部屋 ISimでOVL V2.6を使用したシミュレーション(OVLライブラリのコンパイルと登録)
FC2ブログ

FPGAやCPLDの話題やFPGA用のツールの話題などです。 マニアックです。 日記も書きます。

FPGAの部屋

FPGAの部屋の有用と思われるコンテンツのまとめサイトを作りました。Xilinx ISEの初心者の方には、FPGAリテラシーおよびチュートリアルのページをお勧めいたします。

ISimでOVL V2.6を使用したシミュレーション(OVLライブラリのコンパイルと登録)

AXI4バスのBFMにデータ転送時にランダムなWaitを挟む機能を追加した。これをループさせてバグを検出したいのだが、シミュレーション波形を目で見ていると、とっても大変なので、OVL(Open Verification Language? Open Verification Library?)を使用して動作をチェックすることにした。なお、OVLの最新バージョンVer. 2.6 はここからダウンロードすることができる。

FPGAの部屋のOVLの資料を以下に示す。
アサーション事始め
ISimでOVLのVHDL, Verilog混在シミュレーション(OVLライブラリのコンパイルと登録)
ISimでOVLのVHDL, Verilog混在シミュレーション(ISimでシミュレーション)

ISimでOVLのシミュレーションを行うためには、OVLライブラリをコンパイルして、ライブラリに登録する必要がある。そのため、OVLの各チェッカをコンパイルするためにバッチを自作してある。そのための方法が”ISimでOVLのVHDL, Verilog混在シミュレーション(OVLライブラリのコンパイルと登録)”に書いてある。バッチファイルは、OVLチェッカの位置をフルパスで書いてあるので、それを変更してからISE13.4のコンパイラでコンパイルを行った。
下に手順を示す。

1.スタートメニュー -> アクセサリ -> コマンド プロンプトを立ち上げる。

2.ISE13.4のインストールフォルダに行って、13.4\ISE_DSフォルダの中の settings32.bat(Windows 64ビット版の場合はsettings64.bat)を実行する。
ISim_OVL_Sim_1_120309.png

3.OVL_Verilog_Lib_Comp.batとOVL_VHDL_Lib_Comp.bat の入っているフォルダに移動する。

4.OVL_Verilog_Lib_Comp.batを実行する。
ISim_OVL_Sim_2_120309.png

5.コンパイルが終了した。
ISim_OVL_Sim_3_120309.png

6.前回同様、isimフォルダに下にaccellera_ovl_vlog フォルダが出来て、Verilogのコンパイル済みのライブラリができた。
ISim_OVL_Sim_4_120309.png

7.OVL_VHDL_Lib_Comp.batを実行した。
ISim_OVL_Sim_5_120309.png

8.前回同様、isimフォルダに下にaccellera_ovl_vhdl フォルダが出来て、VHDLのコンパイル済みのライブラリができた。
ISim_OVL_Sim_6_120309.png

*コンパイルした2つのライブラリをISimに登録する。

9.Xilinx\13.4\ISE_DS\ISE\verilog\hdp\ntフォルダに、accellera_ovl_vlog フォルダをコピーする。
ISim_OVL_Sim_7_120309.png

10.Xilinx\13.4\ISE_DS\ISE\vhdl\hdp\ntフォルダに、accellera_ovl_vhdl フォルダをコピーする。
ISim_OVL_Sim_8_120309.png

11.Xilinx\13.4\ISE_DS\ISE\vhdl\hdp\ntフォルダに、xilinxsim.iniがあるので、これをエディタで開く。

12.accellera_ovl_vlog=$XILINX/verilog/hdp/nt/accellera_ovl_vlog と accellera_ovl_vhdl=$XILINX/vhdl/hdp/nt/accellera_ovl_vhdl の行を追加した。
ISim_OVL_Sim_9_120309.png

これで、accellera_ovl_vlogとaccellera_ovl_vhdlライブラリがISimで使用できるようになった。
  1. 2012年03月09日 05:12 |
  2. アサーション事始め
  3. | トラックバック:0
  4. | コメント:0

コメント

コメントの投稿


管理者にだけ表示を許可する

トラックバック URL
https://marsee101.blog.fc2.com/tb.php/2083-f640d5a8
この記事にトラックバックする(FC2ブログユーザー)