2023 年 6 月 2 日—3 日,Cadence 受邀出席了第七屆集微半導(dǎo)體峰會。在首日舉辦的 EDA IP 工業(yè)軟件峰會中,Cadence 高級 AE 經(jīng)理王正算作為代表向與會嘉賓介紹了 Cadence 在面對 SoC 設(shè)計驗證挑戰(zhàn)下的應(yīng)對之法。
隨著 SoC 設(shè)計的發(fā)展,如何在有限的時間內(nèi)盡可能發(fā)現(xiàn)更多的 bug 和實現(xiàn)更多的溯源分析,讓項目各方面的投資都做到物盡其用,這是驗證工作所面臨的新挑戰(zhàn)。

Cadence 高級 AE 經(jīng)理
王正算
王正算指出,當(dāng)前的 SoC 設(shè)計驗證挑戰(zhàn)主要來自幾個方面。首先,SoC 包含了數(shù)百個 IP,結(jié)構(gòu)非常復(fù)雜;其次,每個 IP 又在處于不停的變化、演進(jìn)中;第三,SoC 級別的測試每周都會出現(xiàn)多個失敗案例;最后,確定故障的根本原因需要數(shù)十名工程師和數(shù)周的時間。
面對這些挑戰(zhàn),Cadence 推出了以 AI 技術(shù)驅(qū)動的 Verisium 平臺,通過大數(shù)據(jù)和 JedAI 平臺來優(yōu)化驗證負(fù)荷、提高覆蓋率并加速 bug 溯源。
Verisium 平臺包括了三大板塊,最基礎(chǔ)的是 Verisium Manager,其將 Cadence 在 IP 和 SoC 級全流程驗證管理解決方案,包括驗證規(guī)劃、工作調(diào)度和多引擎覆蓋率,統(tǒng)統(tǒng)整合到 Cadence JedAI 平臺中,同時還擴展出新的旨在提高計算服務(wù)集群效率的 AI-Driven 測試集優(yōu)化技術(shù)。并且,其可以與 Cadence 現(xiàn)有的五大驗證工具(包括 Jasper、Palladium)等完美融合。

中間部分是 SemanticDiff、PinDown、WaveMiner 和 AutoTriage,為負(fù)責(zé)具體功能的 4 大智能 APP。
最頂端的則是 Debug,提供從 IP 到 SoC,從單運行(single-run)到多運行(Multi-run)的整體調(diào)試解決方案。支持波形、電路圖、驅(qū)動跟蹤和 SmartLog 技術(shù)上的快速、完整的互動式和后處理式調(diào)試流程。Debug 可與 JedAI 平臺及其它 Verisium 應(yīng)用程序原生集成,支持同時自動比較通過和失敗的測試用例,來實現(xiàn) AI 驅(qū)動的溯源分析。
王正算表示,AutoTriage 等 4 大 APP 可以單獨使用,也可以配合一起在整個流程中使用。
他詳細(xì)介紹了這 4 大 APP 的功能。首先是 AutoTriage,其可以使用機器學(xué)習(xí)的方法自動化進(jìn)行故障分析和分類,識別任何與運行屬性相關(guān)的模式,使預(yù)測準(zhǔn)確率達(dá)到 95% 以上。
接下來是 PinDown,其可以預(yù)測每個設(shè)計修訂的風(fēng)險級別。通過與 JedAI 平臺及業(yè)界標(biāo)準(zhǔn)修訂管理系統(tǒng)進(jìn)行集成,PinDown 建立源代碼變更、測試報告和日志文件的機器學(xué)習(xí)模型,預(yù)測哪些源代碼簽入最有可能引起故障的發(fā)生。
SemanticDiff 則可以識別并對比兩個 RTL 版本之間的變化,并進(jìn)行排名。其通過算法對 IP 或 SoC 的多版源碼變更進(jìn)行比較及分類,并依據(jù)其對系統(tǒng)行為的干擾程度進(jìn)行排序,來幫助定位潛在 bug 熱點的解決方案。
最后是 WaveMiner,其應(yīng)用強大的人工智能引擎分析來自多次運行的波形,并確定在哪些時間點上,哪些信號最有可能代表測試失敗的根本原因。
王正算表示,Verisium 平臺可匯集所有波形、覆蓋率、報告和日志文件等驗證數(shù)據(jù),以此為基礎(chǔ)來建立機器學(xué)習(xí)模型和發(fā)掘更多特定指標(biāo),進(jìn)而將其應(yīng)用于全新系列工具上,從而極大地提高驗證工作效率。
面對愈發(fā)復(fù)雜的 SoC 所帶來的設(shè)計驗證挑戰(zhàn),Cadence 將 AI 注入 EDA 工具,能夠幫助用戶極大程度地提高驗證工作效率,縮短驗證時間。
關(guān)于 Cadence
Cadence 是電子系統(tǒng)設(shè)計領(lǐng)域的關(guān)鍵領(lǐng)導(dǎo)者,擁有超過 30 年的計算軟件專業(yè)積累。基于公司的智能系統(tǒng)設(shè)計戰(zhàn)略,Cadence 致力于提供軟件、硬件和 IP 產(chǎn)品,助力電子設(shè)計概念成為現(xiàn)實。Cadence 的客戶遍布全球,皆為最具創(chuàng)新能力的企業(yè),他們向超大規(guī)模計算、5G 通訊、汽車、移動設(shè)備、航空、消費電子、工業(yè)和醫(yī)療等最具活力的應(yīng)用市場交付從芯片、電路板到完整系統(tǒng)的卓越電子產(chǎn)品。Cadence 已連續(xù)九年名列美國財富雜志評選的 100 家最適合工作的公司。如需了解更多信息,請訪問公司網(wǎng)站www.cadence.com。
2023 Cadence Design Systems, Inc. 版權(quán)所有。在全球范圍保留所有權(quán)利。Cadence、Cadence 徽標(biāo)和 www.cadence.com/go/trademarks 中列出的其他 Cadence 標(biāo)志均為 Cadence Design Systems, Inc. 的商標(biāo)或注冊商標(biāo)。所有其他標(biāo)識均為其各自所有者的資產(chǎn)。
-
Cadence
+關(guān)注
關(guān)注
65文章
953瀏覽量
143629
原文標(biāo)題:Cadence:以 AI 技術(shù)驅(qū)動數(shù)字驗證的變革
文章出處:【微信號:gh_fca7f1c2678a,微信公眾號:Cadence楷登】歡迎添加關(guān)注!文章轉(zhuǎn)載請注明出處。
發(fā)布評論請先 登錄
芯華章以AI+EDA重塑芯片驗證效率

航天宏圖以AI技術(shù)推動智慧水利發(fā)展
AI驅(qū)動半導(dǎo)體與系統(tǒng)設(shè)計 Cadence開啟設(shè)計智能化新時代

Cadence 利用 NVIDIA Grace Blackwell 加速AI驅(qū)動的工程設(shè)計和科學(xué)應(yīng)用
Cadence顛覆AI數(shù)據(jù)中心設(shè)計
Cadence推出Conformal AI Studio
AI賦能邊緣網(wǎng)關(guān):開啟智能時代的新藍(lán)海
Cadence宣布收購Secure-IC
AI主導(dǎo)下科技領(lǐng)域的蓬勃發(fā)展與變革
Cadence推出新一代驗證系統(tǒng)
Cadence助力AI驅(qū)動設(shè)計和工程突破
Cadence如何應(yīng)對AI芯片設(shè)計挑戰(zhàn)
高通以移動數(shù)字技術(shù)驅(qū)動數(shù)字服務(wù)貿(mào)易新發(fā)展
可驗證AI開啟EDA新時代,引領(lǐng)半導(dǎo)體產(chǎn)業(yè)變革

評論