可擴展驗證平臺新技術(shù)幫助彌合驗證鴻溝

可擴展驗證平臺新技術(shù)幫助彌合驗證鴻溝

Mentor Graphics公司正式推出其可擴展驗證平臺，它集成了對業(yè)界最新標準的支持、新型驗證工具以及“面向驗證的設計”方法，最大限度縮短了需要耗費大量時(shí)間的功能驗證周期，避免了昂貴的集成電路重新設計?？蓴U展驗證平臺包含了驗證工具多項新的增強內容，使得驗證工作盡可能在設計的最初階段開(kāi)展?？蓴U展驗證平臺以ModelSim仿真器為核心，Modelsim5.8的能力已經(jīng)得到了顯著(zhù)擴展，為復雜的專(zhuān)用集成電路（ASIC）和單片系統（SoC）設計提供高速、高效的系統級驗證和糾錯環(huán)境。
　　Mentor Graphics公司可擴展驗證平臺是全面的功能驗證工具平臺。該平臺率先向現有和新興的設計語(yǔ)言提供標準支持Verilog 2001、VHDL、SystemVerilog (3.1版本第一階段)、SystemC 2.0.1 ( 包含 SystemC Verification Library 1.0) 以及Property Specification Language 1.0 (PSL) 。該平臺還包含了新版 VStation硬件加速仿真系列Station PRO 以及新一代的測試基準硬件實(shí)現技術(shù)VStation TBX，它不僅簡(jiǎn)化了測試基準的創(chuàng )建，而且還能夠通過(guò)硬件輔助驗證的應用實(shí)現性能加速。此外， MathWorks公司推出的最新產(chǎn)品Link for ModelSim在業(yè)界第一個(gè)實(shí)現了Simulink 、MATLAB與HDL仿真器（Modelsim）直接連接，為快速創(chuàng )建及驗證系統級的測試基準提供了實(shí)現的可能。
　　可擴展驗證平臺基于4項新產(chǎn)品：為業(yè)界各種標準提供最好支持的ModelSim 5.8；能夠對1.6M門(mén)電路至120M門(mén)電路的設計開(kāi)展驗證的VStationPRO。提供從軟件仿真到硬件加速所需要的可擴展testbench創(chuàng )建方法的VStationTBX；能夠將原先針對MATLAB和 Simulink編寫(xiě)的大量IP與HDL驗證環(huán)境連接起來(lái)的Link for ModelSim。
　　Mentor Graphics公司的可擴展驗證技術(shù)主要特點(diǎn)是：在所有工具之間實(shí)現可擴展。該平臺包含的系列產(chǎn)品可以實(shí)現從HDL仿真到在線(xiàn)（In-Circuit）驗證的全面驗證解決方案，它由多個(gè)“業(yè)界最佳”技術(shù)組成：ModelSim 仿真環(huán)境、Seamless硬件/軟件協(xié)同驗證平臺、ADVanceMS模擬/混合信號驗證平臺、FormalPro等效性檢查以及VStation 和 Celaro硬件仿真平臺等；在各提取層次之間實(shí)現可擴展性。通過(guò)采用高抽象級別的模型和事務(wù)處理程序，在設計流程的最初階段就開(kāi)始進(jìn)行驗證。C、C++、SystemC、SystemVerilog、MATLAB或Simulink等多種語(yǔ)言實(shí)現的高抽象級別原型為結構設計階段就開(kāi)展驗證提供了可能，這些高抽象級別原型還可在整個(gè)設計流程中作為測試基準加以重復使用。這樣就能夠及早發(fā)現根本性設計錯誤，并及早實(shí)現低成本糾錯；基于斷言的驗證。能夠幫助設計人員迅速準確地定位錯誤所在。斷言允許設計人員將語(yǔ)句嵌入設計之中，設計人員根據對某段設計的意向行為做出的假設進(jìn)行說(shuō)明。斷言能夠在錯誤發(fā)生時(shí)將其及時(shí)捕獲，迅速明確發(fā)生錯誤的設計段落，從而大大簡(jiǎn)化了糾錯工作。斷言也可以捕獲意料之外的錯誤，并非測試目標的代碼在測試時(shí)產(chǎn)生不希望的動(dòng)作。ModelSim環(huán)境包括的新型斷言引擎能夠最大限度利用PSL和SystemVerilog斷言的功能。