DAC2012：日立のBluespecの事例

Verification Evangelistの戯言 : Twitter
SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった

【DAC 2012】Bluespec利用時の検証作業の課題を解決へ、日立が発表の記事。

Bluespecが生成するRTLのデバッグにVennsaのOnPointを使ったという。
2012年1月27日(金)に行われたBluespec User Group 2012のVennsaのセッションでも既にそのことは告知済み。

そのセミナーでも日立はユーザー事例を発表していて、Bluesimは使っていないと。

このとき、小島さん、一番前に座っていたような気がしたのは、気のせいでしょうか？

検証、Verification、Bluespec