Verification Engineerの戯言 AVMとVMMの違いとして、一番は何か? それは、テストシナリオを何に書くかである。 AVMではトップモジュール(module)に書く。一方、VMMではprogramに書く。 テストベンチの書き方によっては、DUTとのレースコンディションが発生…

Verification Engineerの戯言、 http://blogs.yahoo.co.jp/verification_engineer/4739413.htmlで書きましたが、 John Cooleyのサイト、DeepChipにDVCon 2007の検証関連の情報が更新されました。 今回は、SystemCとSysVerilogの利用状況が2005年と2007年でか…

Verification Engineerの戯言 AVM 3.0のSystemVerilog版の続き AVM 2.0では、すべてのクラスの親はavm_named_componentクラスであったが、 AVM 3.0では、avm_named_componentクラスは、avm_report_clientクラスの子クラスになった。avm_report_clientクラス…

Verification Engineerの戯言 AVM 3.0のSystemVerilog版の続き AVM 3.0でavm_envクラスの継承クラスでexecute関数のみを定義している場合はどうなるか？ (AVM 2.0では、execute関数を定義することになっていたが、 AVM 3.0では、run関数を定義するように変更…

Verification Engineerの戯言 AVM 2.0とAVM 3.0では、微妙に違う。 検証モデルは、AVM 2.0ならavm_verification_componentクラスを継承するが、 AVM 3.0ではavm_threaded_componentクラスに変わった。 Environmentであるavm_envクラスは、"AVM 3.0"ではavm_n…

Verification Engineerの戯言 昨日、AVM 3.0のアナウンスがありました(http://blogs.yahoo.co.jp/verification_engineer/6400741.html) 本日(5/17)、AVM 3.0がダウンロードできるようになりました。 http://www.mentor.com/products/fv/_3b715c/index.cfm 日…

Verification Engineerの戯言 メンターが本日、AVM 3.0のリリースをアナウンスした。 (といっても、AVM 3.0そのものの公開はまだですが) http://www.mentorg.co.jp/news/2007/070516_2.html SystemC 2.2の正式リリースに伴い、SystemC TLM 2.0がDACで正式リ…

Verification Engineerの戯言 EDA Express(http://www.eda-express.com/news/?m=p&idno=975)でレポートしている メンター社のフォーマル検証セミナーに行きました。 Harry Foster氏のお話は、Verplex、Jasperの時には何度かありましたが、 Mentorになってか…

Verification Engineerの戯言 VHDLの進化はまだ止まっていない。VHDL-2002なのでそろそろ新しいものがリリースされる。 DATE2007でVHDL-2006 D3.0のチュートリアルがあったようだ。 そのときの資料は、 http://www.accellera.org/apps/group_public/download…

http://blogs.yahoo.co.jp/verification_engineer/2617032.html でSCE-MI 2.0の仕様書(ドラフト版)がリリースされたことを書いたが、 EETimes(http://www.eetimes.com/news/design/showArticle.jhtml;jsessionid=0NN1NRW5SOFSOQSNDLPCKH0CJUNN2JVN?articleID…

Verification Engineerの戯言 ALDEC Verification Methodology Seminarsで、 「Building VHPI Applications」が5月10日にストリーミングされる。 http://www.aldec.com/avms/description.asp?AVMSid=III-05 VHPIは、Verilog HDLのVPI(PLI 2.0)に相当する機能…

Verification Engineerの戯言 http://www.trusster.com/ で 「Object Oriented Programming for Hardware Verification Demystified」 のビデオをYoutubeのサービスを利用して公開中。 このビデオは、Aldecの「ALDEC Verification Methodology Seminars」 ht…

Verification Engineerの戯言 Aldec社では、Web Seminarを行っています。 http://www.aldec.com/avms/ 現在、配信中のもの以外に過去、配信したものもユーザー登録するだけで見る(受ける)ことができます。 セミナーの内容は、検証の多岐にわたります。 1)、O…