Questa One將集成電路（IC）驗證從被動反應流程重新定義為智能的自優化系統。

西門子數字化工業軟件推出了Questa? One智能驗證軟件組合，將連接性、數據驅動方法和可擴展性與人工智能相結合，突破了集成電路（IC）驗證流程的極限，提高了工程團隊的生產效率。

Questa One提供更快的引擎，使工程師的工作速度更快，所需的工作負載更少，能夠支持從IP到系統級芯片（SoC）再到系統的最大型、最復雜的設計，開發時還考慮了先進的3D-IC、基于芯粒的設計和軟件定義架構。

西門子數字化工業軟件數字驗證技術副總裁兼總經理Abhi Kolpekwar表示：“Questa One變革了IC設計流程，不僅解決了驗證生產率方面的差距，還解決了IC行業關于日益復雜設計的快速增長的挑戰。Questa One利用新的技術進步提供了最快的功能、故障和形式驗證引擎，但客戶告訴我們，僅有性能是不夠的，他們還需要在我們無與倫比的驗證、確認和測試工作流程中進行更深層次的連接，而Questa One正好提供了這一點。結合我們對AI的應用，西門子的驗證解決方案真正讓早期采用者在智能創建、智能回歸、智能分析、智能引擎和智能調試領域實現生產率的階躍式提升。”

西門子與行業領導者合作開發了Questa One智能驗證解決方案，該解決方案提供互聯、數據驅動、可擴展的解決方案，打破了驗證生產率差距2.0的瓶頸，其中3D-IC、基于芯粒的設計、軟件定義架構等技術日益復雜，而關鍵人才的短缺以及市場對增強安全性、降低功耗、提高可靠性和可持續性的需求不斷增長，進一步加劇了這些技術的復雜性。

Questa One智能驗證解決方案涵蓋多項技術突破，包括：

Questa One Coverage Acceleration軟件通過將更高/更快的覆蓋結果與通用驗證方法（UVM）約束隨機測試生成的優勢結合在一起，覆蓋目標的速度達到傳統測試平臺解算器的50倍。

Questa One DFT Simulation Acceleration軟件利用Questa One Parallel Simulation軟件，使門級可測試性設計（DFT）串行模式仿真的速度快了8倍，并與業界領先的Tessent? Streaming Scan Network（SSN）架構緊密集成。

Questa One Fault Simulation Acceleration軟件的性能提高了48倍，同時支持功能安全和DFT故障仿真應用。它還針對Tessent中的用戶定義故障建模（UDFM）功能提供專屬支持。

Questa One Stimulus Free Verification軟件使工程師的生產率達到新的水平。在復雜的開源SoC級參考設計上，其獨特的引擎組合和應用統一的方法已證明能將總體處理時間從24小時以上縮短到1分鐘以下。集成20種不同的無激勵分析、AI和自動化，帶來了新的解決方案，如具有自動校正功能以及生成式AI SVA屬性創建和驗證功能的linting。

Questa One Avery Verification IP軟件基于Avery的高質量VIP和高覆蓋率合規性測試套件（CTS）。協議感知調試和協議感知覆蓋率分析有助于提高生產率，加快VIP對Questa One Sim上的相同CTS、測試平臺和激勵在Veloce CS仿真和原型系統上重復使用的支持。

Questa One智能驗證解決方案基于三個核心原則。

Questa One Connected Verification軟件可將工程師、EDA工具和驗證IP連接起來，形成一個具有凝聚力的生態系統，在西門子的Questa One、Tessent DFT和Veloce? CS仿真和原型系統上進行全面、無縫的驗證、確認和測試。

Questa One Data-Driven Verification軟件通過AI驅動的分析來利用數據的力量，帶來新的見解并提高驗證生產率。生成式、規范性和預測性機器學習技術的應用使工程師能夠以最少的資源實現最高水平的驗證。

Questa One Scalable Verification軟件可提供無與倫比的加速和自動化，能以最快的速度完成驗證收斂，并獲得最高的置信度。

客戶使用Questa One的體驗

Arm生產率工程負責人Karima Dridi表示：“Questa One智能驗證解決方案提高了我們在傳統內部部署和云部署中的驗證生產率。作為使用高性能Questa One Sim高級功能仿真器運行大型EDA工作負載的早期采用者，我們觀察到最新AArch64架構提高了性能、成本效率，并縮短了回歸時間。”

聯發科連接技術部高級技術經理黃建霖表示：“作為西門子Questa One智能驗證解決方案的早期用戶，聯發科已經能夠通過形式驗證和仿真技術提高我們工程師在整個驗證流程中的生產率。Questa One Property Assist利用生成式AI為我們節省了數周的工程時間，Questa One Regression Navigator則可以預測哪些仿真測試最有可能失敗，并首先運行這些測試，從而節省了數天的回歸和調試時間。”

微軟硅工程副總裁Selim Bilgin表示：“Questa One DFT（QDX）仿真利用以DFT為中心的先進仿真功能，提供比現有仿真解決方案更快的性能，將我們的驗證時間從數周縮短到數天。除了這些令人印象深刻的速度提升之外，在微軟的Azure Cobalt 100平臺上，QDX的性能還可提升20%，為我們的EDA工作負載提供更高的效率。”

Rambus硅IP工程副總裁Susheel Tadikonda表示：“西門子的Questa One智能驗證解決方案改進并簡化了我們的驗證流程，使我們能夠利用針對PCIe、CXL和HBM接口的最先進硅IP解決方案，來應對新時代的數據中心工作負載，例如生成式AI。使用包括仿真、靜態和形式分析、驗證IP技術在內的完整Questa One解決方案，能夠幫助客戶對SoC和芯粒設計的IP解決方案進行全面驗證，從而增強客戶的信心。”

來源：半導體芯科技


審核編輯 黃宇