人工智慧不只 ChatGPT，西門子 EDA 藉 AI 加速 IC 設計產品上市

西門子數位化工業軟體於近日推出 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）工具，以實現工作流程自動化。

(首圖來源：西門子)