- **always-on**：永远不会关闭的单元、电路或电源域的特性。例如，用于隔离或保持的逻辑单元是一个始终开启的单元。 - **bubble register**：保留寄存器内部部分，即使在断电期间也始终供电并保持数据，由高阈值晶体管构成以最小化泄漏电流。也称为阴影寄存器。 - **clock gating**：通过关闭未使用电路的时钟来减少功耗的方法。 - **coars

使用Formality进行形式验证 Formality支持具有低功耗特性的功能等效性检查，如时钟门控、多阈值电压(multiple-Vt)、多电压供电、电源门控以及动态电压和频率缩放。Formality能够识别低功耗单元，例如隔离单元、电平转换器、始终开启单元、保持寄存器和电源门。 Formality支持使用UPF对低功耗设计数据进行验证，如图71所示。 图71 带UPF的等价性检查

使用IC Compiler进行设计规划（Floorplan） 可以使用IC Compiler物理实现工具进行平面物理设计的规划。这包括基本的floorplan能力，例如设计初始化、电源规划以及标准单元和宏单元的快速放置。 多电压设计的设计规划涉及一些额外的考虑。多电压设计中的主要floorplan规划任务是创建电压区域、多供电网路布线、插入多阈值CMOS（MTCMOS）电源开关单元以及分析供电