發布日期:2022-07-15 點擊率:37
“我們的Incisive Enterprise Simulator和Incisive Specman都有一個全新面向方面生成引擎,讓高級驗證專家將其用于在大型設計中執行復雜的、面向方面的序列。這種新引擎能夠將性能提高將近5倍!”繼低功耗設計技術成為EDA工具廠商競爭的熱點之后,驗證工具再次成為EDA巨頭的爭奪制高點,今天,Cadence設計系統公司宣布為其Cadence Incisive Enterprise驗證產品系列添加全新技術,該公司Incisive Formal Department產品營銷總監Tom Anderson在接受電子工程專輯獨家采訪時對該工具評論道。“它還可以擴展到支持10億晶體管以上的設計!”
業內分析人士認為目前在SoC設計中存在的主要挑戰是驗證速度無法滿足需求,而且隨著設計變得更龐大和復雜,使用戶無法成功預測所有的邊際錯誤情況,因此驗證戰略必須改變。
Tom表示:“為了讓工程師團隊能夠解決多模式手機、游戲機和HD-DVD播放器等產品越來越復雜的芯片設計問題。Incisive技術目前為新開發的開放型驗證方法學(OVM)提供支持,這是一種強大的全新面向方面生成引擎,也是Cadence事務型加速(TBA)的第二代,為多測試平臺語言提供本征支持,在不同驗證語言和各種與生產效率有關的方面都進行了改良。”這種全新的面向方面生成引擎利用面向方面編程(AOP)建造的測試平臺提高性能和可擴展性。這些對Cadence Incisive Specman?、Incisive Enterprise Simulator和Incisive Palladium?與Xtreme?硬件加速/仿真系統的重大改進能夠帶來各方面生產效率的提升。
他表示全新的面向方面生成引擎改善了易用性,它有新一代GUI調試能力,它全新的驗證環境構建功能可以讓設計者加快速度。
由于很多公司都在主推自己的驗證方法,所以業界需要驗證方法學成為標準,一位資深EDA工具技術支持人士表示:“這樣,所有的源代碼公開,而且整個方法學跟工具沒有任何聯系。這樣設計工程師在重新選擇工具時驗證環境就不會有大的變化,而且其它的提供IP的廠商也會在這個共用的平臺上,這樣就進入到一個良性循環。”今年8月,Cadence和Mentor Graphics 公司宣布他們將會讓一種基于IEEE Std. 1800-2005 SystemVerilog標準的驗證方法學標準化正是對這個需求的響應。開放式驗證方法學(Open Verification Methodology, OVM)將會面向設計師和驗證工程師帶來一種不受工具約束的解決方案,促進數據的可移植性和可互用性。Tom表示新的驗證工具提供具有多語言支持能力,也支持OVM。
Tom表示:“隨著設計復雜度的提高,建立和調試驗證測試平臺變得越來越困難。混合語言的Incisive Enterprise Simulator目前已經支持開放驗證方法學及其底層類庫,這可以大大縮短建立SystemVerilog驗證環境的時間,確保代碼的可移植性和重用。這可以讓整個團隊的效率得以提高,也使得整個驗證過程的可預測性大大提高。此外,改進的基于類的調試應用有助于管理面向對象型測試平臺代碼的復雜性。新的多語言驗證平臺生成功能讓用戶可以應用現有的模板,迅速配置驗證IP和加快初期測試平臺開發。”
圖1:Incisive Enterprise Simulator功能組成框圖
Paradigm Works公司CEO兼總裁Michael Hoyt說。“我們需要一種強大而全面的解決方案,讓我們提供基于SystemVerilog的芯片設計和驗證服務,Incisive 6.2提供了開放的基于類的方法學、先進的調試和強大的生成工具,這些都是我們的項目所需要的。我們正在使用SystemVerilog和Incisive 6.2解決方案,為我們和客戶的工程師提高驗證效率。”
圖2:Incisive6.2采用的新技術
Incisive Enterprise驗證產品系列提供了新的功能,為使用Xtreme和Palladium硬件加速/仿真系統的系統級驗證提高效率。新版本的Cadence TBA兼容Accellera SCE-MI 2.0草擬標準,確保自動化、易用性和平臺可移植性,同時提供極高的性能。TBA 2.0通過提供新的架構和指導方針支持可重用的加速驗證環境,幫助設計和驗證團隊降低他們的驗證時間。新版TBA結合了新的方法學和很多新功能,可以簡化事務型驗證環境和驗證IP的建立和調試,包括:本征多語言事務級建模界面,自動化可變長度消息收發,約束隨機化、自動化事務級記錄和強大的信號/事務級調試能力。