西門子推出 Questa One 智能驗證解決方案，借 AI 之力縮小 IC 驗證生產(chǎn)率差距

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

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

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

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

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

• Questa One Coverage Acceleration 軟件，通過將更高、更快的覆蓋率結(jié)果和通用驗證方法學 (UVM) 約束隨機測試生成的優(yōu)勢相結(jié)合，可實現(xiàn)覆蓋率目標速度比傳統(tǒng)測試平臺解算器快 50 倍。
• Questa One DFT Simulation Acceleration 軟件，利用 Questa One Parallel Simulation，使 Gate-level DFT 串行模式仿真速度提高 8 倍，并可與 Tessent? Streaming Scan Network (SSN) 架構(gòu)緊密集成。
• Questa One Fault Simulation Acceleration 軟件，性能提高 48 倍，并支持功能安全和 DFT 故障仿真應(yīng)用。值得一提的是，其還針對 Tessent 用戶定義的故障模型 (UDFM) 功能提供專屬支持。
• Questa One Stimulus Free Verification 軟件，助力工程師達到新的生產(chǎn)力水平。其獨特的引擎組合和應(yīng)用統(tǒng)一的方法能夠?qū)碗s的開源 SoC 級參考設(shè)計處理時間從 24 小時以上縮短至 1 分鐘以下。該軟件整合了 20 種不同的無激勵分析方法、AI 與自動化技術(shù)，帶來全新解決方案，例如具備自動校正功能以及生成式 AI SVA 屬性創(chuàng)建和驗證功能的 linting。
• Questa One Avery Verification IP 軟件，基于 Avery 的高質(zhì)量 VIP 和高覆蓋率合規(guī)性測試套件 (CTS)。協(xié)議感知調(diào)試和協(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 驅(qū)動的分析能力，依托數(shù)據(jù)的力量帶來新的洞察并提高驗證效率。生成式、規(guī)范性和預測性機器學習技術(shù)使得工程師能夠以少量的資源實現(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 架構(gòu)在性能、成本效率均有所提升，回歸時間也有所縮短?！?/p>

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

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

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

上市時間

Questa One 智能驗證解決方案將于 2025 年 6 月正式上市。