Verification Engineerの戯言
内容はこんな感じ。
アサーションベースの機能検証ができるというもの。
http://www.prime-gate.com/works/eda_02.html
(1) 「C++/SystemC 実践設計入門」 (2) AccurateC 「SystemC 設計でよくある問題とその回避策」 (3)VeritoolsVerifyer 「アサーション(SVA)検証のボトルネック解消方法この中でも、Veritools社のVerifyerは、VCDファイルとSVAファイルを使ってシミュレーション無しに
アサーションベースの機能検証ができるというもの。
http://www.prime-gate.com/works/eda_02.html
シミュレーション時のオーバーヘッドは無いし、シミュレーションライセンスがかからないのでいいかも?
そうそう、セミナーの最後に抽選会があるようです。定員が36人なので確率高い?