6.【UPF】UPF Power States（UPF电源状态）

第一步：UPF Power States 分析与知识整理

1. 为什么学习Power States

• 现代SoC工作在多电源模式下：活跃处理、浅睡、深睡、保持模式，每种模式有不同的电压和功耗。
• UPF电源状态形式化了这些工作模式，使工具能够验证状态转换、按状态估算功耗，并确保只达到合法的电源配置。

2. 你将学到什么

• 什么是电源状态，为什么它对电源管理至关重要
• 使用add_power_state定义电源状态
• 区分合法与非法的电源状态组合
• 建模电源转换期间的状态保持需求

3. 理解电源状态

• 定义：电源状态定义了某个供电网络在特定时间点的工作条件。每个电源状态指定：
  • 电压等级（如1.2V, 1.0V, 0.9V）
  • 开/关状态（活跃或禁用）
  • 状态名（ACTIVE, SLEEP, RETENTION）
• 比喻：电源状态是每个供电网络的“工作模式”。处理器有活跃、空闲、睡眠模式，每个供电网络也有其可能的电压/开关状态。
• 重要性：状态感知仿真、功耗估算、合法状态检查、控制逻辑验证。

4.add_power_state语法

• 基本形式：add_power_state supply_net_name -state {state_name voltage_or_status} [options]
• 参数：
  • supply_net_name：被描述的供电网络（必须）
  • -state {name value}：定义一个电源状态（可重复多个）
• 状态值规范：

  类型	语法	示例	含义
  数值	电压（伏特）	1.2, 1.0, 0.9	供电在指定电压
  关键字on	“on”	on	供电活跃（未指定电压）
  关键字off	“off”	off	供电禁用（0V）

• 使用变体：
  1. 常开供电（单状态）：add_power_state VDD_TOP -state {ON 1.2}
  2. 可开关供电（开/关）：add_power_state VDD_CPU -state {ACTIVE 1.0} -state {OFF off}
  3. 多电压供电（DVFS）：add_power_state VDD_GPU -state {HIGH_PERF 1.1} -state {NORMAL 0.9} -state {LOW_POWER 0.7} -state {OFF off}
  4. 保持供电（常开低电压）：add_power_state VDD_RET -state {RETENTION 0.6}

5. 定义常开供电状态

• 常开供电保持恒定电压，永不关闭。
• 示例：add_power_state VDD_TOP -state {ON 1.2}，add_power_state VSS -state {ON 0.0}，add_power_state VDDIO -state {ON 1.8}
• 注意：即使常开供电也应定义状态，为功耗分析和电平转换器插入提供电压信息。

6. 定义可开关供电状态

• 电源门控域可被打开或关闭。
• 示例：CPU供电ACTIVE 1.0和OFF off；GPU供电ACTIVE 0.9和OFF off。
• off关键字表示供电完全禁用（无电压），最低功耗（零漏电），但需要在域边界做隔离处理。

7. 多电压状态（DVFS）

• 动态电压频率缩放根据性能需求使用多个电压等级。
• 示例：CPU的3个电压等级：TURBO(1.2V)、NORMAL(1.0V)、ECO(0.8V)和OFF。
• 每个状态代表不同的性能-功耗平衡点。
• 背景：现代CPU根据工作负载动态调整电压，高强度任务用高电压，后台活动用低电压，可降低50-70%功耗。

8. 保持供电状态

• 保持供电在断电期间以最小电压保持触发器状态。
• 示例：主CPU供电ACTIVE 1.0/OFF off；保持供电VDD_CPU_RET -state {RETENTION 0.6}。
• 睡眠序列：断言保持信号 → 保持单元切换到VDD_CPU_RET → 关断VDD_CPU → VDD_CPU_RET保持状态 → 唤醒时恢复。
• 保持电压通常为0.6-0.8V，需足够高以防数据丢失，足够低以最小化漏电。

9. 合法 vs 非法电源状态

• 并非所有单独供电状态的组合都有效。合法状态是允许的组合；非法状态是禁止的。
• 合法示例表格（原教程）：

  系统模式	VDD_TOP	VDD_CPU	VDD_GPU	有效
  全活跃	ON(1.2)	ACTIVE(1.0)	ACTIVE(0.9)	✓
  GPU空闲	ON(1.2)	ACTIVE(1.0)	OFF	✓
  深睡	ON(1.2)	OFF	OFF	✓

• 非法示例：顶层OFF但CPU活跃（不可能），CPU OFF但GPU活跃（依赖关系非法）。

10. 状态转换期间的保持

• 无保持：从ACTIVE到OFF，所有触发器内容丢失，唤醒需完全重新初始化。
• 有保持：通过保持供电和保持寄存器，实现快速唤醒，无需软件重新初始化。

11. 电源状态依赖关系

• 层次依赖：子域在父域关闭时不能活跃。
• 功能依赖：某些模块依赖其他模块（如GPU依赖CPU控制）。非法：CPU OFF, GPU ACTIVE。
• 这些依赖通过电源状态表（PST，后续模块）强制执行。

12. 完整示例：多域SoC电源状态定义

提供了TOP(1.2V常开)、CPU(可开关+保持)、GPU(DVFS+门控)、I/O(1.8V常开)的完整状态定义，并列举了系统电源模式组合（FULL_ACTIVE, BALANCED, ECO_MODE, DISPLAY_OFF, DEEP_SLEEP）。

13. 常见初学者错误

• 错误1：对不存在的供电网络定义状态 → 先创建supply net。
• 错误2：对电源门控供电使用0.0而不是off→0.0表示活跃0V，off表示完全关闭。
• 错误3：忘记为常开供电定义状态 → 即使固定供电也应定义状态以提供电压信息。

14. 实践练习

要求为移动SoC定义电源状态：VDD_AON(1.2V常开)、VDD_APP(DVFS 1.2/1.0/0.8 + OFF)、VDD_MODEM(1.0/0.9 + OFF)、VDD_MODEM_RET(0.6V常开)、VDDIO(1.8V常开)、VSS。写出add_power_state命令。

15. 总结

• 电源状态定义供电网络的工作条件（电压和开关状态）。
• add_power_state定义状态，支持数值电压和on/off关键字。
• 常开供电单状态，电源门控供电有ACTIVE和OFF。
• DVFS使用多电压状态实现性能-功耗权衡。
• 保持供电以低电压保存状态，实现快速唤醒。
• 并非所有状态组合都合法——需要电源状态表（PST）来形式化有效系统电源模式和依赖关系。

第二步：用费曼学习法学习UPF电源状态

电源状态（Power State）就是芯片的“作息时间表”——告诉每个电源网络什么时候该工作（电压多少），什么时候该睡觉（完全关掉）。作为验证工程师，我要确保这个时间表合理：不能出现“CPU睡了但GPU还醒着依赖CPU”这种矛盾，也不能在休眠时把保持电源也关了导致状态丢失。本文用“家里电器”的比喻，帮你彻底搞懂：什么是电源状态？DVFS怎么玩？保持状态为什么重要？以及如何避免把“off”写成“0.0”这种低级错误。

我们着重讲什么？需要关注什么？为什么这样做？好处？如何学习使用？

着重讲解：

1. 电源状态的核心要素：电压值 + 开/关标识 + 状态名。
2. add_power_state的正确姿势：先有供电网络，再定义状态；常开、可开关、DVFS、保持四种典型用法。
3. offvs0.0：一字之差，天壤之别。
4. 状态依赖和合法性：子不能离父，模块间不能互斥。
5. 保持状态的价值：低电压保状态，快速唤醒。

为什么这样做：没有电源状态定义，工具不知道每个电源域在何种模式下应该是什么电压，无法做功耗分析，也无法验证电源管理控制逻辑是否正确。

好处：

• 仿真器可以模拟电压变化和X传播。
• 功耗分析工具可以按模式估算功耗，算出平均功耗。
• 形式验证可以检查是否永远达不到非法状态。
• 物理设计工具可以优化不同电压下的时序。

如何学习使用：

1. 先画一个简单的状态转换图：常开域永远ON；可关断域有ON和OFF；DVFS域有高、中、低三档。
2. 手写add_power_state命令，对应每个供电网络。
3. 用仿真器跑一个场景：从ACTIVE切到OFF，再切回来，观察保持寄存器的行为。
4. 阅读一个现有UPF文件，分析其电源状态定义是否完整。

下面按知识点展开，每个部分都有通俗解释、代码示例和验证工程师的实战视角。

一、电源状态是什么？用“家电作息”比喻秒懂

通俗解释：你家有很多电器（供电网络），每个电器有不同的“工作状态”：

• 冰箱：24小时常开，电压220V（常开，单一状态）。
• 空调：可以高功率（26°C，高电压），也可以低功率（28°C，低电压），还可以关机（OFF）。这就是DVFS。
• 路由器：晚上关机，但需要保留配置（保持供电，低电压保存状态）。

电源状态就是告诉芯片：“这个电源网络在什么情况下输出多少伏，要不要彻底关断”。

技术定义：add_power_state命令给一个供电网络（supply net）指定一个或多个状态，每个状态有名字和电压/开关值。

原教程关键区分：

• 数值（如1.2）：电源活跃，输出1.2V。
• on：电源活跃，但电压未指定（通常用于无需精确电压的场合）。
• off：电源完全关闭，0V，无供电能力。

验证工程师关注：每个电源网络都必须有状态定义。如果漏掉，功耗分析工具会缺少电压信息，可能假设默认值（如0V），导致错误估算。

二、add_power_state命令的四种典型用法

1. 常开供电（Always-On）

add_power_state VDD_TOP -state {ON 1.2} add_power_state VSS -state {ON 0.0}

为什么只写一个状态？因为常开电源从不改变，定义单一状态就够了。

2. 可开关供电（Power-Gated）

add_power_state VDD_CPU -state {ACTIVE 1.0} -state {OFF off}

注意：这里用了off，不是0.0。off表示开关断开，没有电压输出；0.0表示输出0V但电源仍然开着（像地线），物理意义不同。

3. 多电压供电（DVFS）

add_power_state VDD_GPU \ -state {HIGH_PERF 1.1} \ -state {NORMAL 0.9} \ -state {LOW_POWER 0.7} \ -state {OFF off}

验证任务：确认电压值的顺序合理（高→中→低→off），并且与电压调节器的输出能力匹配。如果HIGH_PERF是1.1V，但工艺库最高只支持1.0V，那就会出问题。

4. 保持供电（Retention）

add_power_state VDD_CPU_RET -state {RETENTION 0.6}

保持供电通常只有一个低电压状态，因为它在断电期间始终输出固定低电压。验证时要检查这个电压是否高于保持触发器的数据保持电压（由库提供）。

三、offvs0.0：一字之差，天壤之别

原教程明确警告：不要用0.0表示断电。

• off：电源门控开关断开，供电网络与电源完全隔离，无能量消耗。
• 0.0：电源仍然连接，但输出电压为0V（类似于短路到地），这会导致大电流和芯片损坏。

错误示例：

# 错误 add_power_state VDD_CPU -state {SLEEP 0.0}

正确示例：

add_power_state VDD_CPU -state {ACTIVE 1.0} -state {SLEEP off}

验证工程师检查：在UPF审查时，用正则表达式搜索0\.0，确保它只出现在VSS等接地网络上，而不是出现在可关断电源的OFF状态。

四、电源状态依赖：子不能离父，模块不能互斥

层次依赖：子域的电源通常来自父域（通过电源开关）。如果父域关闭，子域不可能有电。

• 合法：VDD_TOP=ON, VDD_CPU=ACTIVE
• 非法：VDD_TOP=OFF, VDD_CPU=ACTIVE（CPU不可能比顶层还活跃）

功能依赖：某些模块需要其他模块才能工作。例如GPU需要CPU发送指令，所以GPU活跃时CPU不能关。

• 合法：VDD_CPU=ACTIVE, VDD_GPU=ACTIVE或VDD_CPU=OFF, VDD_GPU=OFF
• 非法：VDD_CPU=OFF, VDD_GPU=ACTIVE

验证如何检查：这些依赖关系在Power State Table（PST）中显式列出。验证工程师要写断言或形式化属性：assert never (VDD_CPU==OFF and VDD_GPU==ACTIVE)。

五、保持状态：低电压保住“记忆”

为什么需要保持状态？完全断电（off）虽然漏电为零，但所有寄存器的值都会丢失。唤醒后需要软件重新初始化，耗时较长。保持状态（retention）给寄存器提供一个低电压（如0.6V），足够保持数据但不驱动逻辑，漏电比全电压小很多，又能快速恢复。

原教程序列：

1. 断言保持信号（retention_save）→ 保留寄存器从主电源切换到保持电源。
2. 关断主电源（VDD_CPU → OFF）。
3. 保持电源（VDD_CPU_RET）维持在RETENTION状态（0.6V）。
4. 唤醒时恢复主电源（VDD_CPU → ACTIVE）。
5. 解除保持信号（retention_restore）→ 寄存器切换回主电源，数据仍在。

验证工程师测试：

• 写一个测试：向保留寄存器写入已知值，进入睡眠，断电，等待一段时间，唤醒，读取寄存器，检查值是否丢失。
• 检查保持电压是否在库指定的范围内（如0.6V ±10%）。

六、完整示例：手机SoC的电源状态定义

原练习要求：为移动SoC定义电源状态，包括VDD_AON(1.2V常开)、VDD_APP(DVFS 1.2/1.0/0.8 + OFF)、VDD_MODEM(1.0/0.9 + OFF)、VDD_MODEM_RET(0.6V常开)、VDDIO(1.8V常开)、VSS。

答案（带注释）：

# 常开主电源 add_power_state VDD_AON -state {ON 1.2} # 应用处理器DVFS add_power_state VDD_APP \ -state {PERF 1.2} \ -state {NORMAL 1.0} \ -state {ECO 0.8} \ -state {OFF off} # 调制解调器主电源（可开关，两档电压） add_power_state VDD_MODEM \ -state {ACTIVE 1.0} \ -state {IDLE 0.9} \ -state {OFF off} # 调制解调器保持电源（常开低电压） add_power_state VDD_MODEM_RET -state {RETENTION 0.6} # I/O电源（常开1.8V） add_power_state VDDIO -state {ON 1.8} # 地（常开0V） add_power_state VSS -state {ON 0.0}

验证检查清单：

• 所有供电网络都覆盖到了吗？（VDD_AON, VDD_APP, VDD_MODEM, VDD_MODEM_RET, VDDIO, VSS）
• 可关断电源是否有off状态？（VDD_APP和VDD_MODEM有OFF）
• DVFS的电压值是否从高到低排列？（1.2→1.0→0.8）
• 保持电压（0.6V）是否小于最低工作电压但大于数据保持电压？（需要查库）

七、常见错误与避坑指南

八、学习路线图

1. 第1天：掌握add_power_state基本语法，为一个简单的两域设计（常开+可关断）写状态定义。
2. 第2天：引入DVFS，为CPU写三档电压状态，并用仿真器观察电压切换。
3. 第3天：学习保持状态，写一个带保持电源的域，验证保留数据。
4. 第4天：结合Power State Table（下一模块），定义系统级电源模式，并写断言检查非法组合。
5. 第5天：分析真实SoC的UPF文件，画出其电源状态转换图。

推荐工具命令：

• 在仿真中，用$display_power_state（取决于工具）打印当前所有供电网络的状态。
• 用check_power_state_consistency验证状态定义与库要求是否匹配。

最终总结：验证工程师的电源状态检查清单

• 每个create_supply_net都有对应的add_power_state（至少一个）。
• 可关断电源都有off状态，且未误用0.0。
• DVFS电源的电压值在工艺库支持的范围内。
• 保持电源的电压值高于库指定的数据保持电压，低于正常工作电压。
• 常开电源（如VDD_AON, VDDIO, VSS）都定义了ON状态。
• 状态名与后续PST中的引用完全一致（大小写敏感）。
• 已编写形式化断言检查状态依赖关系（如CPU OFF时GPU不能ON）。

电源状态是UPF中描述“动态行为”的核心。没有它，电源域和供电网络只是一堆静态连接。有了它，芯片才能真正实现智能功耗管理。