Cadence推出AI驗證平台Verisium全面革新驗證生產力

益華電腦(Cadence Design Systems, Inc.)推出Cadence Verisium人工智慧驅動驗證平台，這是一套利用大數據和AI 優化驗證工作負載、提高涵蓋率並加速根本原因分析的應用程序。Verisium平台建立在全新的Cadence整合型企業數據和AI平台(簡稱JedAI)之上，並與Cadence驗證引擎自然整合。

隨著SoC複雜性的不斷提高，驗證已成為系統上市時間的關鍵，通常比任何其他晶片工程任務消耗更多的運算和人力資源。Verisium平台的發布代表了從電子設計自動化(EDA)中的單運行、單引擎演算法，轉移到利用大數據和AI優化整個SoC設計和驗證中多引擎的多次運行演算法的世代交替。通過採用Verisium平台，所有驗證數據，包括波形、涵蓋範圍、驗證報告和文件，都可匯集在Cadence JedAI平台中。

此平台的機器學習(ML)模型與從這些數據中挖掘其他專有指標，並啟用新的工具，從而顯著提高驗證效率。借助Cadence JedAI平台，Cadence能夠在Verisium AI驗證中統一其在資料和AI方面的運算軟體創新，整合到Cadence Cerebrus智慧晶片工具的AI設計實現和Optimality智慧系統工具的AI系統分析。

Verisium AutoTriage構建機器學習模型，通過同源的多個測試故障進行預測與分類，幫助自動執行回歸失效分類的重複性任務；Verisium SemanticDiff提供演算法解決方案來比較IP或SoC的多源代碼版本，並對版本進行分類，與哪些更新對系統行為的破壞性最大進行排序，有助確認潛在的問題點；Verisium WaveMiner則應用強大的AI引擎來分析多次運行的波形，並確認哪些訊號、時間最有可能代表測試失效的根本原因；Verisium PinDown與Cadence JedAI平台和業界標準修訂控制系統整合，以構建源代碼更改、測試報告和log文件的ML模型，以預測哪些原始碼check-ins最有可能導致錯誤；Verisium Debug提供從IP到SoC以及從單次運行到多次運行的整體調試解決方案，通過波形、原理圖、驅動程序追蹤和SmartLog技術提供快速、全面的交互式和後處理調試流程。

Verisium Debug與Cadence JedAI平台和其他Verisium應用程序原生整合，支持同時自動比較通過和失敗的測試，實現AI驅動的根本溯源分析；Verisium Manager將Cadence的全流程IP和SoC級驗證管理解決方案與驗證計劃、作業調度和多引擎涵蓋原生導入Cadence JedAI平台，並將其擴展支持AI驅動的測試套件優化，進而提高運算場效率。Verisium Manager可與其他Verisium應用程序整合，支持從基於瀏覽器的統一管理控制台交互式按鈕部署完整的Verisium平台。

Cadence資深副總裁暨系統與驗證事業部總經理Paul Cunningham表示，AI和大數據正在改變我們的世界。Cadence為了在核心EDA業務中實現這一轉變，必須構建能夠跨多個運行和引擎進行優化的創新技術。透過Verisium平台，進入了基於Cadence JedAI平台的AI驅動驗證的嶄新時代。這新旅程正剛展開，我們的客戶就已見證採用 Verisium平台在驗證生產力和效率方面有了顯著進步。

Verisium AI驅動驗證平台是Cadence驗證完整流程的一部分，其中包括Palladium Z2企業模擬平台、Protium X2原型設計、Xcelium模擬、Jasper形式驗證平台和 Helium虛擬和混合Studio。Cadence驗證全流程提供了最高的驗證生產力，讓在有限的時間內使所投資的資源物盡其用，儘可能發現更多的錯誤和實現更多的溯源分析。Verisium平台和驗證全流程支持公司的智慧系統設計策略，從而實現卓越的SoC設計。