低功耗验证用于确保数字设计在电源被选择性移除、恢复，或处于不同供电条件下时仍然行为正确。传统功能仿真假设供电持续可用，而电源管理系统需要显式建模状态丢失、隔离、保持、电压域跨越和关断行为。这些影响必须被验证，因为即使 RTL 逻辑本身正确，它们也可能改变功能行为。 电源感知仿真会建模电源转换带来的物理后果。当一个电源域被关闭时，非保持状态会被污染，用于表示真实的状态丢失。隔离逻辑将非活动电源域的输出钳位到安全值，防止仍然供电的逻辑接收未知或悬空信号。保持逻辑在关断期间保存选定状态，并在上电过程中恢复。隔离、保存、电源关断、电源恢复、恢复状态和释放隔离的正确时序，对于可预测恢复非常关键。 保持行为取决于底层保持架构。基于边沿和基于电平的 balloon latch 方案使用不同的 save 和 restore 语义，而 master–slave latch retention 依赖保持条件和 always-alive 存储元素。验证必须检查控制极性、时序关系、保持电源可用性、复位交互，以及保持状态是否足以支持电源恢复后的正确重启。 电源意图提供了连接功能设计与电源感知行为的正式描述。IEEE 1801 UPF 定义 power domain、supply set、power mode、isolation strategy、retention strategy、level shifter、power switch 和电源域接口规则。准确的 UPF 规格使工具能够一致解释电源状态，并在仿真、静态检查、实现和等价分析中应用低功耗语义。 低功耗验证包含多类互补检查。电源意图质量检查验证语法、完整性和语义一致性。结构检查确认 isolation cell、retention cell、level shifter 和 power switch 是否正确插入并连接。规则检查验证控制条件、钳位值、电源域跨越和供电关系是否符合预期电源架构。功能检查验证电源转换期间的真实行为。 电源感知等价检查确认 RTL、门级网表和实现网表之间的逻辑功能与电源行为保持一致。它会考虑插入的低功耗单元、电源域边界、保持行为、隔离行为和关断语义。完整的验证策略结合仿真、静态分析、结构验证、功能规则检查和等价检查，从规格定义到实现阶段持续保持电源意图一致。 Catalogue: 功耗作为首要设计约束 低功耗验证的复杂性 低功耗仿真的基础术语 低功耗仿真中的状态丢失 示例: 低功耗仿真中的状态丢失 (一) 示例: 低功耗仿真中的状态丢失 (二) 低功耗仿真中的端口隔离 示例: 低功耗仿真中的端口隔离 低功耗仿真中的状态保持 低功耗仿真的基本原理 基于边沿的气球锁存器电源周期 基于电平的气球锁存器电源周期 主从锁存器电源周期 功耗意图的定义与标准化 功耗域概念与分类 功耗模式的定义与应用 低...