ホーム > NEWS一覧 > 米Averant、フォーマル検証ツール「Solidify」をバージョンアップ>>検証管理機能と新たなカバレッジエンジンを追加

 

米Averant、フォーマル検証ツール「Solidify」をバージョンアップ>>検証管理機能と新たなカバレッジエンジンを追加

2007年5月31日、フォーマル検証ツールを手掛ける、米Averant社は、「Solidify」のバージョンアップを発表した。

最新バージョン「Solidify 5.0」の目玉となるのは、ツールに搭載される検証サポート機能「GPS（Guided Proof System）」のバージョンアップと新たなカバレッジ・エンジンの追加で、新しい「GPS 2.0」によって無駄な再検証を省略する検証管理が可能となり、プロパティの証明をより厳格なものとする「Automated hierarchical verification」という新機能も追加された。

その他、SVA、PSL、HPLの「$isunknown」がサポートされたほか（プロパティをチェックするツールとしては業界初）、複数CPUによる分散処理にも対応し、リニアに処理速度を向上できるようになった。

※「Solidify」に関する詳細は、ガイア・システム・ソリューション株式会社にお問い合わせ下さい。
http://www.gaiaweb.co.jp

※アベラント社　http://www.averant.com

 

• ホーム
• 当サイトについて
• プレスリリース受付