【DACレポート】米Jasper、検証プランの管理ツールを無償配布開始>>フォーマル検証ツールもバージョンアップ

米Jasper Design Automation社は、7月にリリースしたばかりの「JasperGold v4.2」を展示していた。

「JasperGold」は、PSL/SVAによるアサーション検証にも対応したフォーマル検証ツール。最新のバージョン4.2では、デバッグ機能が強化され、Novas社のデバッグ環境「Verdi」とのインタフェースも追加された。これにより、「JasperGold」での検証結果を回路図として出力し「Verdi」上で確認する事が可能となる。これは検証結果を回路図で見たいと言うユーザのリクエストに対応したものだという。

また、フォーマル検証を実行する前に検証方法をプランニングする「RTL解析機能」も備えられ、より効果的なフォーマル検証を効率良く行う事ができるようになった。

更に「JasperGold」のバージョンアップと合わせて、フォーマル検証の機能を簡素化した「お手軽版」の新製品「Jasper Gold Express」をリリース。こちらは、まずは手軽にフォーマル検証を行いたいといった、フォーマル検証の初期ユーザをターゲットに提供される。

その他、今回Jasperが大きくPRしていたのは、検証プランの作成及び管理ツール「Game Planner」のリリースで、2006年Q3に無償配布が開始される。

「Game Planner」は、検証プランの作成をドキュメントレベルで支援するもので、検証プランの管理と情報の共有化に役立てる事ができる。作成した検証プランはHTMLで送る事も可能なため、「Game Planner」の利用が広がれば、検証チーム内に限らず情報共有の輪を広げる事が出来るという。

話によると、現在日本ユーザは6?7社で、今年に入ってから日本企業の引き合いが確実に増えているとの事。尚、Jasper社の製品はサーバーテック社が日本代理店として販売している。

※Jasper Design Automation社　http://www.jasper-da.com

※サイバーテック社　http://www.cyber-tec.co.jp