優勢
行業領先的高性能多語言仿真器
用于可測性設計(DFT)向量驗證的最快仿真器
高性能、高容量的集成調試環境
覆蓋率加速功能,助力更快實現覆蓋率收斂
智能編譯(SmartCompile)和多核仿真技術,全面提升性能
支持通用驗證方法學(UVM)、SystemVerilog、VHDL、SystemC及混合語言
集成的可移植激勵標準(PSS)引擎
LRM兼容的參考仿真器
原生編譯的單核仿真器技術
代碼覆蓋率和功能覆蓋率
支持System Verilog斷言(SVA)和屬性規范語言(PSL)
先進優化模式下的仿真
熱點分析
C代碼調試
X態傳播動態仿真
實數建模
在仿真中進行CDC亞穩態注入
一流的功耗敏感驗證技術
通用覆蓋率數據庫和流程
對64位Linux和Windows的支持
平臺支持
Windows11(32位和64位)
Linux–x86-RHEL8和9、Rocky8和9、SLES15SP4(32位和64位)
Linux–AARM64RHEL8和9、Rocky8和9
復雜SoC驗證
西門子數字化工業軟件旗下西門子EDA的Questa One Sim軟件是一款專為應對日益復雜的ASIC、SoC和FPGA設計而打造的仿真器。除了龐大的設計規模以及納入了多個嵌入式處理器和先進互連系統之外,軟件場景的增長以及多平臺設計所需的可配置性,致使需要一種功能驗證解決方案來統一眾多的驗證功能。此外,上市時間壓力在驗證項目中起著主導作用。要按計劃交付高質量的設計,必須縮短達到覆蓋率和質量目標所需的時間,并提高調試效率。
Questa One Sim的強大新技術有助于極大限度提高模塊級和子系統級驗證的有效性,從而提升整體生產力。Questa One Sim針對SystemVerilog、VHDL和SystemC,利用強有力的全局編譯和仿真優化算法,實現了業界領先的性能和容量。
憑借其獨特的智能編譯(SmartCompile)能力,Questa One Sim支持極快的周轉時間和高效的庫管理。Questa One Sim使用并行仿真(ParallelSim)保持高性能,而其集成的調試環境提供高性能、高容量的調試,因而能夠在運行大量測試時顯著提升回歸效率。
先進的驗證方法學
設計驗證是一個復雜而精密的過程。為了提供一流的能力來應對最嚴峻的驗證挑戰,Questa One Sim支持廣泛的先進驗證方法學,包括新的UVM驗證標準。設計完整性通過代碼覆蓋率和功能覆蓋率來衡量,其中包括語句、表達式、條件、翻轉和有限狀態機覆蓋率。
基于斷言的驗證(ABV)通過插入白盒監視器來提高設計質量,白盒監視器允許在調試窗口內主動監視功能正確性。Questa One Sim通過支持SVA結構和PSL來實現ABV。它還通過斷言線程查看器提供強大的調試功能。
Questa可移植激勵(QPS)是對Questa One Sim的一項特別強大的增強功能。QPS支持Accellera PSS標準,使工程師能夠創建抽象的、可重用的測試意圖,這些意圖可以自動轉換到多種驗證環境中,包括用于仿真的UVM序列和用于嵌入式軟件測試的C代碼。

Questa One Sim還將VHDL集成到其業界領先的約束求解器中,使其能夠生成更復雜的VHDL約束隨機激勵。它還支持將VHDL功能覆蓋率數據保存為統一覆蓋率數據庫(UCDB)格式,使VHDL驗證成為Questa One Sim的原生組成部分。UVM已整合這些新功能,以增強已廣受歡迎的VHDL驗證方法學。
借助并行仿真(ParallelSim)提升仿真性能
在高性能優化的基礎上,Questa One Sim通過并行仿真(ParallelSim)功能在多個內核上運行仿真,進一步加速仿真過程。該功能提供易于使用的自動分區,可確定合理分區數量以實現理想性能。內置的限定器可確定設計的適配性,從而靈活地僅對適合并行化的設計啟用并行仿真(ParallelSim)。
下一代集成調試
Questa One Sim是一個內容感知型集成仿真和調試平臺,支持完整的邏輯驗證流程。其強大的設計和驗證調試功能具有非常直觀的特性,可在實時仿真模式或仿真后處理模式下進行調試。Questa One Sim高性能、大容量調試器可快速定位RTL、門級和協議中的錯誤。它擁有多個為UVM驗證平臺量身定制的高階調試窗口。它是基于SystemVerilog類和UVM-aware,即使在當今最復雜的SoC和FPGA上也能縮短總體調試時間。約束調試、X態調試和協議調試等新功能使其成為驗證工程師的多用途工具。已完全集成低功耗和UPF調試,并疊加RTL視圖。

新的性能分析功能
極大限度提高RTL驗證效率通常需要分析仿真運行時的性能,以尋找瓶頸和潛在的可改進之處。Questa One Sim全新、完全重構、直觀的性能分析器通過凸顯設計或驗證平臺中性能欠佳且可解決的低效之處,幫助用戶自我診斷性能瓶頸。這項新的增強功能支持對單個測試、多個測試甚至整個回歸測試進行性能分析。
使用qrun和智能編譯(SmartCompile)
的優化流程
Questa One Sim支持旨在顯著提高仿真性能的先進優化算法。為了縮短編譯、優化和解析周轉時間,Questa One Sim支持名為qrun的單個編譯命令封裝器,其利用智能編譯(SmartCompile)功能自動提供增量編譯—能夠保存和重用預編譯部分為預優化設計單元(PDU)并能夠保存和重用解析結果。這些功能可以單獨或組合使用,以提供定制流程,通過消除不必要的重復處理來縮短周轉時間。
X態傳播
仿真的主要挑戰之一是X態傳播。確定傳播的X態的來源在驗證周期后期需要更多的調試時間,因為工程師必須識別X態的來源、測試設計的初始化并創建顯式檢查來報告X態。Questa One Sim啟用了Xprop的動態仿真包含處理X態傳播的機制。其可確保仿真與硅片行為嚴格匹配,在仿真期間捕獲X態的來源,并確保信號解析為已知值(如果可能)。將這些功能與全新的X-Debug功能和熱圖相結合,可使Questa One Sim調試器實現更高效的X態調試。

實數建模
Questa One Sim支持實數建模。實數建模可以更好地對模擬模塊進行建模,并允許這些離散模型用于高性能數字流程中。
借助其他Questa One Sim技術拓展功能
Questa One Sim Power Aware(Questa One Sim PA)支持在RTL級對主動功耗管理進行早期低功耗驗證,即使是對于最復雜的設計也是如此。這可確保功耗管理架構和行為正確,并確保設計在主動功耗管理期間正確運行。Questa One Sim PA基于新的行業標準IEEE 1801,支持新的UPF 4.0以及所有用于主動功耗管理的UPF 3.1/3.0/2.1/2.0規范。
在現代SystemVerilog UVM環境中實現覆蓋率收斂仍然是一個成本高昂且耗時的過程。Questa One Sim Coverage Acceleration(Questa One Sim CX)是一項覆蓋率加速功能,利用創新技術幫助用戶更早啟動覆蓋率收集、更快地提升覆蓋率,并以更可預測的方式完成覆蓋率收斂。
Questa One Sim DFT Acceleration(Questa One Sim DX)與Tessent Silicon Lifecycle相結合,提供了一個全面的解決方案,可提供sign-off ATPG和MBIST向量驗證所需的生產力和性能優勢。
Questa One Sim Xact(Sim Xact)通過自動消除煩人的假X態、零延遲競爭條件和庫建模錯誤,同時隔離難以診斷的連接問題,從而更快地調通門級仿真。此外,Sim Xact還支持先進的真實X態根因跟蹤工具。
用于功能安全的Questa One Sim Fault Acceleration(Questa One Sim FX)是一款高性能故障仿真器,用于減少隨機硬件故障,確保汽車系統的可靠性和安全性。Questa One Sim FX驗證設計是否滿足ISO 26262汽車安全標準中規定的嚴格故障注入要求。
Questa One Sim FX也是一款針對DFT的高性能仿真器,用于在DFT中進行功能故障分級,以提高復雜IC的缺陷覆蓋率。與市場領先的Tessent TestKompress集成,提供了可實現百萬件產品零缺陷的強大解決方案。
-
仿真器
+關注
關注
14文章
1051瀏覽量
87286 -
軟件
+關注
關注
69文章
5332瀏覽量
91588 -
Questa
+關注
關注
0文章
6瀏覽量
1763
發布評論請先 登錄
阿毛FPGA公益學習班第3講課前視頻01--主要內容介紹
如何初始化Questa sim env var LM_LICENSE_FILE
ISE關聯仿真庫遇到secureip出錯怎么辦?(附答案)
工業產品抽屜式SIM卡座SIM-121的詳細原理圖資料免費下載
Vivado調用Questa Sim或ModelSim仿真小技巧
Questa Sim不支持-novopt問題
西門子推出數據驅動型Questa Verification IQ軟件 ,助力集成電路驗證
Vivado調用第三方仿真軟件查看波形的過程中存在的一些問題
Vivado調用Questa Sim仿真中存在的一些問題
【產品介紹】Questa One Sim軟件
評論