米国Veritools社製 SVA(SystemVerilog Assertion) プラットフォーム

SVAのデバッグ・検証を高速化

・再シミュレーションせずにアサーション検証

・アサーションを階層表示

SVAベースのファンクション検証

・Pass/Fail数の一覧表示

・アサーション結果の色分け表示

・SVAのタイミングとローカル変数表示

波形の表示とデバッグ機能

・波形ビューア機能による波形を表示

・FSM、ブロック図表示によるデバッグ機能

VeritoolsVerifyerは、アサーションベース機能検証を加速します。

従来の手法では、アサーションはシミュレーションを実行しながら、
チェックを行っていました。

VeritoolsVerifyerは違います。

シミュレーション終了後の波形に対してアサーションのチェックを行います。

アサーション記述のバグが見つかった場合、
もう一度、シミュレーションを再実行する必要がありました。

しかし、VeritoolsVerifyerを使えばアサーション記述の修正後、
すぐに結果が確認出来ます。

また、対応波形フォーマットは、
VCDファイルに加え、独自の高圧縮ファイルに対応しております。

動作環境

サポートOS

Sun OS 5.6以上、Solaris 6以上
Red Hat Enterprise Linux ver 3 update 8 以上

対応シミュレータ

各社のシミュレーターに対応

製品資料（PDF）

94KB

242KB