Cadence CONFORMAL

产品定位

Cadence CONFORMAL 是一套以形式验证为核心的等效性检查、低功耗与 ECO 解决方案，为芯片设计提供独立的等效性检查能力，支持从 RTL 到布局布线（P&R）最终网表的全流程设计验证。

核心能力

除标准等效性检查外，CONFORMAL 还提供丰富的功能，满足设计日益复杂背景下对功耗、性能、面积和上市时间的严格要求。随着设计复杂度提升，形式验证已成为确保芯片成功的关键签核指标之一。该方案还包含面向低功耗设计的静态验证解决方案，帮助设计团队在早期发现并处理功耗相关问题。

主要特点

• 独立等效性检查：提供独立的等效性检查解决方案，不依赖其他验证流程。
• 全流程覆盖：支持从 RTL 到 P&R 最终网表的完整设计验证。
• 低功耗验证：包含低功耗设计的静态验证解决方案。
• ECO 支持：支持工程变更单（ECO）场景下的验证。

工作流程

在数字芯片设计流程中，设计团队在综合、布局布线等关键节点运行 CONFORMAL 进行等效性检查，比对前后版本设计是否功能一致；在 ECO 修改后再次验证，确保修改未引入功能偏差，同时通过低功耗静态验证检查设计中的功耗相关问题。

应用场景

CONFORMAL 适用于需要严格等效性签核的数字芯片设计流程，包括 RTL 综合前后比对、网表优化验证、ECO 修改验证以及低功耗设计检查等环节，是芯片设计签核流程中的重要组成部分。

适用场景

该工具适用于数字芯片设计流程中需要严格功能签核的环节，帮助设计团队在综合、布局布线及 ECO 修改后确认设计功能的一致性，降低流片风险。