Cadence推出Conformal AI Studio　加速SoC設計人員工作效率

Cadence宣布推出Conformal AI Studio，一款包含全新邏輯等效驗證（LEC）、自動化功能工程變更單（ECO）及低功耗靜態簽核產品的解決方案，以因應日益增加的SoC設計複雜性對形式等效驗證的影響。

Conformal AI Studio搭配人工智慧和機器學習 （AI/ML） ，可滿足現代晶片設計團隊日益成長的生產力需求。該產品透過核心引擎加速來實現，包括以多工式低功耗引擎實現數十億個實例的全晶片功耗簽核設計、全新演算法創新，以及簡化設定和支援 AI驅動流程的LEC和ECO解決方案。

Conformal AI Studio以ML驅動的abort解決方案解決了使用者所面臨最複雜的LEC問題。 該產品可將設計人員的工作效率提高多達10倍，並將ECO縮小並加快10倍，並透過支援最先進的設計實現工具最佳化，來完成最佳的全流程功耗、效能和面積。

Conformal AI Studio的創新展現在其三款核心產品：Conformal AI Equivalence – 支援多工布林邏輯等效驗證、AI儀表板和ML驅動的驗證引擎。Conformal AI ECO – 自動化產生pre-mask和post-mask功能性 ECO，創建高品質、高效且可設計實現的修補方案，確保進度的可預測性。

Conformal AI Low Power – 使用多工和分層流程驗證複雜SoC中的低功耗電路結構是否符合設計的功耗意圖，並有效率的執行的兩個低功耗設計之間的相互比對驗證。

聯發科技晶片產品開發部副總經理柯智偉表示，聯發科技打造業界領先且廣泛應用的SoC系統單晶片，因而需要能以更快速、簡便且可靠方式來優化功耗、效能和面積（PPA）的EDA工具，這在執行後期Functional ECO時尤具挑戰。

在試用Cadence Conformal AI Studio的過程中取得非常顯著的進步成果，相較於之前的解決方案，使用新的Conformal AI ECO流程，能夠以一半的執行時間縮小83%的策略性ECO修補面積。

聯發科技也採用Conformal AI Low Power的快速功率狀態表分析引擎，讓系統執行時間和記憶體使用的效率均進步百倍之多。此外，也導入Conformal AI Studio全新的ML驅動LEC abort解決方案。

Conformal AI ECO中的全新Smart ECO流程為早期合作夥伴提供高達10倍的運行時間和修補程式大小。這種創新方法針對具有多層次結構和高階資料路徑的設計型態，在RTL階段使用新的最佳化布林「智慧切割」演算法。AI驅動的ECO修補策略選擇也使得功能性ECO的實現變得簡單且有效率。

瑞薩電子數位設計和驗證總監Peter Bell表示，瑞薩一直在積極測試Cadence的新一代Conformal AI Studio，其結果非常振奮人心，該系列全新的Smart ECO技術將瑞薩的自動化功能ECO流程運行時間加快超過50%，同時保持或提高修補程式品質。

另一項關鍵的ECO縮小了90%，這些創新極大地簡化設定過程，讓更多資淺工程師有效率地部署該解決方案。很早就開始使用Conformal AI Studio的Cadence JedAI功能，並認同其跨專案解析將能幫助設計和管理人員更好地追蹤其LEC工作，乃至整個專案過程中自動化ECO的運行。

Cadence致力於提供Conformal工具與Cadence數位設計和簽核工具的高效整合，包括順序優化的Genus 綜合解決方案、Joules RTL電源解決方案和Innovus設計實現、Cadence JedAI解決方案和Cadence Cerebrus智慧晶片，可降低功耗並增強效能。

Cadence資深副總裁暨數位與簽核事業群總經理滕晉慶（Chin-Chi Teng）表示，數十年來，Conformal 技術一直是市場上最值得信賴且flow-agnostic的LEC解決方案，能確保設計工具完成工作而不帶來矽晶錯誤。然而，設計挑戰的複雜度指數型成長，但SoC的下線進度卻縮短。

全新的Conformal AI Studio應運而生迎擊這些挑戰。新一代的全分散式與多執行緒核心引擎已經準備好應對當今最複雜的設計，並支援驗證改善PPA的尖端序列優化。透過與Cadence JedAI大數據平台以及由ML驅動Cadence Cerebrus的整合，使客戶在邏輯等效檢查中止解決、ECO修補優化，以及SoC級低功耗靜態簽核與除錯方面的運行時間達到5至10倍的加速。