Synopsys擴展VMM方法以實(shí)現更高功能性驗證的生產(chǎn)效率
——
VMM Planner提升驗證可視性和可預測性
驗證計劃和跟蹤經(jīng)常是一個(gè) ad-hoc 過(guò)程,它基于電子數據表、文件、報告、日志文件和電子郵件的采集,因此可能出現對驗證真實(shí)狀態(tài)不完整或不精確的評估,增加驗證收斂中意外延遲的風(fēng)險。
VMM Planner可幫助驗證團隊系統地捕捉正在驗證設計中的一個(gè)特征層,同時(shí)配合相關(guān)的覆蓋、測試、所有權和時(shí)間
表數據,形成一個(gè)可執行的驗證計劃,以解決上述問(wèn)題。VMM Planner可提取和上滾各種驗證結果,如代碼和功能覆蓋、形式和動(dòng)態(tài)斷言、測試通過(guò)/失敗數據,成為一個(gè)有注釋的計劃,為準確、客觀(guān)而透明的驗證進(jìn)展評估予以分享。
VMM Applications加速測試工作臺的創(chuàng )建
VMM Applications可提供一系列高水平功能,進(jìn)一步縮短寄存器和存儲器等普通設計元件的測試工作臺創(chuàng )建時(shí)間。這些新應用軟件建立在VMM標準庫的基礎之上,是《SystemVerilog語(yǔ)言驗證方法手冊》中定義的一組基本構建模塊?;镜腣MM Applications包括:
寄存器抽象層,可通過(guò)自動(dòng)生成測試來(lái)迅速而簡(jiǎn)便地管理成千上萬(wàn)芯片配置寄存器的驗證。
硬件抽象層,創(chuàng )建VMM測試工作臺,可以迅速被配置為目標仿真或硬件輔助驗證平臺。
可重用環(huán)境構成,有助于創(chuàng )建驗證子系統,無(wú)需進(jìn)行系統級修改即可再度使用
存儲器分配管理器,可對潛在的存儲緩沖器容量和地址錯誤進(jìn)行測試。
賽普拉斯半導體公司(Cypress Semiconductor)驗證經(jīng)理Tim Houlihan 表示:“我們已經(jīng)看到采用Synopsys VMM方法集后所獲得的高驗證生產(chǎn)效率。我們將 VMM 寄存器抽象層應用軟件用在我們的 West Bridge Antioch 芯片上,比傳統的 ad-hoc 寄存器驗證方法節省了兩個(gè)月的時(shí)間。內置的bit-bash測試尤其適用于寄存器設置改變后所需的再次驗證?!?
EVE USA 公司總經(jīng)理Lauro Rizzati 表示:“VMM 硬件抽象層應用軟件提供了一種易于使用的高帶寬方法,可將先進(jìn)的測試工作臺與高性能加速器和仿真器連接在一起。利用EVE ZeBu仿真器和Synopsys VCS 解決方案之間硬件抽象層的交易層接口,我們可以實(shí)現每秒500MB以上的數據傳輸率?!?
VMM Automation提高驗證用戶(hù)生產(chǎn)效率
VMM Automation可提供多種自動(dòng)工具和功能,以提高驗證用戶(hù)的生產(chǎn)效率。VMM SystemC™ 交易層接口在VMM 測試工作臺和SystemC 參考模型之間提供了高性能連接。VMM Compliance Checker可根據《SystemVerilog語(yǔ)言驗證方法手冊》中的規則和指南分析驗證環(huán)境,提供一種簡(jiǎn)單的方法來(lái)實(shí)現可互操作和可重用的驗證組件。
評論