模块说明
在开发过程中,低功耗设计在最终布局之前经历了多次迭代,这个过程中的每一步都有可能引入逻辑错误。Conformal Low Power在这些不同阶段检查低功耗设计的不同版本的功能等效性,并使您能够在错误出现后立即识别和纠正它们。例如,它根据经过验证的黄金(RTL)及其相关的功率意图验证后综合网表和实例化的功率意图。它支持高级动态和静态电源综合优化,例如时钟门控和信号门控、多Vt库以及时钟树综合和优化期间门控时钟的去克隆和重新克隆。
Conformal Low Power支持通用电源格式(CPF)规范语言。它使用CPF作为指导,独立建模实现如何将低功耗单元(电平转换器、隔离和状态保持寄存器)插入和连接到RTL设计中,从而实现从RTL到门级的真正低功耗等效检查。Conformal Low Power还可以在等效检查期间将电平转换器和隔离单元建模为域锚点,以检测逻辑门是否错误地跨越了从一个版本的网表到另一个版本的域边界。Conformal Low Power也支持其他功率意图标准。