• Questa One 將集成電路 (IC) 驗證從被動反應流程重新定義為可以自優(yōu)化的智能系統(tǒng)
• 新解決方案集成了 AI 驅動的自動化、預測分析和工作流程無縫連接的能力，可顯著加快驗證周期，減少人工工作量并提高生產(chǎn)率

西門子數(shù)字化工業(yè)軟件宣布推出 Questa™ One 智能驗證軟件產(chǎn)品組合，以人工智能 (AI) 技術賦能連接性、數(shù)據(jù)驅動方法和可擴展性，突破集成電路 (IC) 驗證流程限制，助力工程團隊有效提高生產(chǎn)效率。

Questa One 提供更快引擎，可顯著提升工程師的工作效率，減少工作負載，并支持從 IP 到芯片級系統(tǒng) (SoC) 再到大型系統(tǒng)的大規(guī)模復雜設計。Questa One 在開發(fā)時還充分考慮了 3D-IC、基于 chiplet 的設計和軟件定義架構。

西門子數(shù)字化工業(yè)軟件數(shù)字驗證技術副總裁兼總經(jīng)理 Abhi Kolpekwar 表示：“Questa One 改革了 IC 設計流程，其不僅解決了驗證生產(chǎn)率差距問題，還幫助工程師直面日益復雜的 IC 設計挑戰(zhàn)。Questa One 采用前沿技術，可提供更快的功能、故障和形式驗證引擎?？蛻舾嬖V我們，僅有性能是遠遠不夠的，他們還需要在我們驗證、確認和測試流程中進行更深層次的連接，而 Questa One 正是應此需求而生。結合我們對 AI 的應用，西門子的驗證解決方案讓智能創(chuàng)建、智能回歸、智能分析、智能引擎和智能調試的早期采用者真正實現(xiàn)了生產(chǎn)效率的階躍式提升。”

Questa One 智能驗證解決方案由西門子與行業(yè)領導者合作開發(fā)，具有互聯(lián)性強、數(shù)據(jù)驅動、且可擴展等特點，有助于突破驗證生產(chǎn)率差距 2.0 瓶頸。其中，諸如 3D-IC、chiplet 設計和軟件定義架構等技術日益復雜，人才短缺更是進一步加劇了這種復雜性，同時，對增強安全性、降低功耗、提高可靠性和可持續(xù)性的需求也在不斷增長。

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

·Questa One Coverage Acceleration 軟件，通過將更高、更快的覆蓋率結果和通用驗證方法學 (UVM) 約束隨機測試生成的優(yōu)勢相結合，可實現(xiàn)覆蓋率目標速度比傳統(tǒng)測試平臺解算器快 50 倍。

·Questa One DFT Simulation Acceleration 軟件，利用 Questa One Parallel Simulation，使 Gate-level DFT 串行模式仿真速度提高 8 倍，并可與 Tessent™ Streaming Scan Network (SSN) 架構緊密集成。

·Questa One Fault Simulation Acceleration 軟件，性能提高 48 倍，并支持功能安全和 DFT 故障仿真應用。值得一提的是，其還針對 Tessent 用戶定義的故障模型 (UDFM) 功能提供專屬支持。

·Questa One Stimulus Free Verification 軟件，助力工程師達到新的生產(chǎn)力水平。其獨特的引擎組合和應用統(tǒng)一的方法能夠將復雜的開源 SoC 級參考設計處理時間從 24 小時以上縮短至 1 分鐘以下。該軟件整合了 20 種不同的無激勵分析方法、AI 與自動化技術，帶來全新解決方案，例如具備自動校正功能以及生成式 AI SVA 屬性創(chuàng)建和驗證功能的 linting。

·Questa One Avery Verification IP 軟件，基于 Avery 的高質量 VIP 和高覆蓋率合規(guī)性測試套件 (CTS)。協(xié)議感知調試和協(xié)議感知覆蓋分析有助于提高生產(chǎn)率，加速的 VIP 使得 Questa One Sim 上的相同 CTS、測試平臺和激勵能夠在 Veloce CS 仿真和原型系統(tǒng)上重復使用。

Questa One 智能驗證解決方案基于以下三大核心原則：

·Questa One Connected Verification 軟件能夠連接工程師、EDA 工具和驗證 IP，形成一體化的生態(tài)系統(tǒng)，從而能夠在西門子的 Questa One、Tessent DFT 和 Veloce™ CS 仿真和原型系統(tǒng)上進行全面、無縫的驗證、確認和測試。

·Questa One Data-Driven Verification 軟件通過 AI 驅動的分析能力，依托數(shù)據(jù)的力量帶來新的洞察并提高驗證效率。生成式、規(guī)范性和預測性機器學習技術使得工程師能夠以少量的資源實現(xiàn)高水平的驗證。

·Questa One Scalable Verification 軟件提供卓越的加速和自動化能力，可實現(xiàn)快速驗證收斂，并帶來高置信度。

客戶經(jīng)驗：

Arm 生產(chǎn)率工程負責人 Karima Dridi 表示：“Questa One 智能驗證解決方案幫助 Arm 提高了在傳統(tǒng)本地部署和云部署中的驗證生產(chǎn)率，作為使用高性能 Questa One Sim 先進功能仿真器運行大型 EDA 工作負載的早期采用者，我們觀察到新 AArch64 架構在性能、成本效率均有所提升，回歸時間也有所縮短。”

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

微軟公司硅工程副總裁 Selim Bilgin 表示：“Questa One DFT (QDX) 仿真運用了以 DFT 為核心的先進仿真技術，提供比現(xiàn)有仿真解決方案更快的性能，將我們的驗證時間從數(shù)周縮短至數(shù)天。除了這些顯著的速度提升，QDX 還為微軟 Azure Cobalt 100 平臺帶來高達 20% 的性能躍升，為我們的 EDA 工作負載釋放更多效率。”

Rambus 硅 IP 工程副總裁 Susheel Tadikonda 表示：“西門子的 Questa One 智能驗證解決方案改進并簡化了我們的驗證過程，使我們能夠通過針對 PCIe、CXL 和 HBM 接口的先進硅 IP 解決方案，應對生成式 AI 等新時代數(shù)據(jù)中心工作負載，使用包括仿真、靜態(tài)和形式驗證分析、以及驗證 IP 技術在內的完整 Questa One 解決方案，能夠幫助客戶對 SoC 和 chiplet 設計的 IP 解決方案進行全面驗證，并為其增強信心。”

上市時間

Questa One 智能驗證解決方案將于 2025 年 6 月正式上市。如需詳細了解西門子如何幫助半導體和電子系統(tǒng)行業(yè)向市場提供打造先進的 3D-IC、基于芯粒的設計和軟件定義系統(tǒng)，敬請訪問：

https://eda.sw.siemens.com