DAC 2026 顯示驗證未來：從雲端想像轉向硬體執行與 AI 協同
為何重要
驗證領域的發展趨勢顯示產業界正試圖將位於矽後的除錯工作與流程「向左移置」到矽前階段，以縮短開發週期。AI 不再侷限於概念演示，正逐步成為協助高復雜度判斷（如失效分析與測試計畫產生）的關鍵角色，這種變化需要工具供應商與系統廠進行更深層的資料整合與應用。
DAC 2026 大會展示驗證流程正從單純的軟體模擬分析，轉向依賴硬體加速器與 AI 代理的實際執行環境。去年的討論聚焦未願願景，而今年的重點則是如何將多語言、AI 助手與形式化方法落實於 Emulator、FPGA 以及跨韌體硬體的除錯流程中。
- AMD 提出多語言驗證路徑不追求單一統一語言，而是透過可重用庫橋接 Python 與 SystemVerilog，確保內容與語義跨界傳遞。
- Arm 強調 AI Agent 測試生成與結果分析，預估效率至少可提升 10%，但須解決 EDA 工具商與客戶間的資料歸屬與合作問題。
- STMicroelectronics 發展 Python 腳本系統，自動化從車用 SoC 模擬到 FPGA 原型的雙向轉換，解決記憶體與 PLL 等區塊適配的繁瑣人工交接。
- IBM Research 透過捕捉並重播架構狀態，將韌體與硬體協同除錯的比對時間從數週縮短至數小時。