NEWS
Averantがフォーマル検証ツール「Solidify」に等価検証の新機能を追加
2011年8月1日、フォーマル検証ツールを手掛ける米Averant社は、同社のフォーマル検証ツール「Solidify」のバージョンアップを発表した。
発表によると今回のバージョンアップにより、異なる２つのデザインの機能等価性をチェックするための新機能「Combinational Equivalency Checker」が「Solidify」に追加された。また、既存のシーケンシャル等価性検証機能もエンハンスされ、処理速度が向上した。
その他にも今回のバージョンアップでは、System Verilogのサポート強化、フォーマルエンジンのスピードアップ、リセット・シーケンス推測機能の改善、デバッグ機能の改善、ARM AMBAなどプロトコルチェック機能の改善などが実施された。
「Solidify」の最新バージョン5.4は既に出荷中。
｜ページの先頭へ｜