隨著 SoC 設(shè)計(jì)日益復(fù)雜，形式等效性檢查面臨更大挑戰(zhàn)。為此，Cadence 推出了 Conformal AI Studio——一套全新的邏輯等效性檢查（LEC）、自動(dòng)化ECO（Conformal ECO）和低功耗靜態(tài)簽核解決方案。

Conformal AI Studio 結(jié)合人工智能和機(jī)器學(xué)習(xí)（AI/ML）技術(shù)，可直接滿足現(xiàn)代 SoC 團(tuán)隊(duì)日益增長(zhǎng)的生產(chǎn)力需求。其核心引擎經(jīng)加速優(yōu)化，包括分布式低功耗引擎（支持對(duì)擁有數(shù)十億實(shí)例的設(shè)計(jì)進(jìn)行全芯片功耗簽核）、全新算法創(chuàng)新以及面向 LEC 和 ECO 解決方案的簡(jiǎn)化設(shè)置和 AI 賦能流程。

借助 Conformal AI Studio 的 ML 驅(qū)動(dòng)的abort解決方案，能夠解決高級(jí)用戶當(dāng)前面臨的較為復(fù)雜 LEC 問(wèn)題。Conformal AI Studio 通過(guò)優(yōu)化最先進(jìn)的實(shí)施工具，將設(shè)計(jì)效率提升 10 倍，ECO 補(bǔ)丁體積縮小 10 倍，處理速度加快 10 倍，并實(shí)現(xiàn)最佳的全流程功率、性能和面積（PPA）。

Conformal AI Studio 創(chuàng)新技術(shù)涵蓋三種核心產(chǎn)品：

●   Conformal AI Equivalence——支持分布式布爾邏輯等效性檢查、AI 儀表板和 ML 驅(qū)動(dòng)的證明引擎。

●   Conformal AI ECO——自動(dòng)生成掩膜前后的功能 ECO，創(chuàng)建高質(zhì)量、高效且可實(shí)施的補(bǔ)丁，確保進(jìn)度的可預(yù)測(cè)性。

●   Conformal AI Low Power——使用分布式與層次化流程驗(yàn)證復(fù)雜 SoC 中的低功耗電路結(jié)構(gòu)是否符合設(shè)計(jì)的功耗意圖，并執(zhí)行高效的兩個(gè)設(shè)計(jì)的低功耗比較。

率先采用 Conformal AI Studio 的客戶表示，該解決方案在基礎(chǔ)設(shè)施 AI、超大規(guī)模計(jì)算和移動(dòng)市場(chǎng)的先進(jìn) SoC 中展現(xiàn)出顯著優(yōu)勢(shì)。

“聯(lián)發(fā)科打造了業(yè)界領(lǐng)先的 SoC，涵蓋廣泛的應(yīng)用領(lǐng)域。我們的設(shè)計(jì)團(tuán)隊(duì)需要?jiǎng)?chuàng)新的 EDA 工具，以更快、更輕松、更可靠地提升 PPA。在執(zhí)行后期階段功能 ECO 時(shí)，這一挑戰(zhàn)尤為突出?！甭?lián)發(fā)科硅產(chǎn)品開(kāi)發(fā)副總經(jīng)理 CW Ko 解釋道?！霸谠囉?Cadence Conformal AI Studio 期間，我們?nèi)〉昧孙@著成果。相較以往的解決方案，全新的 Conformal AI ECO 流程使戰(zhàn)術(shù) ECO 補(bǔ)丁體積縮小了 83%，運(yùn)行時(shí)間縮短了近一半。此外，聯(lián)發(fā)科還部署了 Conformal AI Low Power 的快速電源狀態(tài)表分析增強(qiáng)功能，在運(yùn)行時(shí)間和內(nèi)存方面實(shí)現(xiàn)了超過(guò) 100 倍的提升。目前，我們也開(kāi)始采用 Conformal AI Studio 最新推出的 ML 驅(qū)動(dòng)型 LEC 中止解決方案?！?/p>

Conformal AI ECO 引入全新 Smart ECO 流程，使早期合作伙伴的運(yùn)行時(shí)間縮短達(dá) 10 倍，補(bǔ)丁體積縮小 10 倍。這種創(chuàng)新方法利用 RTL 級(jí)信息和全新的布爾“Smart Cut”優(yōu)化算法來(lái)管理具有多層次結(jié)構(gòu)和高級(jí)數(shù)據(jù)路徑的設(shè)計(jì)。此外，AI 驅(qū)動(dòng)的 ECO 補(bǔ)丁方案選擇還簡(jiǎn)化了功能 ECO 的實(shí)施，同時(shí)提升了實(shí)施效率。

“瑞薩一直在積極測(cè)試 Cadence 的新一代 Conformal AI Studio，其結(jié)果非常振奮人心。得益于一系列全新 Smart ECO 技術(shù)，我們的自動(dòng)化功能 ECO 流程的運(yùn)行時(shí)間縮短了 50% 以上，同時(shí)保持甚至提高了補(bǔ)丁質(zhì)量；在一項(xiàng)關(guān)鍵 ECO 任務(wù)中，運(yùn)行時(shí)間甚至縮短了 90%?！比鹚_電子數(shù)字設(shè)計(jì)和驗(yàn)證總監(jiān) Peter Bell 表示?！斑@些創(chuàng)新大大簡(jiǎn)化了設(shè)置過(guò)程，使更多初級(jí)工程師能夠高效地部署解決方案。我們的團(tuán)隊(duì)早早采用了 Conformal AI Studio 的 Cadence JedAI 儀表板，并堅(jiān)信其跨項(xiàng)目見(jiàn)解將幫助設(shè)計(jì)人員和管理人員更高效地跟蹤其 LEC 任務(wù)，以及整個(gè)項(xiàng)目過(guò)程中的自動(dòng)化 ECO 運(yùn)行情況?！?/p>

盡管 Cadence 致力于確保 Conformal 工具始終與實(shí)現(xiàn)無(wú)關(guān)，但在與 Cadence 數(shù)字設(shè)計(jì)和簽核工具配合使用時(shí)，可大幅提升流程效率。Genus Synthesis Solution、Joules RTL Power Solution 和 Innovus Implementation System 加上與 Cadence JedAI Solution 和 Cadence Cerebrus Intelligent Chip Explorer 的集成，不僅能夠有效降低功耗，還可進(jìn)一步提升性能。

“幾十年來(lái)，Conformal 技術(shù)始終是市場(chǎng)上最值得信賴的流程無(wú)關(guān) LEC 解決方案，可確保實(shí)施工具在不引入硅錯(cuò)誤的前提下完成驗(yàn)證工作。然而，設(shè)計(jì)挑戰(zhàn)日益復(fù)雜，而 SoC 流片周期卻在縮短?！盋adence 高級(jí)副總裁兼數(shù)字和簽核事業(yè)部總經(jīng)理 Chin-Chi Teng 表示?！叭碌?Conformal AI Studio 應(yīng)運(yùn)而生。新一代完全分布式和多線程核心引擎能夠處理當(dāng)今最復(fù)雜的設(shè)計(jì)，并支持領(lǐng)先的序列優(yōu)化驗(yàn)證技術(shù)，有助提升 PPA。與 Cadence JedAI 大數(shù)據(jù)平臺(tái)和 ML 驅(qū)動(dòng)的 Cadence Cerebrus 集成，Conformal AI Studio 可幫助客戶將運(yùn)行時(shí)間縮短 5-10 倍，以便在邏輯等效性、ECO 補(bǔ)丁優(yōu)化以及 SoC 級(jí)低功耗靜態(tài)簽核和調(diào)試期間實(shí)現(xiàn)abort問(wèn)題解決。”