FC2カウンター FPGAの部屋 OVL(Open Verification Library)を試してみる2(Veritakを使用する)
FC2ブログ

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

FPGAの部屋

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

OVL(Open Verification Library)を試してみる2(Veritakを使用する)

前回はModelSimでOVLを使用したが、今度はVeritakでもOVLを使えるかどうかを試してみた。
まずは、Veritakを起動してovl_sampleというプロジェクトを生成する。(私のブログのVeritakのチュートリアルを参照
ovl_sampleのコマンドファイルのcomplie.f を下に引用させて頂く。

ovl_example/sim/compile.f-------------------------------------
 1    +define+OVL_ASSERT_ON
 2    +define+OVL_COVER_ON
 3    +define+OVL_MAX_REPORT_ERROR=1
 4    +define+OVL_INIT_MSG
 5    +libext+.v+.vlib
 6    -y ../std_ovl
 7    +incdir+../std_ovl
 8    +incdir+../tb
 9    ../tb/top.v
10    +incdir+../rtl
11    ../rtl/decimal_counter.v
----------------------------------------------------------- 


complie.fの記述を参考に、Veritakのプロジェクトにファイルを追加する。ここでコンパイルするファイルは../tb/top.vと../rtl/decimal_counter.vだ。
Add Include Dirボタンで、インクルードするフォルダを指定する。7の+incdir+../std_ov だけで良さそうだ。
Add Lib Dirボタンで、ライブラリのあるフォルダを指定する。6番の-y ../std_ovlがライブラリを指定するフォルダで、5番の+libext+.v+.vlibで、ライブラリとして指定するファイルの拡張子を決定する。この機能はVeritakのこのマニアルによると、Add Lib Extボタンで追加出来るそうなのだけれど、Veritakのプロジェクトの設定画面にそのボタンが無い。Veritak BasicにはなくてProの機能なのだろうか?
define はどこで追加すると言うと、Def/Plus/Top のテキストボックスに書いて、Add Defineボタンをクリックするとdefineが適用されるらしい。compile.f の1,2,3,4番のdefineを入力した。
OVL_sample_3_100310.png

これでSave Projectボタンをクリックして、Exitボタンをクリックし、Load Verilogプロジェクトした。その結果、counter_checker_instモジュールが見つからないというエラーが出てしまった。counter_checker_instモジュールの実体は、assert_rangeなので、assert_range.vlibがライブラリとして定義出来ないのが、まずいようだ。
OVL_sample_4_100310.png

Veritakのサポートに聞いてみることにする。
(2010/03/11:追記)
Veritakのサポートに連絡したところ、早速、Add Lib Extボタンを追加して頂いた。たっくさんありがとうございました。Veritakのバージョンは3.77Eだ。
Add Lib Extボタンでvlibもライブラリとして解釈される。vlibを追加した。
OVL_sample_5_100310.png

タックさんに教えて頂いたのだが、このままシミュレーションをスタートすると、ずっとシミュレーションをやり続けてしまう。そこで、500nsecで終了するように設定する。シミュレーションメニューからRun Lengthを選択すると、ダイアログが出る。ダイアログで、Enter Time Integerに500ns を入力し、Enableをチェックした。これで500nsec シミュレーション後に停止するようだ。
シミュレーション後の様子を下図に示す。無事にシミュレーションすることができた。
OVL_sample_6_100311.png
  1. 2010年03月10日 05:51 |
  2. アサーション事始め
  3. | トラックバック:0
  4. | コメント:0

コメント

コメントの投稿


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

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