Cadence與Mentor Graphics通過(guò)SystemVerilog驗證方法學(xué)實(shí)現協(xié)作

Cadence設計系統公司與Mentor Graphics Corp.宣布他們將會(huì )讓一種基于IEEE Std. 1800TM-2005 SystemVerilog標準的驗證方法學(xué)標準化。開(kāi)放式驗證方法學(xué)（Open Verification Methodology, OVM）將會(huì )面向設計師和驗證工程師帶來(lái)一種不受工具約束的解決方案，促進(jìn)數據的可移植性和可互用性。它實(shí)現了SystemVerilog的承諾，擁有基于驗證IP（VIP）、事務(wù)處理級和RTL模型的可靠的互用性機制，并全面融合通常使用于產(chǎn)品流程的其它語(yǔ)言。該OVM將會(huì )包含一種強大的類(lèi)庫，并以源代碼的格式提供。

Cadence與Mentor已經(jīng)投入技術(shù)和資源開(kāi)發(fā)該方法學(xué)和基礎庫。該方法學(xué)將會(huì )按照標準源代碼開(kāi)放的許可證方式提供，即Apache TM License, Version 2.0.

加快SystemVerilog的采用

“OVM解決了當前SystemVerilog應用中面臨的一個(gè)重大問(wèn)題，”Mentor Graphics Design公司驗證及測試業(yè)務(wù)部副總裁兼總經(jīng)理Robert Hum說(shuō)?！翱蛻?hù)希望他們在驗證上面的投入能夠在未來(lái)重新利用。這種方法學(xué)能夠使用于各類(lèi)廣泛應用的模擬器和驗證工具，客戶(hù)將對開(kāi)始使用的SystemVerilog充滿(mǎn)信心?！?

OVM以及支持的類(lèi)庫包含了基本的應用功能，這對建造高級面向對象的、覆蓋驅動(dòng)型驗證環(huán)境，以及SystemVerilog中的可復用VIP是非常必要的。OVM將驗證實(shí)踐嵌入其方法學(xué)和庫中，降低了使用SystemVerilog的復雜性。OVM將會(huì )大幅縮短創(chuàng )建驗證環(huán)境所需的時(shí)間，容易地集成驗證IP，并保證代碼的可移植性和復用。

“隨著(zhù)現在電子器件越來(lái)越復雜，工程師面臨愈來(lái)愈大快速應用驗證方法的巨大壓力，”Cadence驗證部執行副總裁兼總經(jīng)理Moshe Gavrielov說(shuō)?！巴ㄟ^(guò)OVM，Cadence和Mentor提供了一種有效的、基于SystemVerilog的、不受工具約束的解決方案，幫助我們的共同客戶(hù)解決重要的設計難題。整個(gè)產(chǎn)業(yè)都將從中獲益，享受更高程度的相互協(xié)作、驗證IP開(kāi)發(fā)和復用，以及集成的易用性?！?

源碼開(kāi)放許可證簡(jiǎn)化了IP開(kāi)發(fā)與發(fā)布

與其它一些同類(lèi)產(chǎn)品不同，OVM庫將是源碼開(kāi)放的，兼容于SystemVerilog IEEE-1800，可移植于任何支持該IEEE標準的模擬器。它依照Apache 2.0授權條款，易于用戶(hù)和IP開(kāi)發(fā)者重載OVM代碼或衍生代碼，并獲得多家EDA供應商的支持。

“業(yè)界明顯都在積極使用SystemVerilog進(jìn)行功能驗證，通過(guò)開(kāi)源方法學(xué)，在EDA行業(yè)內提供更高的相互協(xié)作，將會(huì )進(jìn)一步加快這一的趨勢，”Denali Software公司CEO兼總裁Sanjay Srivastava說(shuō)?！翱梢浦残允顷P(guān)鍵，而OVM通過(guò)多供應商支持解決了這個(gè)問(wèn)題。OVM與庫非常吸引我們廣泛的驗證IP客戶(hù)群，我們將會(huì )通過(guò)現有的對SystemVerilog和AVM的支持鼓勵迅速向OVM的轉型。我們已經(jīng)投入巨資開(kāi)發(fā)一種尖端的SystemVerilog流程，用于我們自己的設計IP產(chǎn)品，并且將會(huì )利用OVM進(jìn)一步提高我們的SystemVerilog領(lǐng)先地位?！?

“OVM提供了我們一直期待的東西：一個(gè)單一的開(kāi)放、強大而又可互用的驗證方法學(xué)，”塞爾維亞貝爾格萊德市的HDL Design House公司總裁Predrag Markovic說(shuō)?！斑@大大簡(jiǎn)化了我們的開(kāi)發(fā)和支持過(guò)程，并且將會(huì )加快將VIP和驗證環(huán)境組件遞交給我們的客戶(hù)?，F在，客戶(hù)將可以從即插即用型驗證IP中獲益。這對所有人來(lái)說(shuō)都是雙贏(yíng)的結果?！?

對基于事務(wù)處理的建模和系統級驗證的內在支持

OVM支持SystemVerilog的事務(wù)級提取和RTL的獨特組合，以及和其它支持系統級設計和驗證的高級語(yǔ)言的混合應用。下一代系統級芯片（SoC）設計已經(jīng)提高了事務(wù)處理級建模和驗證領(lǐng)域的需求。不斷提高的需求包括需要結合基于軟件模擬、基于硬件的驗證平臺，以及已建立的事務(wù)處理級接口標準。

“隨著(zhù)復雜SoC設計的需求不同的驗證技術(shù)，Doulos致力于成為OVM培訓的首要供應商，”Doulos CEO Robert Hurley說(shuō)?！癈adence與Mentor提供一種植根于IEEE 1800、支持事務(wù)級建模、EDA工具相互協(xié)作，并相互支持VIP的的承諾，與我們通過(guò)培訓支持全球客戶(hù)，讓他們發(fā)揮OVM的最大效用的承諾是一致的?！?

供應情況

OVM預計將于2007年第三季度向某些客戶(hù)預先發(fā)布。包含方法學(xué)和支持庫的成品版正式發(fā)布預計為今年第四季度。2008年預計將會(huì )添加更多的新功能。Cadence與Mentor已經(jīng)共同協(xié)作，保證OVM將可以在他們的模擬器上運行，并且可以向下兼容他們現用的環(huán)境，如Mentor Graphics的AVM，以及Cadence的Incisive? Plan-to-Closure Methodology (URM 模塊)。 linux操作系統文章專(zhuān)題:linux操作系統詳解（linux不再難懂）