フォーマル検証の米Jasperが「JasperGold/ JasperCore」の最新版をリリース

2010年1月14日、フォーマル検証ツールを手掛けるる米Jasper Design Automation社は、同社の旗艦製品「JasperGold/ JasperCore」の最新版を1月28日から始まるEDSFair 2010において公開する事を発表した。

プレスリリース文

発表によると「JasperGold/ JasperCore」の最新版では、アーキテクチャ検証からポストシリコンでのデバッグまでを対象に、複数の検証エンジンを用いた高度なフォーマル検証技術を提供。一般的にフォーマル検証はその網羅性から、ブロック単位の検証が限界とされていたが、より大規模なデザインへの適用を実現しており、ユニットサイズのブロックやコア全体、場合によっては複数コアの検証も可能となる。

また、新たなデザイン解析用のGUIが装備されたほか、不定値 (Xステート)の利用、新たなパス・センシタイゼーション解析機能、デザインのビジュアライゼーション機能などがサポート及び強化されたという。

※CyberTec株式会社（Jasper製品国内販売代理店）