Cadence CONFORMAL是一款形式验证驱动的等效、低功耗和ECO解决方案,使用可为用户提供独立的等效性检查解决方案,支持从RTL到P&R的最终网表验证设计。除了标准的等效性检查外,Conformal解决方案提供丰富的功能,随着设计不断变得更加复杂,以满足对功率、性能、面积和上市时间的严格要求,设计的形式验证仍然是确保芯片成功的主要和必须具备的签核指标。包含低功耗设计的静态验证解决方案,包括低功耗等效性检查。自动化ECO生成功能,可实现最小的网表更改和更快的流片。时钟域交叉和SDC验证解决方案的约束设计器。