电源格式标准与UPF文件结构：核心概念、原理机制、实战要点
问题背景：为什么需要 UPF？
在低功耗芯片设计中，RTL/网表只描述逻辑功能，无法表达“哪个模块在什么条件下断电、电压是多少、何时需要隔离”等电源管理意图。UPF（Unified Power Format，IEEE 1801 标准）应运而生，它用统一的文本格式描述电源域、供电网络、电源状态、隔离与保持策略，是低功耗设计与形式化验证的“电源契约”。
核心认知：UPF 不是设计代码，而是电源意图的“标注层”。形式化验证工具将 UPF 与网表绑定后，才能证明低功耗逻辑是否被正确实现。
核心概念
- UPF：IEEE 1801 标准，低功耗电源意图的标准化描述语言。
- 电源域（Power Domain）：由同一供电策略控制的一组逻辑单元集合。
- 供电网络（Supply Network）：供电端口（Supply Port）、供电集（Supply Set）、供电网（Supply Net）之间的电气连接关系。
- 电源状态（Power State）：不同电源域在工作/睡眠/关断模式下的电压与开关状态组合。
- 隔离策略（Isolation Strategy）：电源关断域与常开域之间信号的钳位规则，防止浮空输入。
- 保持策略（Retention Strategy）：电源关断时，关键寄存器通过保持单元（Retention Cell）保存现场数据的机制。