Averantがフォーマル検証ツール「Solidify」に等価検証の新機能を追加

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

発表によると今回のバージョンアップにより、異なる２つのデザインの機能等価性をチェックするための新機能「Combinational Equivalency Checker」が「Solidify」に追加された。また、既存のシーケンシャル等価性検証機能もエンハンスされ、処理速度が向上した。

その他にも今回のバージョンアップでは、System Verilogのサポート強化、フォーマルエンジンのスピードアップ、リセット・シーケンス推測機能の改善、デバッグ機能の改善、ARM AMBAなどプロトコルチェック機能の改善などが実施された。