Vengineerの戯言

人生は短いけど、長いです。人生を楽しみましょう!

2007-10-01から1ヶ月間の記事一覧

TensionからCarbonへ

Verification Engineerの戯言 「Tensionはどうなる?」 http://blogs.yahoo.co.jp/verification_engineer/10069083.html 「続、Tensionはどうなる?」http://blogs.yahoo.co.jp/verification_engineer/14967434.html でTensionからCarbonへの移行が始まること…

Using SystemVerilog DPI to Create Comprehensive Hardware/Software Co-Verification Environments

Verification Engineerの戯言 SNUG : Synopsys Users Group(http://www.snug-universal.org/)のBoston 2007 http://www.snug-universal.org/cgi-bin/search/search.cgi?Boston,+2007 で、MarvellがDPI-Cを利用した事例を発表しました。 Using SystemVerilog …

Simplifying Vertical Reuse with Specman Elite

Verification Engineerの戯言 e関連が続きますが、 The Cadence Design Network User Group Community (http://www.cdnusers.org/Home/tabid/348/Default.aspx) にSpecman(e)関連の論文がアップされました。 http://www.cdnusers.org/Articles/Download/tabi…

バイオハザード・シリーズ

映画好きの戯言 11/3(土)に公開される「バイオハザードⅢ」。 その前知識として、本日(10/28)と土曜日、つまり公開日(11/3)に 「バイオハザード:テレビ朝日」、「バイオハザード2アポカリプス:フジテレビ」がテレビ放映されます。 この作品も「インビジブル」…

ALDEC : SystemC Resource

Verification Engineerの戯言 2007年5月1日に、Aldec Verification Methodology Seminarsについて書きましたが、 http://blogs.yahoo.co.jp/verification_engineer/4903903.html Aldec社のSystemC関連のリソースが下記のURLにあります。 http://www.aldec.co…

今週の映画鑑賞、10/21-10/27

映画好きの戯言 乱歩地獄(2005)(DVD) http://www.allcinema.net/prog/show_c.php?num_c=322385 浅野忠信(Charaの旦那)が最初から最後まで出ているのねー。 「鏡地獄」はよかったが、「芋虫」、「蟲」はイマイチ、最初の「火星の運河」はわからん。 プライト…

IEEE1647-2008のDraft3版、公開中

Verification Engineerの戯言 Specman Verification(http://www.specman-verification.com/)によると、 eの標準化IEEE1647-2008のDraft3が公開中です。 http://ieee1647.org/downloads/P1647_Draft_3_071008.pdf eの標準化がされているのは知っていましたが…

STARC-TLモデリングガイド

Verification Engineerの戯言 昨日、STARC-IP機能検証ガイド(http://blogs.yahoo.co.jp/verification_engineer/24655778.html)について書きましたが、STARCではTLモデリングガイドも作っているようです。 TLモデリングガイドのSTARC標準化 http://www.starc.…

STARC-IP機能検証ガイド

Verification Engineerの戯言 Synopsys Users Meeting 2007(http://www.synopsys.co.jp/jsnug2007/program/index.html)で、 STARCからIP機能検証ガイドと事例について発表がありました。 「STARC-IP機能検証ガイドとPCI Express検証用IPによる実証」 詳細は…

モデル、トップテストベンチ、テストプログラム

Verification Engineerの戯言 検証環境の実装では、3つの要素(モデル、トップテストベンチ、テストプログラム)が必要なると思います。これは、SystemVerilogを使っても、SystemCを使っても同じです。 モデルは、独自のモデルの他にVIP(検証用IP)を使うことが…

Hardware Verification with SystemVerilogのe-book

Verification Engineerの戯言 http://blogs.yahoo.co.jp/verification_engineer/23787949.html に書きましたが、 一部の章は筆者のサイトで(http://www.trusster.com/books)公開されていましたが、 実は、出版元のSpringerLinkでe-Bookとして、すべてのベー…

HairSpray

映画好きの戯言 今までMOVIXで見ていたのだが、最近できたUNITED CINEMAに変更。 シートはMOVIXよりGood、ブラケットは係員に言わないといけない。 今回見たスクリーンは一番大きなものであったが、奥行きが短い。 私は視覚にすべてが入ってほしいのだが、こ…

今週の映画鑑賞、10/14-10/20

映画好きの戯言 ハイスクール・ミュージカル/HIGH SCHOOL MUSICAL(2006)(GyaO:日本語吹き替え版) http://www.allcinema.net/prog/show_c.php?num_c=325768 こんなに高校生活が楽しいのなら何度でも繰り返したい。 そんなに楽しい映画。ミュージカルと青春、…

アキュベリノス

Verification Engineerの戯言 EDA Expressによると http://www.eda-express.com/news/?m=p&idno=1181 ASIC検証事業専門会社として、アキュベリノス が立ち上がりました。 http://www.accverinos.jp/ FPGAをベースとしたプロトタイプシステムを開発、販売して…

仮想開発環境「Innovater」

Verification Engineerの戯言 EDA Expressに10月12日(金)に品川で行われました「Synopsys Users Meeting 2007」 http://blogs.yahoo.co.jp/verification_engineer/23592060.html の記事がアップされました。 http://www.eda-express.com/news/?m=p&idno=1180…

VMMとコミュニティ

Verification Engineerの戯言 VMMは、Synopsysが提唱している検証メソドロジーです。 言語として、SystemVerilogを使っているので、 「Verification Methodology Manual for SystemVerilog」という書籍もARMと共著で出版しています。 VMMの元ネタはRVM(Refer…

オープンソースとオープンソース開発

Verification Engineerの戯言 検証におけるオープンソースと言えば、なんといっても SystemC : http://www.systemc.org です。その他には、 ・Testbuilder ・Jeda などがありましたが、既にサイトが無くなっていたり、メンテナンスされていない状態です。 最…

Generator->Driver -> DUT -> Monitor -> Checker

Verification Engineerの戯言 VMM, AVM, URMでは、各機能の名称が微妙に違います。 このサイトでは、 Generator -> Driver -> DUT -> Monitor -> Checker とすることにします。 URMでは、Driverの部分がBFMとなっていますが、 DUTへの接続部分が必ずしも、Bu…

Trussterの書籍2冊のteal & truss部分の章が無償公開

Verification Engineerの戯言 Trussterの書籍2冊(http://www.trusster.com/books)のtealとtrussの部分の章が無償で公開されています。 Hardware Verification With SystemVerilog -- An Object Oriented Framework Hardware Verification with C++, a practi…

Google グループ:Verification 3.0立ち上げました

Verification Engineerの戯言 諸般の事情により私は、下記の'''Verification 3.0'''のGoogleグループにアクセスできなくなってしまいましたので、レスポンスができません。すみません。 ============================================= Verification Enginee…

今週の映画鑑賞、10/7-10/13

映画好きの戯言 ワイルド・スピードX2/2 FAST 2 FURIOUS(2003)(テレビ) http://www.allcinema.net/prog/show_c.php?num_c=241523 ワイルド・スピード/THE FAST AND THE FURIOU(2001) ワイルド・スピードX3 TOKYO DRIFT/THE FAST AND THE FURIOUS: TOKYO …

Synopsys Users Meeting 2007

Verification Engineerの戯言 本日、Synopsys Users Meeting 2007が品川コンファレンスセンターで開催されます。 http://www.synopsys.co.jp/jsnug2007/program/index.html VMM関連の講演が3件あり、すでに満席となったものもあるようです。 iPod Touch当た…

URM:BFM, Driver, Monitor Class

Verification Engineerの戯言 Agent Classには、BFM, Driver, Monitor Classのインスタンスを持ちます。 ・BFM Classは、urm_unit クラスを継承する ・Driver Classは、urm_driverクラスを継承する ・Monitor Classは、うううう、わからない(urm_monitorのよ…

URM:Agent Class

Verification Engineerの戯言 URMでは、Agent Classが必要になります。 Agent Classは、urm_unitを継承し、3つのインスタンスを含みます。 3つのインスタンスは、 ・BFM ・Driver ・Monitor です。 Agent Classの関数として、 ・new ・build ・assign_vi を…

URM:MessageとError Logging

Verification Engineerの戯言 URMのMessageとError Loggingは、VMMと同じようにマクロを使っています。 VMMでは、 `vmm_note( log, ... ); `vmm_fatal( log, ... ); `vmm_trace( log, ... ); URMでは、 `urm_info( ... ); `urm_fatal( ... ); `message( XX, …

Synopsys OpenCommunity.org と Demos on Demand

Verification Engineerの戯言 ALDEC Verification Methodology Seminars(http://blogs.yahoo.co.jp/verification_engineer/4903903.html)を5月に紹介しましたが、 SynopsysでもVerificationとLow PowerのOnline Forumを公開しています。 http://synopsysoc.o…

プラネット・テラー in グラインドハウス

映画好きの戯言 http://blogs.yahoo.co.jp/verification_engineer/19443709.html で、デス・プルーフ in グラインドハウスについて書きましたが、 今回は、プラネット・テラー in グラインドハウスです。 公式ホームページ:http://www.grindhousemovie.jp/ Y…

今週の映画鑑賞、9/30-10/6

映画好きの戯言 プラネット・テラー in グラインドハウス(2007)(劇場) http://www.allcinema.net/prog/show_c.php?num_c=328315 バットマン ビギンズ (2005)(テレビ) http://www.allcinema.net/prog/show_c.php?num_c=321232 最後の最後で睡魔に負けた。。。…

Berkeley University of California : Youtubeで講義公開

Verification Engineerの戯言 MITが授業の内容を公開しているMIT Open Cource Ware(http://ocw.mit.edu/)が有名ですが、 なんと、Berkeley University of Californiaは、Youtubeで講義内容を公開しました。 http://youtube.com/ucberkeley MITの場合は、講義…

URM:urm_sequence_item

Verification Engineerの戯言 http://blogs.yahoo.co.jp/verification_engineer/folder/1583124.html の論文のFigure 4から、 URMでvmm_dataに対応するのが、urm_sequence_itemのようだ! 各メンバーはvmm_dataと基本的には同じだが、 `urm_object_utils_beg…