新版ModelSim加上最近獲得的0-In 設計自動化的斷言技術擴展了功能驗證方法
Mentor Graphics宣佈,利用其新版流行的ModelSimÒ模擬器以及最近完成的0-In® 設計自動化產品的先進驗證技術,對其可擴展驗證(Scalable Verification TM)解決方案進行重要擴充。
用ModelSim 6.0模擬器以及0-In產品系列,Mentor GraphicsÒ 目前可以為最先進的驗證方法提供基於標準的支援。 通過對基於斷言(Assertion)的驗證、覆蓋率驅動的驗證流程以及驗證IP提供支援,Mentor的可擴展驗證平臺為工程師提供了一種比目前更快的實現驗證收斂的方法。
“現有的驗證方法氣數已盡,”Mentor Graphics公司設計驗證與測試部副總裁兼總經理Robert Hum說,“設計人員正在尋找能夠顯著提高其生產力的新的解決方案。需要諸如斷言、靜態分析、功能覆蓋以及覆蓋驅動的驗證之類的方法和工具使驗證差距閉合。我們的ModelSim 6.0版本中的新性能以及0-In 產品的獲得使我們今天能夠推出這些先進的解決方案。”
ModelSim 6.0模擬器: 可擴展驗證的核心
Mentor的可擴展驗證解決方案以ModelSim仿真環境為中心,並有行業領先的用於Verilog 2001、VHDL、PSL、SystemC和SystemVerilog.的標準支援,ModelSim 6.0工具為工程師提供增強的驗證方法以支援更好和更快的驗證,包括對基於斷言的驗證、功能覆蓋以及覆蓋驅動的驗證的支援。
通過提供本機斷言引擎以及斷言調試,ModelSim 6.0產品為 驗證工程師提供了一種更好的測試設計的方法。利用基於斷言的驗證(ABV),驗證工程師 能夠更加容易地對一種設計進行測試以確保該設計符合其功能技術要求。ModelSim 6.0模擬器還包括功能覆蓋性能,使工程師可以跟蹤他們驗證工作的有效性。將斷言與功能覆蓋結合起來就可以進行覆蓋驅動的驗證,在覆蓋驅動的驗證中,設計人員利用測試的回饋來為後續的測試確定目標,其結果就是大大提高了生產力和有效性。
ModelSim 6.0模擬器的新功能貫穿於Mentor的 可擴展驗證平臺。通過與Seamless Ò 協同驗證環境更加緊密地整合成一體,Mentor的 行業領先的軟/硬體協同驗證工具、VStationÔ 系列硬體加速器以及ADVanceÔ MS 高性能類比/混合信號模擬器使設計人員對他們今天所面臨的類比、數位以及軟體驗證問題進行具有頂級水準的驗證。
利用0-In設計自動化對驗證加以改進
有了一支由綜合、形式分析以及基於斷言的驗證領域著名專家組成的世界級的工程隊伍 ,0-In設計自動化的獲得擴展了Mentor Graphics的驗證解決方案。15家最大的電子公司中的12家 已經在他們的積體電路(IC)設計驗證流程中採用了0-In工具和方法。
0-In工具將靜態與動態技術相結合,提供獨特的技術使其能夠迅速高效地發現更多的程式錯誤。該工具提高了模擬和仿真驗證技術的價值。例如,通過在Vstation系列硬體加速器上實現基於斷言的驗證以及功能覆蓋,該工具使設計人員能夠以高性能仿真咝蝎@取完整的資料,從而大大增強了他們衡量測試週期完成情況的能力。
“我們選擇用0-In產品是因為他們現有的產品系列具有吸引力以及對未來的前景看好,”Hum說。“在這個領域的許多產品都未經過實戰檢驗,而我們已經獲得了成熟的產品,這些產品目前正在重要客戶的流程中工作,為此我們感到興奮。憑藉Mentor銷售力量的影響,我們能夠把0-In解決方案帶給更廣泛的客戶群。”
Mentor Graphics將繼續支援0-In現有的產品和用戶,並將利用Mentor Graphics的全球銷售和支援機構來擴大這些產品的銷售和支援。0-In 產品將成為Mentor Graphics可擴展驗證平臺的一部分,並且還將繼續與電子設計自動化(EDA)領域其他廠商的產品合作。
關於Mentor Graphics 可擴展驗證解決方案
Copyright © 2002-2023 COMPOTECH ASIA. 陸克文化 版權所有
聯繫電話:886-2-27201789 分機請撥:11