新一代套件包括 AI 驅動的等價驗證、ECO 自動化和低功耗靜態簽核產品

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

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

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

Conformal AI Studio 創新技術涵蓋三種核心產品：

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

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

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

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

“聯發科打造了業界領先的 SoC，涵蓋廣泛的應用領域。我們的設計團隊需要創新的 EDA 工具，以更快、更輕松、更可靠地提升 PPA。在執行后期階段功能 ECO 時，這一挑戰尤為突出。”聯發科硅產品開發副總經理 CW Ko 解釋道。“在試用 Cadence Conformal AI Studio 期間，我們取得了顯著成果。相較以往的解決方案，全新的 Conformal AI ECO 流程使戰術 ECO 補丁體積縮小了 83%，運行時間縮短了近一半。此外，聯發科還部署了 Conformal AI Low Power 的快速電源狀態表分析增強功能，在運行時間和內存方面實現了超過 100 倍的提升。目前，我們也開始采用 Conformal AI Studio 最新推出的 ML 驅動型 LEC 中止解決方案。”

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

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

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

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