圖說：西門子推出資料趨動型 Questa Verification IQ 軟體，促進積體電路驗證。
西門子於近日推出 Questa Verification IQ 軟體，該解決方案有助邏輯驗證團隊克服下一代積體電路（IC）的複雜設計挑戰。Questa Verification IQ 是以團隊為基礎的雲端軟體，由數據資料驅動，採用人工智慧（AI）技術，有助加速驗證收斂、簡化追溯性、最佳化資源，並加快上市速度。
傳統上，IC 開發週期中有超過 70% 的時間都在執行邏輯驗證。隨著新一代 IC 設計的複雜度不斷提高，實現設計收斂（即瞭解工程師已充分執行正確的驗證類型，以確保設計能完美運作）就成為日益嚴峻的挑戰。Wilson Research 在 2022 年開展的一項產業研究顯示，取得首次矽晶設計成功的驗證團隊比例已從 2014 年的 31% 下降至 2022 年的僅 24%，而這也是過去 20 年來的最低紀錄。
Questa Verification IQ 專為協助設計團隊更快實現設計收斂而打造，其與業界最先進的 Siemens Polarion REQUIREMENTS 軟體緊密整合後打造的平台，能從專案生命週期內自動擷取由引擎運行產生的所有資料，並協助客戶在整個設計與驗證流程中管理要求、編碼、測試與發佈。新平台同時針對功能安全性合規任務，提供最佳化的數位主線，實現從要求一直到驗證結果再到實作的追溯性。
Questa Verification IQ 可統一來自不同環境的形式驗證和模擬引擎的覆蓋率資料，包括：西門子 Questa 平台、OneSpin 軟體、Symphony 類比和混合訊號模擬平台，以及用於硬體模擬和原型驗證的西門子 Veloce。Questa Verification IQ 的機器學習功能將隨即分析資料，以預測時序特徵和漏洞、識別根本原因，並為潛在問題提供解決方案；進而幫助提高效率，並為團隊提供所需的資訊，令其可充滿信心地進行 Signoff。
西門子 EDA 的設計驗證技術副總裁暨總經理 Abhi Kolpekwar 表示：「全球一流的晶片設計與驗證企業正皆在運用大數據，以推動創新、簡化運作與提高效率。西門子全新的 Questa Verification IQ 以先進的數據資料驅動，利用分析、協作與可追溯性加快並簡化驗證流程，與西門子的 Polarion REQUIREMENTS 結合使用，將取得更優異的效果。」
Questa Verification IQ 基於網路的應用架構，能以最少的安裝成本提供可擴展的驗證管理，無需指定的裝置與作業系統。Questa Verification IQ 支援公用、私人與混合雲端配置，實現本地協作和集中式資料存取，可幫助全球工程團隊即時協作，加快驗證管理流程，並提供即時專案能見度。Questa Verification IQ 也充分整合 Jenkins 等常用持續整合（CI）工具，以實現工作流程自動化。
Arm 設計服務的資深總監 Tran Nguyen 表示：「今日的創新日新月異，為滿足不斷增加的運算能力需求，產品上市速度比以往任何時候都更加重要。西門子新的 Questa Verification IQ 解決方案能在驗證流程中提供更出色的跨團隊與跨地域合作，並能實現分析導覽，從而提高生產力、顯著降低收斂時間。」
Nordic Semiconductor 驗證團隊負責人 Christoffer Amlo 表示：「Nordic Semiconductor 專門研究能實現物聯網（IoT）的無線通訊技術。瞭解整個開發週期的設計驗證狀態，對於我們產品的規劃、執行與最終品質至關重要。我們是 Questa Verification IQ 軟體的早期採用者，該軟體為我們提供了一個高級別的趨勢分析平台。工具自動生成的即時狀態，取代了手動收集迴歸資訊的工作。在分析未完成的驗證工作方面，Questa Verification IQ 提供了高效的覆蓋率收斂協作工作流程。」
