新一代套件包括 AI 驅(qū)動的等價驗證、ECO 自動化和低功耗靜態(tài)簽核產(chǎn)品

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

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

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

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

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

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

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

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

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

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

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

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

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