Verification Engineerの戯言 Bluespec SystemVerilog ： COUNTERを学ぶ(その1) mkCounterモジュールに対するテストベンチもBluespec SystemVerilogで記述しています。 テストベンチのファイル名は、TbCounter.bsvです。 import MyCounter::*; (* synthesize…

Verification Engineer Twitterに登録してみた。それも、English で！ 検証、Verification

Verification Engineerの戯言 Cool Verificationによると、 DACで行われたEDA's Next Top Bloggerは、シノプシスのカレンさんが獲得したようです。 2009年7月3日の日記：EDA's Next Top Blogger 検証、Verification P.S 夏休み中。

Verification Engineerの戯言 DAC恒例のDenali Partyの写真です。by JL Grayさん Janickさんとツーショット 検証、Verification