Breker Verification SystemsのTrekって？ - Vengineerの妄想(準備期間)

Verification Engineerの戯言 : Twitter、Twitter新聞：Daily Vengineer's
SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった

LindenInの中を散歩していたら、Graph Based Verificationというのがありました。
具体的には、Breker Verification SystemsのTrekというツールが、で、調べてみました。

Trekは、MentorのInFactの競合ということ。

過去記事としては、

【DAC 2007】グラフ利用の機能検証パターン作成ツール，米Brekerが発表(2007/06/18)
「15年以上の利用実績」，機能検証のシナリオ作成用ツールで米Brekerが主張(2008/03/07)

がありました。

また、DeepChipにも、ちょこっと、だけ。

で、

　　・Trek は、既存環境を変えることなく、Verificationの生産性を上げるツール。
　　・シナリオのモデルを作り、そのシナリオモデルをグラフ化する(Graph based Verification)
　　・シナリオモデルを検証すれば、テスト漏れ(100%のカバレッジ)もなくなり、
　　　　　　　　　　　　　　　　　RTLが無くてもできる。
　　・生産性2倍、導入にリスクなし。あわなければ、やらない。
　　・シナリオモデルは、C/C++で書かれている。
　　・シナリオモデルは、GUIでも、テキストエディタでもOK！
　　・複雑なモデル(ノード数が数百)でもOK! 
　　・学習期間は、1週間程度
　　・グラフは、BNFとC/C++で表現。
　　・HDLシミュレータと一緒に使うが、遅くはならない。
　　・スコアボードモデルは、シナリオモデルで置き換えることができる。
　　・評価は、1週間もあれば、OK!

って、感じ。

Does Trek really integrate into my environment with zero testbench modification? の回答を見ると、SystemVerilogのイメージがわかる。

検証、Verification