優(yōu)勢

行業(yè)領(lǐng)先的高性能多語言仿真器

用于可測性設(shè)計(DFT)向量驗證的最快仿真器

高性能、高容量的集成調(diào)試環(huán)境

覆蓋率加速功能，助力更快實現(xiàn)覆蓋率收斂

智能編譯(SmartCompile)和多核仿真技術(shù)，全面提升性能

支持通用驗證方法學(xué)(UVM)、SystemVerilog、VHDL、SystemC及混合語言

集成的可移植激勵標(biāo)準(zhǔn)(PSS)引擎

LRM兼容的參考仿真器

原生編譯的單核仿真器技術(shù)

代碼覆蓋率和功能覆蓋率

支持System Verilog斷言(SVA)和屬性規(guī)范語言(PSL)

先進優(yōu)化模式下的仿真

熱點分析

C代碼調(diào)試

X態(tài)傳播動態(tài)仿真

與Questa One Sim Xact原生集成

實數(shù)建模

在仿真中進行CDC亞穩(wěn)態(tài)注入

一流的功耗敏感驗證技術(shù)

通用覆蓋率數(shù)據(jù)庫和流程

對64位Linux和Windows的支持

平臺支持

Windows11（32位和64位）

Linux–x86-RHEL8和9、Rocky8和9、SLES15SP4（32位和64位）

Linux–AARM64RHEL8和9、Rocky8和9

復(fù)雜SoC驗證

西門子數(shù)字化工業(yè)軟件旗下西門子EDA的Questa One Sim軟件是一款專為應(yīng)對日益復(fù)雜的ASIC、SoC和FPGA設(shè)計而打造的仿真器。除了龐大的設(shè)計規(guī)模以及納入了多個嵌入式處理器和先進互連系統(tǒng)之外，軟件場景的增長以及多平臺設(shè)計所需的可配置性，致使需要一種功能驗證解決方案來統(tǒng)一眾多的驗證功能。此外，上市時間壓力在驗證項目中起著主導(dǎo)作用。要按計劃交付高質(zhì)量的設(shè)計，必須縮短達(dá)到覆蓋率和質(zhì)量目標(biāo)所需的時間，并提高調(diào)試效率。

Questa One Sim的強大新技術(shù)有助于極大限度提高模塊級和子系統(tǒng)級驗證的有效性，從而提升整體生產(chǎn)力。Questa One Sim針對SystemVerilog、VHDL和SystemC，利用強有力的全局編譯和仿真優(yōu)化算法，實現(xiàn)了業(yè)界領(lǐng)先的性能和容量。

憑借其獨特的智能編譯(SmartCompile)能力，Questa One Sim支持極快的周轉(zhuǎn)時間和高效的庫管理。Questa One Sim使用并行仿真(ParallelSim)保持高性能，而其集成的調(diào)試環(huán)境提供高性能、高容量的調(diào)試，因而能夠在運行大量測試時顯著提升回歸效率。

先進的驗證方法學(xué)

設(shè)計驗證是一個復(fù)雜而精密的過程。為了提供一流的能力來應(yīng)對最嚴(yán)峻的驗證挑戰(zhàn)，Questa One Sim支持廣泛的先進驗證方法學(xué)，包括新的UVM驗證標(biāo)準(zhǔn)。設(shè)計完整性通過代碼覆蓋率和功能覆蓋率來衡量，其中包括語句、表達(dá)式、條件、翻轉(zhuǎn)和有限狀態(tài)機覆蓋率。

基于斷言的驗證(ABV)通過插入白盒監(jiān)視器來提高設(shè)計質(zhì)量，白盒監(jiān)視器允許在調(diào)試窗口內(nèi)主動監(jiān)視功能正確性。Questa One Sim通過支持SVA結(jié)構(gòu)和PSL來實現(xiàn)ABV。它還通過斷言線程查看器提供強大的調(diào)試功能。

Questa可移植激勵(QPS)是對Questa One Sim的一項特別強大的增強功能。QPS支持Accellera PSS標(biāo)準(zhǔn)，使工程師能夠創(chuàng)建抽象的、可重用的測試意圖，這些意圖可以自動轉(zhuǎn)換到多種驗證環(huán)境中，包括用于仿真的UVM序列和用于嵌入式軟件測試的C代碼。

Questa One Sim還將VHDL集成到其業(yè)界領(lǐng)先的約束求解器中，使其能夠生成更復(fù)雜的VHDL約束隨機激勵。它還支持將VHDL功能覆蓋率數(shù)據(jù)保存為統(tǒng)一覆蓋率數(shù)據(jù)庫(UCDB)格式，使VHDL驗證成為Questa One Sim的原生組成部分。UVM已整合這些新功能，以增強已廣受歡迎的VHDL驗證方法學(xué)。

借助并行仿真(ParallelSim)提升仿真性能

在高性能優(yōu)化的基礎(chǔ)上，Questa One Sim通過并行仿真(ParallelSim)功能在多個內(nèi)核上運行仿真，進一步加速仿真過程。該功能提供易于使用的自動分區(qū)，可確定合理分區(qū)數(shù)量以實現(xiàn)理想性能。內(nèi)置的限定器可確定設(shè)計的適配性，從而靈活地僅對適合并行化的設(shè)計啟用并行仿真(ParallelSim)。

下一代集成調(diào)試

Questa One Sim是一個內(nèi)容感知型集成仿真和調(diào)試平臺，支持完整的邏輯驗證流程。其強大的設(shè)計和驗證調(diào)試功能具有非常直觀的特性，可在實時仿真模式或仿真后處理模式下進行調(diào)試。Questa One Sim高性能、大容量調(diào)試器可快速定位RTL、門級和協(xié)議中的錯誤。它擁有多個為UVM驗證平臺量身定制的高階調(diào)試窗口。它是基于SystemVerilog類和UVM-aware，即使在當(dāng)今最復(fù)雜的SoC和FPGA上也能縮短總體調(diào)試時間。約束調(diào)試、X態(tài)調(diào)試和協(xié)議調(diào)試等新功能使其成為驗證工程師的多用途工具。已完全集成低功耗和UPF調(diào)試，并疊加RTL視圖。

新的性能分析功能

極大限度提高RTL驗證效率通常需要分析仿真運行時的性能，以尋找瓶頸和潛在的可改進之處。Questa One Sim全新、完全重構(gòu)、直觀的性能分析器通過凸顯設(shè)計或驗證平臺中性能欠佳且可解決的低效之處，幫助用戶自我診斷性能瓶頸。這項新的增強功能支持對單個測試、多個測試甚至整個回歸測試進行性能分析。

使用qrun和智能編譯(SmartCompile)

的優(yōu)化流程

Questa One Sim支持旨在顯著提高仿真性能的先進優(yōu)化算法。為了縮短編譯、優(yōu)化和解析周轉(zhuǎn)時間，Questa One Sim支持名為qrun的單個編譯命令封裝器，其利用智能編譯(SmartCompile)功能自動提供增量編譯—能夠保存和重用預(yù)編譯部分為預(yù)優(yōu)化設(shè)計單元(PDU)并能夠保存和重用解析結(jié)果。這些功能可以單獨或組合使用，以提供定制流程，通過消除不必要的重復(fù)處理來縮短周轉(zhuǎn)時間。

X態(tài)傳播

仿真的主要挑戰(zhàn)之一是X態(tài)傳播。確定傳播的X態(tài)的來源在驗證周期后期需要更多的調(diào)試時間，因為工程師必須識別X態(tài)的來源、測試設(shè)計的初始化并創(chuàng)建顯式檢查來報告X態(tài)。Questa One Sim啟用了Xprop的動態(tài)仿真包含處理X態(tài)傳播的機制。其可確保仿真與硅片行為嚴(yán)格匹配，在仿真期間捕獲X態(tài)的來源，并確保信號解析為已知值（如果可能）。將這些功能與全新的X-Debug功能和熱圖相結(jié)合，可使Questa One Sim調(diào)試器實現(xiàn)更高效的X態(tài)調(diào)試。

實數(shù)建模

Questa One Sim支持實數(shù)建模。實數(shù)建?？梢愿玫貙?a href="http://www.brongaenegriffin.com/analog/" target="_blank">模擬模塊進行建模，并允許這些離散模型用于高性能數(shù)字流程中。

借助其他Questa One Sim技術(shù)拓展功能

Questa One Sim Power Aware(Questa One Sim PA)支持在RTL級對主動功耗管理進行早期低功耗驗證，即使是對于最復(fù)雜的設(shè)計也是如此。這可確保功耗管理架構(gòu)和行為正確，并確保設(shè)計在主動功耗管理期間正確運行。Questa One Sim PA基于新的行業(yè)標(biāo)準(zhǔn)IEEE 1801，支持新的UPF 4.0以及所有用于主動功耗管理的UPF 3.1/3.0/2.1/2.0規(guī)范。

在現(xiàn)代SystemVerilog UVM環(huán)境中實現(xiàn)覆蓋率收斂仍然是一個成本高昂且耗時的過程。Questa One Sim Coverage Acceleration(Questa One Sim CX)是一項覆蓋率加速功能，利用創(chuàng)新技術(shù)幫助用戶更早啟動覆蓋率收集、更快地提升覆蓋率，并以更可預(yù)測的方式完成覆蓋率收斂。

Questa One Sim DFT Acceleration(Questa One Sim DX)與Tessent Silicon Lifecycle相結(jié)合，提供了一個全面的解決方案，可提供sign-off ATPG和MBIST向量驗證所需的生產(chǎn)力和性能優(yōu)勢。

Questa One Sim Xact(Sim Xact)通過自動消除煩人的假X態(tài)、零延遲競爭條件和庫建模錯誤，同時隔離難以診斷的連接問題，從而更快地調(diào)通門級仿真。此外，Sim Xact還支持先進的真實X態(tài)根因跟蹤工具。

用于功能安全的Questa One Sim Fault Acceleration(Questa One Sim FX)是一款高性能故障仿真器，用于減少隨機硬件故障，確保汽車系統(tǒng)的可靠性和安全性。Questa One Sim FX驗證設(shè)計是否滿足ISO 26262汽車安全標(biāo)準(zhǔn)中規(guī)定的嚴(yán)格故障注入要求。

Questa One Sim FX也是一款針對DFT的高性能仿真器，用于在DFT中進行功能故障分級，以提高復(fù)雜IC的缺陷覆蓋率。與市場領(lǐng)先的Tessent TestKompress集成，提供了可實現(xiàn)百萬件產(chǎn)品零缺陷的強大解決方案。