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