全球電子設(shè)計(jì)創(chuàng)新企業(yè)Cadence 設(shè)計(jì)系統(tǒng)公司(NASDAQ: CDNS)今天宣布推出首批兩款對(duì)應(yīng)開(kāi)放式驗(yàn)證方法學(xué)（OVM）的高級(jí)測(cè)試平臺(tái)驗(yàn)證IP（VIP）產(chǎn)品。這些改進(jìn)能夠讓迅猛發(fā)展的OVM用戶團(tuán)體輕松獲得Cadence®指標(biāo)導(dǎo)向型驗(yàn)證解決方案，可預(yù)測(cè)地實(shí)現(xiàn)高質(zhì)量驗(yàn)證閉合。AMBA® 3 AXI ™ 和AMBA AHB™ VIP已經(jīng)在數(shù)百種設(shè)計(jì)中得以證明，現(xiàn)在作為多語(yǔ)言的通用驗(yàn)證組件（Universal Verification Components ,UVC）提供，是在Cadence VIP產(chǎn)品組合中最早提供OVM支持的。OVM支持將于2008下半年被添加到VIP產(chǎn)品組合的其余協(xié)議中。

　　Cadence VIP為那些使用一種自動(dòng)的、指標(biāo)導(dǎo)向型方式開(kāi)發(fā)基于OVM的測(cè)試平臺(tái)的設(shè)計(jì)和驗(yàn)證團(tuán)隊(duì)簡(jiǎn)化了整體的驗(yàn)證開(kāi)發(fā)和綜合流程。該VIP中包含一種獨(dú)特的兼容性管理系統(tǒng)（compliance management system,CMS），能夠讓兼容性驗(yàn)證自動(dòng)進(jìn)行——這是指標(biāo)導(dǎo)向型解決方案的主要優(yōu)點(diǎn)之一。CMS提供了高度的功能覆蓋面，輕輕按鍵即可使用，讓用戶可以避免協(xié)議符合性驗(yàn)證最復(fù)雜的方面。Cadence OVM驗(yàn)證IP的兼容性管理功能可以減少實(shí)現(xiàn)驗(yàn)證閉合所需的必要資源和專業(yè)技術(shù)。例如，CMS有助于生成復(fù)雜的極限情況假定情景，從而消除大多數(shù)的手動(dòng)測(cè)試寫(xiě)入。這讓用戶可以避免使用其它VIP導(dǎo)致的時(shí)間浪費(fèi)和不可預(yù)測(cè)的方面，從而提高質(zhì)量、提高生產(chǎn)力并提供更高的可預(yù)測(cè)性。

　　“Cadence指標(biāo)導(dǎo)向型驗(yàn)證IP只用了幾天時(shí)間便已經(jīng)裝好并在我們的SystemVerilog測(cè)試平臺(tái)中運(yùn)行，”Magnum半導(dǎo)體驗(yàn)證經(jīng)理Suhas Belgal說(shuō)。“這種VIP大大提高了Magnum對(duì)我們自己的設(shè)計(jì)進(jìn)行全面檢驗(yàn)的能力，包括AHB的Master和Slave端口。”

　　與多數(shù)備用的產(chǎn)品不同，Cadence VIP提供的不僅僅是一個(gè)簡(jiǎn)單的總線功能模型或者說(shuō)BFM。Cadence VIP包含CMS、隨機(jī)約束激勵(lì)生成、完整的協(xié)議檢查、scoreboarding hook以及一個(gè)全功能覆蓋解決方案。Cadence VIP目前能夠適應(yīng)更廣的用戶群，對(duì)System Verilog和e都有多語(yǔ)言的測(cè)試平臺(tái)支持。

　　“高質(zhì)量的驗(yàn)證IP已經(jīng)成為驗(yàn)證工程師完整任務(wù)的重要因素，他們必須解決與日俱增的復(fù)雜驗(yàn)證問(wèn)題，并縮短時(shí)間表，”Cadence產(chǎn)品市場(chǎng)部主管Dave Tokic說(shuō)。“拓展我們業(yè)界領(lǐng)先的VIP使其支持OVM，這提供了我們的客戶需要的獨(dú)特多語(yǔ)言性能，滿足他們的驗(yàn)證閉合和復(fù)用需要。”

　　Cadence提供范圍廣泛的產(chǎn)品組合，包括高級(jí)測(cè)試平臺(tái)、基于斷言的、事務(wù)型加速，以及模擬Speedbridge VIP，用于復(fù)雜協(xié)議的驗(yàn)證，例如AMBA、PCI Express、PCI、USB、Ethernet、SATA和OCP，并計(jì)劃在今后增加新的協(xié)議支持。此外，通過(guò)Cadence驗(yàn)證聯(lián)盟計(jì)劃還提供超過(guò)30種其它協(xié)議。Cadence驗(yàn)證IP的開(kāi)發(fā)投入了數(shù)百個(gè)工年，檢驗(yàn)了2000多個(gè)設(shè)計(jì)，它提供了業(yè)界領(lǐng)先的成熟性并在實(shí)際的成功生產(chǎn)中得到證明。

　　開(kāi)放驗(yàn)證方法學(xué)

　　開(kāi)放驗(yàn)證方法學(xué)基于 IEEE Std. 1800™-2005 SystemVerilog，它是業(yè)界第一個(gè)開(kāi)放的、語(yǔ)言互操作的、SystemVerilog驗(yàn)證方法學(xué)。它提供了一種方法學(xué)以及相應(yīng)的庫(kù)，讓用戶可以創(chuàng)造模塊式、可復(fù)用的驗(yàn)證環(huán)境，在其中各組件通過(guò)標(biāo)準(zhǔn)事務(wù)處理級(jí)建模界面彼此通信。它還可以實(shí)現(xiàn)公司內(nèi)部和公司之間的復(fù)用，通過(guò)一種通用的方法學(xué)和類型，用于虛擬序列和模塊到系統(tǒng)的復(fù)用，并且全面綜合到生產(chǎn)流程中常用的其它語(yǔ)言中。要下載OVM請(qǐng)前往www.ovmworld.org.