明導國際(Mentor Graphics Corporation)宣布，inFact™ 智慧型testbench自動化工具現在完全支援Open Verification Methodology (OVM 2.0)。inFact工具運用系統化演算法，能夠快速產生獨一無二又無重複的測試個案。當強調覆蓋率時，inFact工具以線性趨近覆蓋率收斂(coverage closure)的功能可縮減達10倍的重覆測試、更快速更完善地完成測試。
inFact工具提供具備與OVM規範相符的元件與程序並具備隨插即用相互操作性，能夠輕鬆地建立測試驗證IC功能的指令與環境。OVM程序為使用者提供威力強大的模組化機制，可重複為使用者提供各種不同有趣的系列之激勵處理說明。在元件階層之外定義程序，以簡單明瞭的方式開發出直接測試與隨機制約(constrained-random)的測試案例，讓測試程式人員testbench 的產生細節也可以完成測試。程序也是階層化的，可以輕鬆模型化各層級化的協定，也能控制其他程序間的交互活動。
運用inFact工具中圖像化智慧型testbench自動化的作法，有效率地建立驗證環境與激激，是強化先進驗證環境很有力的方法。inFact工具程序可用來增強或取代使用者自行開發的OVM中的程序，讓驗證工作如虎添翼。搭配結合所有工具的OVM等驗證有效的方法時，inFact可以加速覆蓋率的收斂，減少常見的驗證困擾，設計人員也能釋出較多資源聚焦在規模更龐大的驗證計畫和涵蓋更高層面的功能驗證。最後，進而幫助驗證團隊能夠以更周延的方式來驗證設計、減少設計錯誤。
關於Open Verification Methodology (OVM)
OVM以IEEE 1800 SystemVerilog標準為基礎，支援設計與驗證工程師開發先進驗證環境，提供更高水準的驗證IP完整性與攜移性(portability)。這個方法論不專屬於任何人，而且具備與眾多語言和模擬裝置的相互操作功能。OVM完全開放，而且包含卓越的類別庫(class library)與來源碼，立即可供下載。有關詳情請上網查詢：http://www.ovmworld.org。
inFact工具提供具備與OVM規範相符的元件與程序並具備隨插即用相互操作性，能夠輕鬆地建立測試驗證IC功能的指令與環境。OVM程序為使用者提供威力強大的模組化機制，可重複為使用者提供各種不同有趣的系列之激勵處理說明。在元件階層之外定義程序，以簡單明瞭的方式開發出直接測試與隨機制約(constrained-random)的測試案例，讓測試程式人員testbench 的產生細節也可以完成測試。程序也是階層化的，可以輕鬆模型化各層級化的協定，也能控制其他程序間的交互活動。
運用inFact工具中圖像化智慧型testbench自動化的作法，有效率地建立驗證環境與激激，是強化先進驗證環境很有力的方法。inFact工具程序可用來增強或取代使用者自行開發的OVM中的程序，讓驗證工作如虎添翼。搭配結合所有工具的OVM等驗證有效的方法時，inFact可以加速覆蓋率的收斂，減少常見的驗證困擾，設計人員也能釋出較多資源聚焦在規模更龐大的驗證計畫和涵蓋更高層面的功能驗證。最後，進而幫助驗證團隊能夠以更周延的方式來驗證設計、減少設計錯誤。
關於Open Verification Methodology (OVM)
OVM以IEEE 1800 SystemVerilog標準為基礎，支援設計與驗證工程師開發先進驗證環境，提供更高水準的驗證IP完整性與攜移性(portability)。這個方法論不專屬於任何人，而且具備與眾多語言和模擬裝置的相互操作功能。OVM完全開放，而且包含卓越的類別庫(class library)與來源碼，立即可供下載。有關詳情請上網查詢：http://www.ovmworld.org。
