Cadence：以 AI 技術(shù)驅(qū)動(dòng)數(shù)字驗(yàn)證的變革

2023 年 6 月 2 日—3 日，Cadence 受邀出席了第七屆集微半導(dǎo)體峰會(huì)。在首日舉辦的 EDA IP 工業(yè)軟件峰會(huì)中，Cadence 高級(jí) AE 經(jīng)理王正算作為代表向與會(huì)嘉賓介紹了 Cadence 在面對(duì) SoC 設(shè)計(jì)驗(yàn)證挑戰(zhàn)下的應(yīng)對(duì)之法。

隨著 SoC 設(shè)計(jì)的發(fā)展，如何在有限的時(shí)間內(nèi)盡可能發(fā)現(xiàn)更多的 bug 和實(shí)現(xiàn)更多的溯源分析，讓項(xiàng)目各方面的投資都做到物盡其用，這是驗(yàn)證工作所面臨的新挑戰(zhàn)。

Cadence 高級(jí) AE 經(jīng)理

王正算

王正算指出，當(dāng)前的 SoC 設(shè)計(jì)驗(yàn)證挑戰(zhàn)主要來(lái)自幾個(gè)方面。首先，SoC 包含了數(shù)百個(gè) IP，結(jié)構(gòu)非常復(fù)雜；其次，每個(gè) IP 又在處于不停的變化、演進(jìn)中；第三，SoC 級(jí)別的測(cè)試每周都會(huì)出現(xiàn)多個(gè)失敗案例；最后，確定故障的根本原因需要數(shù)十名工程師和數(shù)周的時(shí)間。

面對(duì)這些挑戰(zhàn)，Cadence 推出了以 AI 技術(shù)驅(qū)動(dòng)的 Verisium 平臺(tái)，通過(guò)大數(shù)據(jù)和 JedAI 平臺(tái)來(lái)優(yōu)化驗(yàn)證負(fù)荷、提高覆蓋率并加速 bug 溯源。

Verisium 平臺(tái)包括了三大板塊，最基礎(chǔ)的是 Verisium Manager，其將 Cadence 在 IP 和 SoC 級(jí)全流程驗(yàn)證管理解決方案，包括驗(yàn)證規(guī)劃、工作調(diào)度和多引擎覆蓋率，統(tǒng)統(tǒng)整合到 Cadence JedAI 平臺(tái)中，同時(shí)還擴(kuò)展出新的旨在提高計(jì)算服務(wù)集群效率的 AI-Driven 測(cè)試集優(yōu)化技術(shù)。并且，其可以與 Cadence 現(xiàn)有的五大驗(yàn)證工具（包括 Jasper、Palladium）等完美融合。

中間部分是 SemanticDiff、PinDown、WaveMiner 和 AutoTriage，為負(fù)責(zé)具體功能的 4 大智能 APP。

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

王正算表示，AutoTriage 等 4 大 APP 可以單獨(dú)使用，也可以配合一起在整個(gè)流程中使用。

他詳細(xì)介紹了這 4 大 APP 的功能。首先是 AutoTriage，其可以使用機(jī)器學(xué)習(xí)的方法自動(dòng)化進(jìn)行故障分析和分類(lèi)，識(shí)別任何與運(yùn)行屬性相關(guān)的模式，使預(yù)測(cè)準(zhǔn)確率達(dá)到 95% 以上。

接下來(lái)是 PinDown，其可以預(yù)測(cè)每個(gè)設(shè)計(jì)修訂的風(fēng)險(xiǎn)級(jí)別。通過(guò)與 JedAI 平臺(tái)及業(yè)界標(biāo)準(zhǔn)修訂管理系統(tǒng)進(jìn)行集成，PinDown 建立源代碼變更、測(cè)試報(bào)告和日志文件的機(jī)器學(xué)習(xí)模型，預(yù)測(cè)哪些源代碼簽入最有可能引起故障的發(fā)生。

SemanticDiff 則可以識(shí)別并對(duì)比兩個(gè) RTL 版本之間的變化，并進(jìn)行排名。其通過(guò)算法對(duì) IP 或 SoC 的多版源碼變更進(jìn)行比較及分類(lèi)，并依據(jù)其對(duì)系統(tǒng)行為的干擾程度進(jìn)行排序，來(lái)幫助定位潛在 bug 熱點(diǎn)的解決方案。

最后是 WaveMiner，其應(yīng)用強(qiáng)大的人工智能引擎分析來(lái)自多次運(yùn)行的波形，并確定在哪些時(shí)間點(diǎn)上，哪些信號(hào)最有可能代表測(cè)試失敗的根本原因。

王正算表示，Verisium 平臺(tái)可匯集所有波形、覆蓋率、報(bào)告和日志文件等驗(yàn)證數(shù)據(jù)，以此為基礎(chǔ)來(lái)建立機(jī)器學(xué)習(xí)模型和發(fā)掘更多特定指標(biāo)，進(jìn)而將其應(yīng)用于全新系列工具上，從而極大地提高驗(yàn)證工作效率。

面對(duì)愈發(fā)復(fù)雜的 SoC 所帶來(lái)的設(shè)計(jì)驗(yàn)證挑戰(zhàn)，Cadence 將 AI 注入 EDA 工具，能夠幫助用戶極大程度地提高驗(yàn)證工作效率，縮短驗(yàn)證時(shí)間。

關(guān)于 Cadence

Cadence 是電子系統(tǒng)設(shè)計(jì)領(lǐng)域的關(guān)鍵領(lǐng)導(dǎo)者，擁有超過(guò) 30 年的計(jì)算軟件專(zhuān)業(yè)積累?；?a target="_blank">公司的智能系統(tǒng)設(shè)計(jì)戰(zhàn)略，Cadence 致力于提供軟件、硬件和 IP 產(chǎn)品，助力電子設(shè)計(jì)概念成為現(xiàn)實(shí)。Cadence 的客戶遍布全球，皆為最具創(chuàng)新能力的企業(yè)，他們向超大規(guī)模計(jì)算、5G 通訊、汽車(chē)、移動(dòng)設(shè)備、航空、消費(fèi)電子、工業(yè)和醫(yī)療等最具活力的應(yīng)用市場(chǎng)交付從芯片、電路板到完整系統(tǒng)的卓越電子產(chǎn)品。Cadence 已連續(xù)九年名列美國(guó)財(cái)富雜志評(píng)選的 100 家最適合工作的公司。如需了解更多信息，請(qǐng)?jiān)L問(wèn)公司網(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)或注冊(cè)商標(biāo)。所有其他標(biāo)識(shí)均為其各自所有者的資產(chǎn)。