圖說：西門子推出全新 Questa One 智慧驗證解決方案，以 AI 之力縮小 IC 驗證生產力差距
西門子數位工業軟體宣佈推出 Questa One 智慧驗證軟體產品組合，將連接性、數據驅動方法和可擴充性與 AI 技術相結合，突破積體電路（IC）驗證流程的限制，協助工程團隊提高工作效率。
Questa One 提供更快的引擎，可顯著提升工程師效率，減少工作負載，以支援從 IP 到系統單晶片（SoC）再到大型系統的大規模複雜設計。Questa One在開發時還充分考慮了先進的 3D-IC、基於小晶片（chiplet）的設計和軟體定義的架構。
西門子數位工業軟體數位驗證技術部副總裁暨總經理 Abhi Kolpekwar 表示：「Questa One 改革了 IC 設計流程，以解決驗證生產力差距問題，同時幫助工程師面對日益複雜的IC設計挑戰。Questa One 採用全新技術，可以提供現今最快的功能、故障與形式驗證引擎。我們的客戶指出，僅有效能還不夠，他們需要在驗證、確認與測試流程中實現更深層的連接，而這正是 Questa One 所具備的能力。結合我們對 AI 的應用，西門子的驗證解決方案已在智慧創建、智慧回歸、智慧分析、智慧引擎與智慧除錯等領域，為早期採用者帶來生產力的跳耀式提升。」
Questa One 智慧驗證解決方案由西門子與業界領導廠商合作開發，具有連接性強、數據驅動且可擴充的特點，有助於突破驗證生產力差距 2.0 的瓶頸。其中，諸如 3D-IC、小晶片設計和軟體定義架構等技術日益複雜，人才的短缺進一步加劇了這些複雜性，同時，對更高安全性、降低功耗、可靠性和可持續性的需求也在不斷增長。
Questa One 智慧驗證解決方案涵蓋多項技術突破，包括：
- Questa One Coverage Acceleration 軟體，透過將更高 / 更快的覆蓋率結果與通用驗證方法論（UVM）受限隨機測試生成的優勢相結合，實現覆蓋率目標的速度比傳統驗證程式求解器（testbench solvers）快 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 軟體賦能工程師達成新的生產力水準。其獨特的引擎組合和應用統一方法，能夠將複雜的開源 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 軟體提供優秀的加速和自動化功能，其速度可實現最快驗證收斂，並帶來最高信賴度。
Arm 生產力工程主管 Karima Dridi 表示：「Questa One 智慧驗證解決方案協助 Arm 提高了在傳統的本地部署和雲端部署中的驗證生產力。作為使用高效能 Questa One Sim 先進功能仿真器運行大型 EDA 工作負載的早期採用者，我們觀察到最新 AArch64 架構在效能、成本效率方面均有所提升，回歸測試時間也有所縮短。」
聯發科技連接技術部資深技術經理黃建霖表示：「作為西門子 Questa One 智慧驗證解決方案的早期用戶，聯發科技已經能夠利用形式驗證和模擬技術來提高我們工程師在整個驗證過程中的工作效率。Questa One Property Assist 利用生成式 AI 為我們節省了數週的工程時間，而 Questa One Regression Navigator 可以預測哪些仿真測試最有可能失敗，並首先運行這些測試，從而節省數天的回歸和調試時間。」
