TrekSoC

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

Opinion: The SoC verification marketのよると、
Breker Verification SystemのTrekSoCはSoCの検証に利用するもののようです。

TrekSocはSoC Scenario ModelからC言語のソースコードと検証用のBFMのイベントリソースを生成します。BFMのイベントリソースはTrekBoxで使われます。

イベントリソースってBFMの制御用コマンドのようなのかもしれません。

自動生成したC言語のコードがポイントのようですが、そこんところはWebからは読み取れません。

でも、最後にある"Transaction/IP Unit RTL Bench"の図を見ると、CPUをBFMに置き換えています。
これって、もしかして、DPI-Cを利用したあれと同じではないでしょうか？

もっと突っ込んでどんなものかを知りたいのですが、日本での代理店って無いんですよね。今は。。。

もし、関係者の方がいらっしょいましたら、ご連絡ください。

検証、Verification

テストケース自動生成の米Breker Verification Systems、好調で2011年売上は前年比150％増