Verification Compiler驗證編譯器提供了一整套新一代技術，包括形式驗證、SoC的連通性檢查、全SoC級時鐘域交叉(CDC)檢查、X-傳遞仿真、集成的低功耗仿真和先進的驗證規劃和管理等。Verification Compiler還包括一整套Synopsys的新一代驗證IP，其中包括相應的測試套件，全部被集成在其中以用于先進的調試和高性能仿真。
通過將這些技術集成到一起，Verification Compiler驗證編譯器實現了性能的5倍提升，同時調試效率也得到了大幅度的提高，使SoC設計和驗證團隊用同一個產品就能創建一種具有完整功能的驗證流程。通過把新一代技術、集成化流程和獨特的并發驗證許可模型結合在一起，使Verification Compiler能夠將整體產能提高3倍 —— 直接解決日益突出的SoC上市時間挑戰。
利用其新一代靜態和形式驗證技術，Verification Compiler驗證編譯器解決了驗證復雜SoC時巨大的容量挑戰，與其他任何現有解決方案相比，其性能和容量都提升了3倍到5倍。這項新技術包括形式屬性檢查、低功耗靜態檢查、CDC檢查、SoC連接檢查、先進的lint和序列化等效性檢查。Verification Compiler的靜態和形式驗證功能與Synopsys Design Compiler?和IC Compiler?使用模型和流程完全兼容。 |
