Cadence推出Conformal AI Studio

新一代套件包括 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 问题解决。”