Wilson Research Group 的一項(xiàng)最近研究發(fā)現(xiàn)，48% 的 FPGA 設(shè)計(jì)項(xiàng)目和 71% 的 ASIC 設(shè)計(jì)項(xiàng)目依賴 UVM 進(jìn)行設(shè)計(jì)驗(yàn)證。通常，算法開發(fā)人員和系統(tǒng)架構(gòu)師在 MATLAB 和 Simulink 中開發(fā)新算法內(nèi)容。然后，設(shè)計(jì)驗(yàn)證(DV)工程師在為 RTL 測(cè)試平臺(tái)手工編寫代碼時(shí)使用 MATLAB 和 Simulink 模型作為參考，這一過程極其耗時(shí)?，F(xiàn)在借助 HDL Verifier，DV 工程師可以從已經(jīng)在 Simulink 中開發(fā)的系統(tǒng)級(jí)模型自動(dòng)生成 UVM 組件，如序列或記分板。在為諸如無線通信、嵌入式視覺和控制等應(yīng)用中使用的 ASIC 和 FPGA 設(shè)計(jì)而開發(fā)測(cè)試平臺(tái)時(shí)，此方法可以減少驗(yàn)證工程師所花費(fèi)的時(shí)間。

“借助 Simulink，我們?cè)谑止ぞ帉懮a(chǎn) UVM 測(cè)試平臺(tái)、測(cè)試序列和記分板上花費(fèi)的時(shí)間可以減少大約 50%，從而有更多時(shí)間專注于突破性創(chuàng)新應(yīng)用。”Allegro MicroSystems 的 ASIC 開發(fā)經(jīng)理 Khalid Chishti 說，“我們針對(duì)汽車應(yīng)用設(shè)計(jì)的 ASIC 依賴 UVM 進(jìn)行生產(chǎn)驗(yàn)證，為這些設(shè)備開發(fā)算法曾是一項(xiàng)繁瑣的任務(wù)，而 MATLAB 和 Simulink 對(duì)此進(jìn)行了簡(jiǎn)化。”

HDL Verifier 增添了一些新功能，例如，從 MATLAB 和 Simulink 中生成 UVM 組件、SystemVerilog 斷言和 SystemVerilog DPI 組件，現(xiàn)在可向負(fù)責(zé) ASIC 和 FPGA 生產(chǎn)驗(yàn)證的設(shè)計(jì)驗(yàn)證團(tuán)隊(duì)提供更多擴(kuò)展性支持。這些設(shè)計(jì)驗(yàn)證團(tuán)隊(duì)原本通過在 SystemVerilog 中手工編寫代碼，進(jìn)而在 HDL 仿真器中開發(fā)嚴(yán)格測(cè)試平臺(tái)，現(xiàn)在，他們能夠從現(xiàn)有 MATLAB 和 Simulink 模型直接生成驗(yàn)證組件，并重用這些模型加快創(chuàng)建生產(chǎn)驗(yàn)證環(huán)境的速度。