VPA驗證過程自動化

隨著IC產(chǎn)業(yè)的發(fā)展，芯片的設計規(guī)模以及設計的復雜性變得越來越大，因此我們提升芯片設計能力的同時，對芯片功能驗證的要求也相應提高。據(jù)統(tǒng)計，芯片項目研發(fā)中，60%-70%的時間花在功能驗證工作上。所以獲取全新、有效率的驗證方法和建立完善的驗證環(huán)境已變得越來越重要。在傳統(tǒng)的驗證方法已不能勝任今天的驗證要求的時候，產(chǎn)品開發(fā)經(jīng)理或項目管理者就需要通過積極的姿態(tài)，將功能驗證作為總體設計方法的一個非常重要的部分加以解決。

Verisity公司是一家全球著名的提供SoC功能驗證解決方案的EDA公司，其擁有功能驗證最大的市場份額。為業(yè)界提供了具有工程意義的完整的驗證解決方案 - VPA（Verification Process Automation驗證過程的自動化）。徹底解決了目前困擾芯片開發(fā)瓶頸問題，提高了芯片的設計品質(zhì)以及設計的周期。此方案可以使設計者的設計驗證從模塊級、芯片級到系統(tǒng)級的過程完全自動化。包括驗證計劃的制定、系統(tǒng)模型的TLM開發(fā)、RTL模塊級和系統(tǒng)級的驗證以及整個驗證過程的管理。此外還提供全新的基于硬件加速和硬件仿真的“SpeX”驗證平臺。

Verisity最新的驗證過程自動化（VPA）系統(tǒng)包括：

-         SpeXsim：模塊和芯片級驗證和仿真工具（具備仿真能力的Specman）

-         SpeXtreme：高性能芯片級和系統(tǒng)級驗證加速與硬件仿真系統(tǒng)

-         vManager：項目級驗證流程管理系統(tǒng)

-         eVC和eRM：即插即用的可重用驗證模塊以及完整的驗證重用方法學

-         Xtreme II：當前最易用、靈活的驗證加速解決方案