米Jasper、検証プランの管理ツール「Game Planner」を無償公開開始

2006年8月30日、フォーマル検証ツール「JasperGold」を手掛ける、米Jasper Design Automation社は、検証プランを作成・管理するためのツール「Game Planner」の無償公開を発表した。

プレスリリース：http://www.jasper-da.com/press_releases/083006.htm

「Game Planner」は、今年7月に開催された第43回DACにて発表された製品で、Jasper社のWebサイトから無料でダウンロードすることができるフリーツール。検証対象となるデザインの特長から、テストの必要性、検証方法、検証の優先順位といった情報を導き出し、それを基に検証プランを作成する事ができる。

作成した検証プランは、HTMLファイルとして出力し検証環境に依存する事無く利用可能なため、その検証プランを共有すれば検証チーム内または協力企業間などで検証作業の効率化や検証の進捗管理などに役立てる事ができるという。

当然ながら「Game Planner」で作成された検証プランは、Jasperのフォーマル検証ツール「Jasper Gold」で読み込む事が可能で、Jasperとしてはこの「Game Planner」を無償配布することで検証プランの共有化を促し、その結果として製品ユーザーが広がる事を狙っている。

またJasperは8月31日に、フォーマル検証ツール「Jasper Gold」に米Verific社のSystemVerilogコンポーネントを組み込んだ事を発表。JasperはVerificのPSLコンポーネントも利用しており、今回組み込んだC++ベースのコンポーネントには、SystemVerilogのパーサー、アナライザ、エラボレータ、などが含まれているという。

尚、今月9月26日（火）に東京コンファレンスセンター（品川）にて、Jasper社を含む計7社のEDAベンダが参加する「Verify 2006 Japan」（主催：サン・マイクロシステムズ）が開催される予定で、Jasper社の最新の製品情報が日本代理店のサイバーテック社より紹介される。
※Verify 2006 Japan　http://www.coware.co.jp/Verify2006

※「Game Planner」に関する詳細は、Jasper社製品の正規国内代理店サイバーテック有限会社にお問い合わせ下さい。
http://www.cyber-tec.co.jp

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

※Verific Design Automation社
http://www.verific.com