Bluespec User Group 2012のVennsaのセッション

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

RTL Simのデバック効率を高めてくれるVennsaのOnPoint。どうやら、Bluespecに対応した模様。

BSVとBluespecが生成したRTLとマッピングをすることで、OnPointにて解析ができるということ。

そして、アジェンダには無かった事例(九州大学大学院)です。
デバッグを波形ベースで行いたいという解に、OnPointを使ったということ。

Bluespecでは、OVL Assertionが使えるので、BSV記述に埋め込めるようです。

Verification、検証、Bluespec