米Jasperがフォーマル検証ツール「JasperGold」をバージョンアップ>>プロパティのモデリング能力を更に拡張、検証エンジンも高速化

2007年10月3日、フォーマル検証ツールを手掛ける、米Jasper Design Automation社は、主力製品「JasperGold」のバージョンアップを発表した。

プレスリリース：http://www.jasper-da.com/press_releases/100307b.htm（英文）

Jasperによると、今回リリースされた「JasperGold バージョン4.5」では、ライブネス・プロパティ（Liveness Property）のサポートや複数のクロックを含むプロパティのサポートなど、旧来バージョンよりもプロパティのモデリング能力が拡張されたほか、検証エンジンも高速化が図られ、フォーマル検証ツールとしての機能性を更に強化。また、ユーザビリティの面では、フォーマル解析を容易に行なうために、初期化の速度向上やプロパティの自動グルーピング機能が実現されているという。

フォーマル検証ツール「JasperGold」は、Jasperの提供する最上位製品で「Proof Accelerators」、「Lossless Abstractions」、「Formal Scoreboard」、3種類の独自機能によって、より少ない労力で高い効果を発揮するフォーマル検証を行うことが可能。データ転送ブロックやFIFO、メモリーのようなモデル化しにくいデザインについても、フォーマル検証を実現するソリューションを用意している。

また、「JasperGold」は、フォーマル検証の有効性を判断する解析機能やデバッグ機能、カバレッジ機能などに加え、検証プランを作成するためのユーティリティも提供しており、検証メソドロジとしてフォーマル検証技術を包括的にカバーしている。

尚、「JasperGold バージョン4.5」は既に出荷中。日本国内での製品販売については、代理店のCyberTec株式会社にお問い合わせ下さい。
※http://www.cyber-tec.co.jp/

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