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倍的加速。