Cadence推出對應(yīng)OVM的驗(yàn)證IP
全球電子設(shè)計創(chuàng)新企業(yè)Cadence 設(shè)計系統(tǒng)公司(NASDAQ: CDNS)今天宣布推出首批兩款對應(yīng)開放式驗(yàn)證方法學(xué)(OVM)的高級測試平臺驗(yàn)證IP(VIP)產(chǎn)品。這些改進(jìn)能夠讓迅猛發(fā)展的OVM用戶團(tuán)體輕松獲得Cadence®指標(biāo)導(dǎo)向型驗(yàn)證解決方案,可預(yù)測地實(shí)現(xiàn)高質(zhì)量驗(yàn)證閉合。AMBA® 3 AXI ™ 和AMBA AHB™ VIP已經(jīng)在數(shù)百種設(shè)計中得以證明,現(xiàn)在作為多語言的通用驗(yàn)證組件(Universal Verification Components ,UVC)提供,是在Cadence VIP產(chǎn)品組合中最早提供OVM支持的。OVM支持將于2008下半年被添加到VIP產(chǎn)品組合的其余協(xié)議中。
本文引用地址:http://www.ex-cimer.com/article/84067.htmCadence VIP為那些使用一種自動的、指標(biāo)導(dǎo)向型方式開發(fā)基于OVM的測試平臺的設(shè)計和驗(yàn)證團(tuán)隊簡化了整體的驗(yàn)證開發(fā)和綜合流程。該VIP中包含一種獨(dú)特的兼容性管理系統(tǒng)(compliance management system,CMS),能夠讓兼容性驗(yàn)證自動進(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ù)的手動測試寫入。這讓用戶可以避免使用其它VIP導(dǎo)致的時間浪費(fèi)和不可預(yù)測的方面,從而提高質(zhì)量、提高生產(chǎn)力并提供更高的可預(yù)測性。
“Cadence指標(biāo)導(dǎo)向型驗(yàn)證IP只用了幾天時間便已經(jīng)裝好并在我們的SystemVerilog測試平臺中運(yùn)行,”Magnum半導(dǎo)體驗(yàn)證經(jīng)理Suhas Belgal說。“這種VIP大大提高了Magnum對我們自己的設(shè)計進(jìn)行全面檢驗(yàn)的能力,包括AHB的Master和Slave端口。”
與多數(shù)備用的產(chǎn)品不同,Cadence VIP提供的不僅僅是一個簡單的總線功能模型或者說BFM。Cadence VIP包含CMS、隨機(jī)約束激勵生成、完整的協(xié)議檢查、scoreboarding hook以及一個全功能覆蓋解決方案。Cadence VIP目前能夠適應(yīng)更廣的用戶群,對System Verilog和e都有多語言的測試平臺支持。
“高質(zhì)量的驗(yàn)證IP已經(jīng)成為驗(yàn)證工程師完整任務(wù)的重要因素,他們必須解決與日俱增的復(fù)雜驗(yàn)證問題,并縮短時間表,”Cadence產(chǎn)品市場部主管Dave Tokic說。“拓展我們業(yè)界領(lǐng)先的VIP使其支持OVM,這提供了我們的客戶需要的獨(dú)特多語言性能,滿足他們的驗(yàn)證閉合和復(fù)用需要。”
Cadence提供范圍廣泛的產(chǎn)品組合,包括高級測試平臺、基于斷言的、事務(wù)型加速,以及模擬Speedbridge VIP,用于復(fù)雜協(xié)議的驗(yàn)證,例如AMBA、PCI Express、PCI、USB、Ethernet、SATA和OCP,并計劃在今后增加新的協(xié)議支持。此外,通過Cadence驗(yàn)證聯(lián)盟計劃還提供超過30種其它協(xié)議。Cadence驗(yàn)證IP的開發(fā)投入了數(shù)百個工年,檢驗(yàn)了2000多個設(shè)計,它提供了業(yè)界領(lǐng)先的成熟性并在實(shí)際的成功生產(chǎn)中得到證明。
開放驗(yàn)證方法學(xué)
開放驗(yàn)證方法學(xué)基于 IEEE Std. 1800™-2005 SystemVerilog,它是業(yè)界第一個開放的、語言互操作的、SystemVerilog驗(yàn)證方法學(xué)。它提供了一種方法學(xué)以及相應(yīng)的庫,讓用戶可以創(chuàng)造模塊式、可復(fù)用的驗(yàn)證環(huán)境,在其中各組件通過標(biāo)準(zhǔn)事務(wù)處理級建模界面彼此通信。它還可以實(shí)現(xiàn)公司內(nèi)部和公司之間的復(fù)用,通過一種通用的方法學(xué)和類型,用于虛擬序列和模塊到系統(tǒng)的復(fù)用,并且全面綜合到生產(chǎn)流程中常用的其它語言中。要下載OVM請前往www.ovmworld.org.
評論