【DACレポート】米Veritools、SVAアサーション解析機能を持つ「VeritoolsVerifyer」を発表

米Veritools社は、SVA（SystemVerilogAssertion）の解析機能を持つ検証ツール「VeritoolsVerifyer」を新製品としてDACで発表していた。

関連プレスリリース：http://www.veritools.com/pressreleases/article7-1.html（英文）

Veritools社は、元々波形ビューア「VWave」という製品を手掛けていた会社で、同製品はワールドワードで約400社、約5000シートの出荷実績がある。

同社はこの「VWave」に加え、Verilog、VHDL、SystemVerilogのソースコード・デバッグ機能を備えている「Veritools Designer」というデバッガも販売しており、それに対し更にアサーション検証機能が拡張された製品が「Veritools Verifyer」となる。

「Veritools Verifyer」は、元の入力言語を問わず波形に対しアサーションをかけるというアプローチを取っており、アサーション検証、アサーションの解析、ソースコードのデバッグ、これら全てを同一の環境上でグラフィカルに実行する事ができるという。

「Veritools Verifyer」の発表は今回のDACが初となるが、既に既存製品（SV対応のソースコード・デバッガ）のユーザは日本にも存在しているとの事で、株式会社プライムゲートがVeritools社製品の日本代理店となっている。

※Veritools社　http://www.veritools.com

※株式会社プライムゲート　http://www.prime-gate.com