中國上海,，2022年9月15日——楷登電子（美國 Cadence 公司,，NASDAQ：CDNS）今日宣布，推出 Cadence^?Verisium? Artificial Intelligence (AI)-Driven Verification Platform,，整套應(yīng)用通過大數(shù)據(jù)和 JedAI Platform 來優(yōu)化驗證負荷,、提高覆蓋率并加速 bug 溯源。Verisium 平臺基于新的 Cadence Joint Enterprise Data AI (JedAI) Platform,，并與 Cadence 驗證引擎原生集成,。

　　隨著 SoC 復(fù)雜性不斷提高，驗證往往比其它工程任務(wù)更加消耗算力和人力,，如何縮短驗證周期已成為產(chǎn)品按時上市的關(guān)鍵,。Verisium 平臺的發(fā)布代表了電子設(shè)計自動化（EDA）利用大數(shù)據(jù)和人工智能來優(yōu)化整個 SoC 設(shè)計和驗證過程，由單運行（single-run）,、單引擎（single-engine）向多運行（multi-run）,、多引擎（multi-engines）的全新算法轉(zhuǎn)變。通過部署 Verisium 平臺,，匯集所有波形,、覆蓋率、報告和日志文件等驗證數(shù)據(jù)于 Cadence JedAI 平臺中,，在此平臺上建立機器學(xué)習(xí)（ML）模型和發(fā)掘更多特定指標,，進而將其應(yīng)用于全新系列工具上，從而極大地提高驗證工作效率,。借助 Cadence JedAI 平臺,，Cadence 能夠?qū)⑵湓跀?shù)據(jù)和人工智能方面的計算軟件創(chuàng)新成果，統(tǒng)一應(yīng)用在 Verisium AI-Driven 驗證,，Cerebrus? Intelligent Chip Explorer AI-Driven 實現(xiàn)和 Optimality? Intelligent System Explorer AI-Driven 系統(tǒng)分析等產(chǎn)品中,。

　　Verisium 平臺初版應(yīng)用套件包括以下選項：

　　· Verisium AutoTriage：構(gòu)建機器學(xué)習(xí)模型，通過對同源的多個測試故障進行預(yù)測和分類,，以實現(xiàn)回歸故障類選等重復(fù)性工作的自動化,。

　　· Verisium SemanticDiff：通過算法對 IP 或 SoC 的多版源碼變更進行比較及分類，并依據(jù)其對系統(tǒng)行為的干擾程度進行排序,，來幫助定位潛在 bug 熱點的解決方案,。

　　· Verisium WaveMiner：應(yīng)用強大的人工智能引擎來分析多個運行案例的波形，揭示最有可能導(dǎo)致測試失敗的信號和時間點,。

　　· Verisium PinDown：與 Cadence JedAI Platform 及業(yè)界標準修訂管理系統(tǒng)進行集成,，建立源代碼變更、測試報告和日志文件的機器學(xué)習(xí)模型,，預(yù)測哪些源代碼簽入（check-in）最有可能引起故障的發(fā)生。

　　· Verisium Debug：提供從 IP 到 SoC，從單運行（single-run）到多運行（Multi-run）的整體調(diào)試解決方案,。支持波形,、電路圖、驅(qū)動跟蹤和 SmartLog 技術(shù)上的快速,、完整的互動式和后處理式調(diào)試流程,。Verisium Debug 與 Cadence JedAI Platform 及其它 Verisium 應(yīng)用程序原生集成，支持同時自動比較通過和失敗的測試用例,，來實現(xiàn) AI-Driven 的溯源分析,。

　　· Verisium Manager：將 Cadence 在 IP 和 SoC 級全流程驗證管理解決方案，包括驗證規(guī)劃,、工作調(diào)度和多引擎覆蓋率,，統(tǒng)統(tǒng)整合到 Cadence JedAI 平臺中，同時還擴展出新的旨在提高計算服務(wù)集群效率的 AI-Driven 測試集優(yōu)化技術(shù),。Verisium Manager 還可直接與其它 Verisium 應(yīng)用程序集成,，通過統(tǒng)一的網(wǎng)頁版管控臺即可交互式部署一個完整的 Verisium 平臺。

　　“人工智能和大數(shù)據(jù)正在改變我們所處的世界,，”Cadence 高級副總裁兼系統(tǒng)與驗證事業(yè)部總經(jīng)理 Paul Cunningham 表示,，“為了實現(xiàn)我們核心 EDA 業(yè)務(wù)這種轉(zhuǎn)變，我們必須開發(fā)新的技術(shù),，優(yōu)化驗證過程的多運行和多引擎技術(shù),。通過 Verisium 平臺，我們邁入了基于 Cadence JedAI Platform 的 AI-Driven 驗證新時代,。我們的旅程才剛剛開始,，但用戶已經(jīng)看到，使用 Verisium 平臺可以顯著提升驗證產(chǎn)能和效率,?！?/p>

　　Verisium AI-Driven 驗證平臺是 Cadence 驗證全流程的一部分，此外還包括 Palladium? Z2 硬件仿真,、Protium? X2 原型驗證,、Xcelium? 軟件仿真、Jasper? 形式驗證平臺以及 Helium? Virtual and Hybrid Studio,。Cadence 驗證全流程提供了最高的驗證吞吐量,，在有限的時間內(nèi)盡可能發(fā)現(xiàn)更多的 bug 和實現(xiàn)更多的溯源分析，讓項目各方面的投資都做到物盡其用,。Verisium 平臺和驗證全流程支持 Cadence 智能系統(tǒng)設(shè)計（Intelligent System Design?）戰(zhàn)略,，助力實現(xiàn) SoC 卓越設(shè)計。欲了解更多信息,，請訪問 http://www.cadence.com/go/Verisium,。

　　客戶評價：

　　“為了滿足我們的客戶日益增長的性能需求,，聯(lián)發(fā)科的創(chuàng)新型移動 SoC、智能家居,、互聯(lián)和物聯(lián)網(wǎng)產(chǎn)品的規(guī)模性和復(fù)雜性持續(xù)增長,。因此，功能驗證已經(jīng)成為項目進度中的一個關(guān)鍵瓶頸,，我們與 Cadence 一樣,，對改變驗證生產(chǎn)力的新一代 AI-Driven 的多運行技術(shù)充滿期待。與 Cadence 的緊密合作證實了 Verisium 平臺在自動查找錯誤根源方面表現(xiàn)突出,，我們正在 IP 和 SoC 驗證團隊中擴大這一工具的部署規(guī)模,。”

　　--- ChinhTran,，聯(lián)發(fā)科硅產(chǎn)品開發(fā)部副總經(jīng)理

　　“隨著 SoC 的復(fù)雜性不斷增加,，SoC 級驗證是確保按時流片的一個關(guān)鍵步驟。我們看到人工智能和大數(shù)據(jù)在大幅提高設(shè)計和驗證效率方面具有巨大的潛力,。我們正在與 Cadence 密切合作,，在移動 SoC 設(shè)計中部署 Verisium 平臺。事實證明,，該平臺在對錯誤根源進行自動分類和分析上表現(xiàn)非常出色,。”

　　--- S. Brian Choi,，三星電子副總裁

　　“為了應(yīng)對 IP 和 SoC 設(shè)計復(fù)雜性的快速增長,，驗證一直是 STM32 微控制器面臨的主要挑戰(zhàn)。Cadence 的數(shù)據(jù)驅(qū)動功能驗證平臺和利用人工智能技術(shù)的應(yīng)用程序表現(xiàn)出色,，是解決這一挑戰(zhàn)的不二之選,。ST 和 Cadence 基于一致的愿景展開緊密合作，在 ST 部署了多個 Verisium 應(yīng)用程序,。結(jié)果證明,，利用 Verisium AutoTriage、SemanticDiff 和 WaveMiner,，功能驗證的效率得到了顯著提升,。使用 Verisium 應(yīng)用程序和 Cadence JedAI Platform，我們希望快速達到 IP 和 SoC 設(shè)計錯誤分類和定位的顯著提升,?！?/p>

　　--- Mirella Negro Marcigaglia，STMicroelectronics 公司 STM32 數(shù)字驗證經(jīng)理

　更多信息可以來這里獲取==>>電子技術(shù)應(yīng)用-AET<<