西門子推新智慧驗證解決方案，加速驗證流程、提升人力效率及生產力
西門子數位工業軟體宣布推出 Questa One 智慧驗證軟體產品組合，將連接性、數據驅動方法和可擴充性與 AI 技術相結合，突破積體電路（IC）驗證流程的限制，協助工程團隊提高工作效率。
西門子指出，Questa One 智慧驗證解決方案將於 2025 年 6 月正式推出。新解決方案整合 AI 驅動的自動化、預測分析與工作流程無縫連接能力，可大幅加速驗證流程、降低人工投入並提升生產力。
西門子表示，Questa One 可顯著提升工程師效率，減少工作負載，支援從 IP 到系統單晶片（SoC）再到大型系統的大規模複雜設計。Questa One 在開發時還充分考慮先進 3D-IC、基於小晶片（chiplet）的設計和軟體定義的架構。
西門子數位工業軟體數位驗證技術部副總裁暨總經理 Abhi Kolpekwar 表示，Questa One 改革 IC 設計流程，以解決驗證生產力差距問題，同時幫助工程師面對日益複雜的IC設計挑戰。該解決方案採用全新技術，提供現今最快功能、故障與形式驗證引擎。客戶認為僅有效能還不夠，他們需要在驗證、確認與測試流程中實現更深層的連接，而這正是Questa One 所具備的能力。
Questa One 智慧驗證解決方案由西門子與業界領導廠商合作開發，具有連接性強、數據驅動且可擴充的特點，有助於突破驗證生產力差距 2.0 的瓶頸。其中，諸如 3D-IC、小晶片設計和軟體定義架構等技術日益複雜，人才的短缺進一步加劇了這些複雜性，同時，對更高安全性、降低功耗、可靠性和可持續性的需求也在不斷增長。
西門子指出，Questa One 智慧驗證解決方案建立在三個核心原則之上，首先是其 Connected Verification 軟體將工程師、EDA 工具和驗證 IP 連接起來，形成一個緊密的生態系；Data-Driven Verification 軟體透過 AI 驅動的分析能力，利用數據的力量帶來新的見解並提高驗證效率；Scalable Verification 軟體提供優秀的加速和自動化功能，其速度可實現最快驗證收斂，並帶來最高信賴度。
聯發科連接技術部資深技術經理黃建霖表示，做為西門子 Questa One 早期用戶，聯發科已經能夠利用形式驗證和模擬技術提高工程師在整個驗證過程中的工作效率。Questa One Property Assist 利用生成式 AI 節省數週工程時間，而 Questa One Regression Navigator 可以預測哪些仿真測試最有可能失敗，並首先運行這些測試，從而節省數天的回歸和調試時間。
微軟矽工程副總裁 Selim Bilgin 指出，Questa One DFT（QDX）仿真運用提供比現有仿真方案更快的效能，將驗證時間從幾週縮短到幾天。除了顯著的速度提升，QDX 還為微軟Azure Cobalt 100 平台帶來高達 20% 的效能躍升，為 EDA 工作負載釋放出更高效率。
（首圖來源：Flickr/David Hall CC BY 2.0）