Synopsys日前宣布，應(yīng)用其擴(kuò)展的VMM方法，幫助產(chǎn)品開(kāi)發(fā)團(tuán)隊(duì)更有效地定義、測(cè)量并實(shí)現(xiàn)他們的驗(yàn)證目標(biāo)。新一代VMM解決方案可通過(guò)三個(gè)新的部分實(shí)現(xiàn)更高的驗(yàn)證生產(chǎn)效率，即VMM Planner、VMM Applications和VMM Automation。新一代VMM解決方案是構(gòu)建在流行讀物《SystemVerilog驗(yàn)證方法手冊(cè)》中所定義的成熟VMM方法集之上。

    VMM Planner可幫助驗(yàn)證團(tuán)隊(duì)系統(tǒng)地捕捉正在驗(yàn)證設(shè)計(jì)中的一個(gè)特征層，同時(shí)配合相關(guān)的覆蓋、測(cè)試、所有權(quán)和時(shí)間表數(shù)據(jù)，形成一個(gè)可執(zhí)行的驗(yàn)證計(jì)劃，以解決上述問(wèn)題。VMM Planner可提取和上滾各種驗(yàn)證結(jié)果，如代碼和功能覆蓋、形式和動(dòng)態(tài)斷言、測(cè)試通過(guò)/失敗數(shù)據(jù)，成為一個(gè)有注釋的計(jì)劃，為準(zhǔn)確、客觀而透明的驗(yàn)證進(jìn)展評(píng)估予以分享。 

    VMM Applications可提供一系列高水平功能，進(jìn)一步縮短寄存器和存儲(chǔ)器等普通設(shè)計(jì)元件的測(cè)試工作臺(tái)創(chuàng)建時(shí)間。這些新應(yīng)用軟件建立在VMM標(biāo)準(zhǔn)庫(kù)的基礎(chǔ)之上，是《SystemVerilog語(yǔ)言驗(yàn)證方法手冊(cè)》中定義的一組基本構(gòu)建模塊?；镜腣MM Applications包括：

•    寄存器抽象層，可通過(guò)自動(dòng)生成測(cè)試來(lái)迅速而簡(jiǎn)便地管理成千上萬(wàn)芯片配置寄存器的驗(yàn)證。
•    硬件抽象層，創(chuàng)建VMM測(cè)試工作臺(tái)，可以迅速被配置為目標(biāo)仿真或硬件輔助驗(yàn)證平臺(tái)。
•    可重用環(huán)境構(gòu)成，有助于創(chuàng)建驗(yàn)證子系統(tǒng)，無(wú)需進(jìn)行系統(tǒng)級(jí)修改即可再度使用
•    存儲(chǔ)器分配管理器，可對(duì)潛在的存儲(chǔ)緩沖器容量和地址錯(cuò)誤進(jìn)行測(cè)試。

    VMM Automation可提供多種自動(dòng)工具和功能，以提高驗(yàn)證用戶(hù)的生產(chǎn)效率。VMM SystemC™ 交易層接口在VMM 測(cè)試工作臺(tái)和SystemC 參考模型之間提供了高性能連接。VMM Compliance Checker可根據(jù)《SystemVerilog語(yǔ)言驗(yàn)證方法手冊(cè)》中的規(guī)則和指南分析驗(yàn)證環(huán)境，提供一種簡(jiǎn)單的方法來(lái)實(shí)現(xiàn)可互操作和可重用的驗(yàn)證組件。

    Synopsys驗(yàn)證事業(yè)群高級(jí)副總裁兼總經(jīng)理Manoj Gandhi 表示：“一個(gè)成熟而完善的方法一直以來(lái)都是工程師實(shí)現(xiàn) SystemVerilog 驗(yàn)證能力的一個(gè)關(guān)鍵需求。Synopsys不斷通過(guò)最新的補(bǔ)充來(lái)擴(kuò)展成熟的 VMM方法集，幫助芯片開(kāi)發(fā)人員有效地定義、測(cè)量和實(shí)現(xiàn)他們的驗(yàn)證目標(biāo)。” 

     VMM 解決方案支持SystemVerilog和OpenVera ®語(yǔ)言。評(píng)估版VMM Applications作為Synopsys 功能驗(yàn)證解決方案和Pioneer-NTB和Vera® 測(cè)試工作臺(tái)自動(dòng)化工具的一部分，現(xiàn)已供貨。VMM Planner和 VMM Automation將在今年晚些時(shí)候開(kāi)始供貨。