小服AI 25.1 版本发布
Cadence 于 2025 年发布 CONFORMAL 25.1，作为数字 IC 设计流程中逻辑等价验证（LEC）与形式验证的核心工具更新。同期，Cadence 正式推出 Conformal AI Studio，一套集成了 AI 驱动的等价验证、自动化 ECO 和低功耗静态签核产品的新一代解决方案。Conformal AI Studio 结合人工智能与机器学习技术，直接面向现代 SoC 团队日益增长的验证效率需求，已被联发科、瑞萨电子等领先芯片厂商采用。
版本背景与配套关系
Cadence CONFORMAL 是业界领先的逻辑等价性检查和形式验证工具，长期用于验证 Cadence 与第三方数字设计工具的正确性，是 ASIC 与复杂 FPGA 项目流片确认流程中的关键环节。25.1 版本延续 Cadence 数字设计与签核工具线的年度版本节奏，与 Genus 综合、Innovus 实现等工具配合，可显著提升全流程效率。2025 年 10 月，Cadence 通过官方渠道介绍了随 Conformal 25.1 推出的 Conformal AI Studio，将其作为该产品线面向 AI 时代验证需求的重要演进。
核心能力
Cadence CONFORMAL 25.1 与 Conformal AI Studio 的核心能力包括：
- 大容量逻辑等价验证：可对 RTL 与门级网表、门级与门级、门级与晶体管级设计进行等价比较，借助高级形式化算法处理数百万门规模的设计，应对综合与布局布线引入的时钟门控、扫描插入、电源门控等复杂优化；
- 全面的约束与设置处理：准确建模设计运行环境，智能处理多周期路径、假路径与 case analysis，使验证与综合、时序分析在相同条件下进行；
- Conformal AI Equivalence：支持分布式布尔逻辑等价性检查、AI 仪表板和 ML 驱动的证明引擎，通过 ML 驱动的 abort 解决方案处理复杂 LEC 难题；
- Conformal AI ECO：自动生成掩模前后的功能 ECO，基于 RTL 级信息与布尔 Smart Cut 优化算法创建高质量、可实施的补丁，早期合作伙伴运行时间缩短达 10 倍、补丁体积缩小 10 倍；
- Conformal AI Low Power：使用分布式与层次化流程验证复杂 SoC 的低功耗电路结构是否符合功耗意图，并支持两个设计的低功耗比较，快速电源状态表分析引擎在运行时间和内存方面实现百倍级提升。
应用价值
随着 SoC 设计复杂度不断提升，形式等效性检查面临更大挑战。Cadence CONFORMAL 通过数学上穷尽的验证取代基于仿真的采样，确保逻辑综合产生的门级网表或物理实现后的网表正确实现原始 RTL 设计意图，是流片信心的必要条件。Conformal AI Studio 进一步引入 AI/ML 技术，据联发科反馈，其使用 Conformal AI ECO 流程相较以往方案使战术 ECO 补丁体积缩小 83%、运行时间缩短近一半，并借助 Conformal AI Low Power 的快速电源状态表分析实现了百倍以上的性能提升。这类创新有助于缩短验证周期、提升全流程 PPA 表现。
升级建议
正在使用 Cadence CONFORMAL 进行逻辑等价验证的数字 IC 设计团队，可考虑升级至 25.1 并评估 Conformal AI Studio，以借助 AI 驱动的 LEC、ECO 与低功耗签核能力提升验证效率。具体的许可方式、升级路径、版本差异说明与技术支持，可向软服之家咨询，由专业顾问结合当前使用环境提供建议。
