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

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

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

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

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

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

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

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

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

“聯(lián)發(fā)科打造了業(yè)界領先的 SoC，涵蓋廣泛的應用領域。我們的設計團隊需要創(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)術 ECO 補丁體積縮小了 83%，運行時間縮短了近一半。此外，聯(lián)發(fā)科還部署了 Conformal AI Low Power 的快速電源狀態(tài)表分析增強功能，在運行時間和內(nèi)存方面實現(xiàn)了超過 100 倍的提升。目前，我們也開始采用 Conformal AI Studio 最新推出的 ML 驅(qū)動型 LEC 中止解決方案。”

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

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

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

“幾十年來，Conformal 技術始終是市場上最值得信賴的流程無關 LEC 解決方案，可確保實施工具在不引入硅錯誤的前提下完成驗證工作。然而，設計挑戰(zhàn)日益復雜，而 SoC 流片周期卻在縮短。”Cadence 高級副總裁兼數(shù)字和簽核事業(yè)部總經(jīng)理 Chin-Chi Teng 表示?！叭碌?Conformal AI Studio 應運而生。新一代完全分布式和多線程核心引擎能夠處理當今最復雜的設計，并支持領先的序列優(yōu)化驗證技術，有助提升 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 問題解決?！?/p>