中國(guó)北京，2020 年3月2日—— MathWorks 今天宣布，HDL Verifier 從現(xiàn)已上市的 Release 2019b 開(kāi)始提供對(duì) Universal Verification Methodology (UVM) 的支持。HDL Verifier 能夠讓開(kāi)發(fā) FPGA 和 ASIC 設(shè)計(jì)的設(shè)計(jì)驗(yàn)證工程師直接從 Simulink 模型生成 UVM 組件和測(cè)試平臺(tái)，并在支持 UVM 的仿真器（比如來(lái)自 Synopsys、Cadence 和 Mentor 的仿真器）中使用這些組件和測(cè)試平臺(tái)。

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

“借助 Simulink，我們?cè)谑止ぞ帉?xiě)生產(chǎn) UVM 測(cè)試平臺(tái)、測(cè)試序列和記分板上花費(fèi)的時(shí)間可以減少大約 50%，從而有更多時(shí)間專注于突破性創(chuàng)新應(yīng)用。”Allegro MicroSystems 的 ASIC 開(kāi)發(fā)經(jīng)理 Khalid Chishti 說(shuō)，“我們針對(duì)汽車(chē)應(yīng)用設(shè)計(jì)的 ASIC 依賴 UVM 進(jìn)行生產(chǎn)驗(yàn)證，為這些設(shè)備開(kāi)發(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ì)原本通過(guò)在 SystemVerilog 中手工編寫(xiě)代碼，進(jìn)而在 HDL 仿真器中開(kāi)發(fā)嚴(yán)格測(cè)試平臺(tái)，現(xiàn)在，他們能夠從現(xiàn)有 MATLAB 和 Simulink 模型直接生成驗(yàn)證組件，并重用這些模型加快創(chuàng)建生產(chǎn)驗(yàn)證環(huán)境的速度。

“根據(jù) Wilson Research 和 Mentor Graphics 的 2018 年功能驗(yàn)證研究，DV 工程師在開(kāi)發(fā)測(cè)試平臺(tái)中花費(fèi)在 ASIC 和 FPGA 項(xiàng)目上的時(shí)間，大約占他們工作時(shí)間的五分之一。”MathWorks 首席 HDL 產(chǎn)品營(yíng)銷經(jīng)理 Eric Cigan 說(shuō)，“HDL Verifier 能夠從現(xiàn)有 MATLAB 和 Simulink 模型生成 UVM 和 SystemVerilog DPI 組件，不僅可以提高 DV 工程師的生產(chǎn)效率，而且會(huì)增進(jìn)系統(tǒng)架構(gòu)師、硬件設(shè)計(jì)師與 DV 工程師之間的合作。”

HDL Verifier R2019b 現(xiàn)已在全球上市。要了解更多信息，請(qǐng)?jiān)L問(wèn) mathworks.com/verify。

圖示：HDL Verifier從Simulink模型生成UVM組件? MathWorks

關(guān)于 Allegro Microsystems
Allegro MicroSystems 正在重新定義動(dòng)力和傳感技術(shù)的未來(lái)。從綠色能源到先進(jìn)的機(jī)動(dòng)和運(yùn)動(dòng)控制系統(tǒng)，我們的團(tuán)隊(duì)熱衷于開(kāi)發(fā)推動(dòng)世界進(jìn)步并給我們的客戶帶來(lái)競(jìng)爭(zhēng)優(yōu)勢(shì)的智能解決方案。Allegro 具有遍布全球的工程、制造和支持能力，是深受大型企業(yè)和區(qū)域市場(chǎng)領(lǐng)導(dǎo)者信任的合作伙伴。請(qǐng)?jiān)L問(wèn) www.allegromicro.com。

關(guān)于 MathWorks
MathWorks 是數(shù)學(xué)計(jì)算軟件的領(lǐng)先開(kāi)發(fā)商。它所推出的 MATLAB 被稱為“科學(xué)家和工程師的語(yǔ)言”，是一種用于算法開(kāi)發(fā)、數(shù)據(jù)分析、可視化和數(shù)值計(jì)算的程序設(shè)計(jì)環(huán)境。Simulink 是一個(gè)面向多域和嵌入式工程系統(tǒng)仿真和基于模型設(shè)計(jì)的框圖環(huán)境。全球的工程師和科學(xué)家們都依賴于 MathWorks 公司所提供的這些產(chǎn)品系列，來(lái)加快在汽車(chē)、航空、電子、金融服務(wù)、生物醫(yī)藥以及其他行業(yè)的發(fā)明、創(chuàng)新及開(kāi)發(fā)的步伐。MATLAB 和 Simulink 產(chǎn)品也是全球眾多大學(xué)和學(xué)術(shù)機(jī)構(gòu)的基本教研工具。MathWorks 創(chuàng)建于 1984 年，總部位于美國(guó)馬薩諸塞州的內(nèi)蒂克市 (Natick, Massachusetts)，在全球 16 個(gè)國(guó)家/地區(qū)擁有 4500 多名員工。有關(guān)詳細(xì)信息，請(qǐng)?jiān)L問(wèn) mathworks.com。