UPF中Level Shifter与Isolation配置实战

1. 从低功耗需求到UPF落地先搞清楚我们到底在解决什么问题低功耗设计早就不只是电池供电设备的专属话题了。数据中心一颗CPU的功耗墙、手机SoC的待机电流、甚至一颗工业MCU在传感器节点上的寿命表现全都绕不开功耗。我有段时间在调一颗STM32L151C8T6A这类基于Cortex-M3的MCU做低功耗设计那个阶段天天跟待机电流较劲从软件上的WFI指令到硬件上的电源域划分都捋了一遍。后来转到数字IC前端做SoC集成发现芯片级的低功耗手段虽然更复杂但底层的思路和MCU低功耗设计完全一脉相承都是要让不需要工作的模块彻底断电需要工作的模块用尽量低的电压跑在掉电和上电的过程中不能让电路出现未知状态。UPFUnified Power Format就是这个思路在芯片设计流程里的标准表达方式。它用一套统一的语言描述每个模块属于哪个电源域、什么时候掉电、掉电后怎么隔离、跨电压域的信号怎么转换让前端RTL设计、验证、综合、后端物理实现和功耗分析全流程都能遵循同一套低功耗意图。这里面的两个关键角色就是Level Shifter电平转换单元和Isolation Cell隔离单元。很多刚接触UPF的朋友工具报错之后对着UPF文件一头雾水说到底就是没搞明白这两个单元到底在解决什么物理问题和逻辑问题。这篇文章就把这两个核心配置掰开揉碎讲清楚。整套低功耗流程的出发点是这样一句话电压域之间不能随便直接连信号。CPU核心电压0.8VIO域1.8V两个域之间的信号如果直接互连0.8V的高电平在1.8V的接收端看起来可能连阈值都过不去逻辑直接乱套。而一个已经掉电的模块如果还在往外输出信号这个悬空的信号会把还在工作模块的输入节点锁死在一个不定态导致漏电大增甚至逻辑错误。Level Shifter解决前者Isolation解决后者。这两类单元配置错了轻则仿真冒X态重则芯片回来直接不工作而且这类问题往往要到很晚才能暴露定位成本极高。这篇文章面向的是数字IC前端设计、验证、综合和物理实现的工程师也适合刚接触低功耗设计的在校学生。我会从UPF的核心概念讲起重点拆解set_level_shifter和set_isolation这两条命令的使用策略、参数选择和典型坑点最后给出一个完整的UPF配置示例和常见问题排查清单。内容基于我实际项目中的经验总结其中工具命令以主流UPF工具链为参考具体版本差异请以你手头的工具手册为准。2. UPF的核心机制电源域、供电网络和状态描述2.1 电源域Power Domain到底在划分什么理解UPF的第一步不是看命令而是理解电源域这个概念。一个芯片在物理上可能有多个供电电压有的模块接0.8V有的接1.1V有的接1.8V还有的模块在特定场景下可以完全断电。UPF里的create_power_domain命令就是把RTL的层次结构按供电关系分组告诉工具这些模块是一个独立的供电单元它们的电压可以单独控制。这里有个常见的误区电源域划分不等于物理上的电压岛规划。前端UPF阶段划分电源域是描述设计意图物理实现阶段工具会决定怎么摆floorplan、怎么放电源网络。但前提是UPF里的划分必须真实反映设计的供电结构否则后端工具会按照错误的信息做电源规划轻则浪费面积重则生产出有功能缺陷的芯片。电源域的划分粒度需要权衡。划得太细每个域都得配隔离单元和电平转换单元面积和功耗开销大而且控制逻辑复杂度直线上升。划得太粗掉电灵活性差待机电流降不下去。一般以功能模块为基本单位比如一个CPU子系统、一个GPU、一个音频DSP、一个外设域各自独立成域。同一个域内如果有多种供电电压还需要在域内定义不同的供电集Supply Set来区分。以我之前做过的一个多域SoC为例核心逻辑域VDD_CPU跑0.8VDDR接口域VDD_IO跑1.8V还有一个常开域VDD_ALWAYS_ON跑1.0V负责唤醒管理。这三个域的供电关系在UPF里要逐层描述清楚后面所有Isolation和Level Shifter配置都基于这个供电结构展开。这颗芯片当时有个特别奇葩的失效问题DDR接口在低温下偶发读错误查了大半个月最后定位到是Level Shifter的库单元选错了电压阈值导致低温下输出驱动能力不足。所以UPF配置不是写完就完事每个参数的背后都需要用工艺和库的知识去校验。2.2 Supply Set与Power State Table把供电关系变成工具认识的语言创建了电源域之后下一步是描述每个域用什么样的电压供电以及这些电压在不同工作模式下怎么变化。create_supply_port创建端口create_supply_net创建供电网络create_supply_set把端口和网络打包成一个供电集。一个电源域可以关联多个供电集比如正常运行时用0.8V休眠时用0.6V的保留电压。这里补充一个基础概念很多新手会把supply net当成RTL里的信号线来理解其实完全不是一码事。supply net描述的是物理电源网络的逻辑视图它对应的是芯片上实际走的VDD/VSS金属层RTL里的普通信号靠它供电但它在UPF里不是普通信号。理解这一点对后面的isolation control信号配置很重要。Power State TablePST则是把这些供电状态串起来描述整个芯片有哪些合法的供电组合。PST里每行是一个状态列出各个supply set在这个状态下的电压值或状态名。工具在做静态检查的时候会参考PST来判断某个Level Shifter或Isolation插入是否合法、某个关断域的低功耗信号比如关断控制信号是否真的在掉电期间有效。PST的写法在不同工具里大同小异核心是状态名和对应电压值。这里有一个值得养成的习惯upf文件的PST状态命名最好和验证环境里的power_state_test用例一一对应这样在跑低功耗仿真的时候可以快速交叉排查。我第一次写PST就是因为状态名对不上仿真用例提示unknown power state定位了很久才发现是拼写问题。UPF工具对这类拼写错误往往不会第一时间报错而是会在仿真的时候用不可预测的方式体现出来非常隐蔽。2.3 为什么Level Shifter和Isolation是UPF配置里最容易被忽视的难点在UPF的所有对象里Power Domain和Supply Set属于描述性信息工具拿到之后知道芯片长什么样。但Level Shifter和Isolation属于结构性和行为性信息它们直接决定工具要在网表里插入什么物理单元、用什么控制信号、在什么条件下有效。这两类单元一旦配置不当芯片在正常工作模式下可能一切正常但一旦进入低功耗模式就立刻出问题。而且这类问题有个共同点在功能仿真阶段不一定会暴露。因为很多低功耗仿真的testbench默认所有电压域都上电Level Shifter和Isolation的失效场景只在掉电这个动作发生时才会触发。你需要专门构造掉电和恢复的用例去触发这些路径。如果你在项目里看到有人抱怨低功耗仿真跑了N遍没发现问题流片回来一堆bug多半是低功耗验证用例的覆盖率没做够掉电时序和恢复时序压根没测到。所以后面几节我会把Level Shifter和Isolation分别展开从物理需求讲到UPF命令再讲到检查方法。这两个搞明白了UPF配置的基本功就算扎实了一大半。3. Level Shifter的精准配置电压域之间的桥梁配置错一步整个逻辑全乱3.1 什么时候必须插Level Shifter什么时候可以不插要搞清楚Level Shifter的配置策略先要明白它的物理本质。CMOS电路在某个电源电压下工作输入信号的高电平阈值一般是电源电压的某个比例库里通常定义为VIL/VIH或者signal swing的约束。当驱动模块电压低、接收模块电压高的时候驱动端最高输出电平可能低于接收端的高电平阈值逻辑高被当成逻辑低或者不定态。反过来驱动端电压高于接收端电压时过高的输入电平可能损坏接收端晶体管。所以凡是跨电压域的信号都得检查是否需要电平转换。这里有个关键点不是所有跨电压域信号都需要插Level Shifter。以下几种情况可以不用插驱动端和接收端电压相同或者接收端能容忍驱动端的电压摆幅。这个要查库里的电压容限参数。信号方向和电压关系是高到低并且接收端库单元支持过压输入有些IO单元本身能承受更高的输入电压。信号本身是静态电平比如测试模式配置信号在电压转换期间不关心其具体状态靠Isolation保护就够。判断信号是否需要Level Shifter在UPF里可以依赖工具自动分析也可以手动指定set_level_shifter的domain范围。我的经验是自动分析加手动补强。先让工具根据supply set的电压关系自动推断然后重点检查跨域信号名单确认每个跨域信号都走对了转换路径避免因为交叉电压关系太复杂导致工具漏插。3.2 set_level_shifter命令的核心参数与配置策略UPF里配置Level Shifter的核心命令是set_level_shifter。给它指定源域和目标域工具就会在边界上自动插入合适的电平转换单元。命令的关键参数包括applies_to、threshold、input、output、internal以及force_on等。applies_to参数指定这条约束对哪些信号生效可选值一般是input和output分别表示对进入目标域的信号还是离开目标域的信号插入电平转换。这里有个常见的坑每个方向都只能有一个set_level_shifter约束如果重复设置工具会报错或行为不可预期。所以比较好的做法是在每个电源域上只定义一个整体策略细化的例外信号用exclude/dont_use之类的属性去排除。threshold参数定义了电平转换的触发阈值。工具根据supply set规定的标称电压和这个阈值判断如果源域电压和目标域电压之间的差异超过阈值才插入Level Shifter。threshold的单位和电压写法在标准UPF里是number具体要看工具支持什么格式。曾经碰到一个项目工程师把所有跨域信号都设置了threshold导致工具在每个跨域信号上都插了Level Shifter面积浪费了5%左右。问题在于这些信号里有一大批是同电压域的跨域信号完全没必要转换。所以threshold的设置依赖于PST中的电压值准确如果PST里的电压标称值写错了threshold检查就是空谈。Level Shifter的插入方向也要注意。input策略是在目标域边界插入output策略是在源域边界插入。物理实现上Level Shifter必须放置在目标域的供电网络上对input策略而言否则它自己都没有正确的电源供给逻辑功能无从谈起。这个约束在物理实现阶段尤其重要floorplan的时候要给这些Level Shifter留好位置否则布局布线工具会绕很远的路去接电源时序slam很严重。3.3 Level Shifter功能模式和时序特性的选择Level Shifter在物理实现上有几种不同的功能模式。最简单的是一路电平转换复杂一点的是带enable端的Level Shifter可以在输出端关闭相当于把Level Shifter和输出隔离的功能合到一起。还有一种常见的库单元是带钳制功能的Level Shifter掉电时输出端被钳制到指定电平这个实际上就是Level Shifter和Isolation的合并解决方案。因为实现方式的多样性工具在自动插入时需要考虑可用库单元的类型。我强烈建议在UPF里用set_level_shifter的libcell_type参数指定期望的库单元而不是完全让工具自动选。自动选可能会选到某个面积很大但速度特别快的单元在很多对面积敏感的模块里不划算或者选到不带使能端的单元后面想加控制逻辑就很痛苦。时序上需要特别留意的是Level Shifter的延迟。电平转换单元的延迟通常比普通buffer大不少而且随着电压差增大延迟也会增大。在跨时钟域路径上这个延迟可能让本来满足的setup/hold变得不满足。所以Level Shifter的配置必须和后端时序收敛配合起来一个建议是在UPF阶段就标注好哪些跨域路径是时序关键路径让工具优先使用低延迟的Level Shifter单元。还有一个很多人会忽略的点Level Shifter最好不要放在时钟网络上除非库里有专门的高速时钟电平转换单元。普通的数据电平转换单元在时钟路径上会引入很大的skew对时钟树综合是灾难。如果你在UPF里设置了时钟域的Level Shifter一定要在综合时检查时钟树报告确认插入的是时钟专用转换单元否则我建议直接用set_clock_gating_check或者CTS的exclusive pin去约束。4. Isolation的精准配置掉电域如何不干扰上电域才是低功耗设计真正见功底的地方4.1 掉电域的输出为什么会是灾难Isolation单元怎么解决当一个电源域掉电后域里的寄存器、组合逻辑全部失去供电所有输出引脚的电平变成不确定的。问题来了这些不确定的输出如果直接连到还在工作的电源域接收端的输入可能被锁定在一个中间电平附近导致接收端CMOS门里的PMOS和NMOS同时导通形成从VDD到VSS的贯通电流这个电流比正常动态功耗大好几个数量级整个低功耗设计的省电目标直接泡汤。更麻烦的是这种不定态可能沿着逻辑链传播污染其他模块的状态。Isolation Cell就是加在掉电域输出边界上的一个逻辑门它在掉电期间把输出钳制到某个固定电平防止不定态传播出去。固定电平的选择取决于接收端需要什么逻辑状态大部分情况钳到0用与门实现有的情况需要钳到1用或门实现还有接收端有内部上拉的场景需要钳到1才不会引起额外漏电。4.2 set_isolation命令的必选参数、可选参数与配置策略UPF里配置Isolation的命令是set_isolation核心参数包括applies_to、isolation_signal、isolation_sense、clamp_value和location。applies_to和Level Shifter一样设置约束是应用于进入域的信号还是离开域的信号。通常作为输出端的Isolation配置在domain的输出但有些设计也会在输入边界做隔离防止掉电域作为接收端时被外部不定态干扰。这种情况较少见一般出现在多电源域双向通信的场景里。isolation_signal指定隔离控制信号通常连接到电源管理控制器的某个输出低功耗状态时拉高或拉低让Isolation生效。isolation_sense指定有效电平是high还是lowclamp_value指定钳制值。这里有几个容易被搞错的点isolation_sense和clamp_value是两个独立的概念。sense决定控制信号在哪个电平时激活隔离clamp决定激活后输出钳到0还是1。有些新手会把它们搞混比如想让输出钳到1就在isolation_sense里写high结果发现控制信号有效电平和钳制值都变了逻辑完全不对。控制信号所在的电源域要保证在掉电期间始终有电。一般是从always-on域来的信号否则掉电域都没电了隔离控制信号也没了Isolation Cell本身都不工作。这是UPF工具静态检查的重点项之一。控制信号路径上的延迟要和掉电时序配合好。如果Isolation的生效晚于掉电电源下降中间会有一段窗口期掉电域输出已经不定态但Isolation还没生效接收端就会被污染。这个检查通常在低功耗仿真里做用assertion盯住isolation_signal相对于power_down信号的时间关系。4.3 Isolation风格选择从RTL到物理单元的映射Isolation在物理实现上有几种映射风格。常见的包括组合逻辑型AND/OR门面积小延迟稍大适合非时序关键路径上的隔离。带输出使能的锁存型可以保持输出状态不变适合需要保持特定逻辑值的场合代价是面积和功耗更大。钳制型clamp cell输出直接接到VDD或VSS复位值固定速度最快、面积最小但无法保持动态输出。选择哪种风格取决于掉电后接收端对该信号的期待。如果接收端在掉电期间根本不在乎这个信号是什么值组合AND/OR就够了。如果接收端需要一个特定的状态来维持安全比如总线仲裁信号需要保持在IDLE态用锁存型或者钳制型更稳妥。UPF里通过set_isolation的libcell_type参数可以指定使用哪种库单元类型。工具库命名每个厂家的风格都不太一样有的叫ISO_AND有的叫ISOLATION_XH建议拿到库之后先看一遍文档把isolaton cell的库名整理个清单再决定怎么映射。还有一个经验不要把Isolation Cell藏在模块内部最好是放到电源域边界上靠近输出端口的位置。这样工具在物理实现时更容易处理而且时序更容易收敛。如果Isolation Cell放得太深不仅物理位置不理想等效的负载电容可能也会更大让时序更紧张。4.4 Isolation使能时序assert和deassert的先后顺序逻辑Isolation使能时序是整个低功耗控制逻辑里最容易出事的地方。掉电流程的常规操作顺序是先让Isolation生效assert再让电源管理控制器发出掉电请求等电压确实掉下去之后掉电域的输出被隔离在安全电平上。上电流程反过来先恢复电源稳定再解除Isolationdeassert让掉电域输出重新有效。这个顺序一旦错了比如先断电后隔离或者先解除隔离后上电都会在掉电或上电瞬间产生毛刺或不定态。在UPF配置里工具并不会自动帮你检查这个时序顺序它只是根据你给的isolation_signal的polarity和clamp_value插入单元。真正检查时序义务的是验证团队用UPF断言或者SystemVerilog Assertions盯住掉电和上电序列。我建议在UPF里把isolation的control signal统一命名成有明确含义的名字比如iso_cpu_wen其中wen表示write enableactive low这样验证环境可以直接基于这个信号名断言时序不容易出错。这个顺序为什么这么重要举个例子你就明白了CPU域掉电时如果CPU域的总线主接口没有隔离总线上的地址和数据在电源降低的过程中会随机抖动可能让总线从设备误收到一个伪写请求把关键寄存器改写掉。这种事在低功耗芯片里不是没发生过——我看到过一颗测试芯片因为隔离时序晚了一个时钟周期掉电瞬间把Flash里某个配置字给冲掉了后来得靠硬件写保护才能防住。所以Isolation不只是为了省电它还承担着安全功能。5. 实操演练一个双电压域SoC的完整UPF配置示例5.1 设计拓扑与供电结构定义为了把前面的理论落到实际命令上我们用一个典型双电源域SoC做示例。设计包含一个常开控制域PD_ALWAYS_ON1.0V一个可关断的应用处理器域PD_CPU0.8V还有一个IO域PD_IO1.8V作为对外接口。PD_CPU是唯一的关断域PD_ALWAYS_ON始终上电PD_IO也保持上电IO接口不能被断电否则芯片没法响应外部事件。完整UPF文件的结构大部分设计团队会按模块拆分管理但下面这个简化版足以说明Level Shifter和Isolation的配置思路load_upf create_power_domain PD_ALWAYS_ON -include_scope create_power_domain PD_CPU create_power_domain PD_IO create_supply_port VDD_ALWAYS_ON create_supply_port VDD_CPU create_supply_port VDD_IO create_supply_port VSS create_supply_net VDD_ALWAYS_ON_NET -domain PD_ALWAYS_ON -reuse create_supply_net VDD_CPU_NET -domain PD_CPU -reuse create_supply_net VDD_IO_NET -domain PD_IO -reuse create_supply_net VSS_NET -domain PD_ALWAYS_ON -reuse create_supply_set ALWAYS_ON_SS -function {power VDD_ALWAYS_ON_NET} -function {ground VSS_NET} create_supply_set CPU_SS -function {power VDD_CPU_NET} -function {ground VSS_NET} create_supply_set IO_SS -function {power VDD_IO_NET} -function {ground VSS_NET} associate_supply_set ALWAYS_ON_SS -handle PD_ALWAYS_ON.primary associate_supply_set CPU_SS -handle PD_CPU.primary associate_supply_set IO_SS -handle PD_IO.primary set_domain_supply_net PD_ALWAYS_ON -primary_power_net VDD_ALWAYS_ON_NET -primary_ground_net VSS_NET set_domain_supply_net PD_CPU -primary_power_net VDD_CPU_NET -primary_ground_net VSS_NET set_domain_supply_net PD_IO -primary_power_net VDD_IO_NET -primary_ground_net VSS_NET这个基础结构里我把三个域的supply set都关联上了。PD_ALWAYS_ON使用VDD_ALWAYS_ON供电PD_CPU使用VDD_CPU供电PD_IO使用VDD_IO供电。每个域都定义了独立的电源网络和接地网络。5.2 Level Shifter配置命令示例接下来给PD_CPU定义Level Shifter策略。PD_CPU是唯一会掉电的域它对外接口和PD_ALWAYS_ON、PD_IO都有跨电压域通信所以进出两个方向都要配Level Shifterset_level_shifter -domain PD_CPU -applies_to output -threshold 0.2 -libcell_type LS_LOW2HIGH set_level_shifter -domain PD_CPU -applies_to input -threshold 0.2 -libcell_type LS_HIGH2LOW set_level_shifter -domain PD_IO -applies_to input -threshold 0.2 -libcell_type LS_HIGH2LOWthreshold设为0.2V意味着只要源域和目标域电压差异超过200mV就插入电平转换。PD_CPU和PD_ALWAYS_ON之间电压差是0.2V1.0-0.8处于阈值临界点工具一般不插。PD_CPU和PD_IO之间电压差是1.0V必须插入Level Shifter指定的库单元分别是LS_LOW2HIGH和LS_HIGH2LOW。PD_ALWAYS_ON和PD_IO之间电压差是0.8V也需要转换这里通过PD_IO的input策略覆盖。这里有个容易搞混的点PD_CPU的output Level Shifter从CPU到外部的信号要插在PD_CPU边界而PD_IO的input Level Shifter从外部进入IO的信号同样要插在PD_IO边界这两个方向在物理上可能是同一根信号线的两端但UPF策略上是分开的。工具会自动协调不会重复插入前提是你不要在同一个supply_set上同时设置过多交叉规则。5.3 Isolation配置命令示例隔离配置集中在掉电域PD_CPU的输出端口上。每个输出需要一个隔离控制信号这里统一用PD_ALWAYS_ON域里的iso_cpu_en信号控制set_isolation PD_CPU_ISO \ -domain PD_CPU \ -isolation_signal PD_ALWAYS_ON/iso_cpu_en \ -isolation_sense high \ -clamp_value 0 \ -applies_to output \ -location self set_isolation_control PD_CPU_ISO -domain PD_CPU -isolation_signal PD_ALWAYS_ON/iso_cpu_en -isolation_sense high这里把isolation_sense设为high意味着iso_cpu_en为高电平时隔离生效clamp_value为0表示掉电期间CPU域输出钳到0。PD_CPU输出大多是总线信号总线在空闲时通常本身就是0电平这个配置和接收端的总线协议匹配。如果某个特殊输出比如ARM内核的sleep信号在掉电后需要保持为高就得单独对这条信号设置clamp_value 1的隔离不能一股脑全复用一个策略。isolation的location参数是另一个值得细说的点。UPF标准里location可能的值包括self在domain边界内部、fanout在接收端附近、parent等。不同的选择影响Isolation Cell的物理位置和power intent检查的方式。一般推荐用self或parent因为工具更容易实现电源连接。如果用fanoutIsolation Cell的供电网络归属会变复杂容易踩坑。5.4 Power State Table与UPF文件组织的实战心得PST描述整个芯片的供电状态组合这个示例设计可以定义三个状态正常全速所有域上电、CPU休眠CPU域断电其他域上电、深睡眠CPU和IO都断电仅常开域上电。PST里每个状态都要列出每个supply set的电压值。add_power_state normal -supply {ALWAYS_ON_SS {0} CPU_SS {0} IO_SS {0}} -simstate normal add_power_state cpu_sleep -supply {ALWAYS_ON_SS {0} CPU_SS {off} IO_SS {0}} -simstate normal add_power_state deep_sleep -supply {ALWAYS_ON_SS {0} CPU_SS {off} IO_SS {off}} -simstate normal这里ALWAYS_ON_SS供电0表示1.0Vrelative shutdown的写法各工具不太一样有的用电压值有的用状态名CPU_SS电压off表示电压关断。不同EDA工具对off状态的表示方法有差异有的要求写成0.0有的要求写成off建议参考你所用工具的低功耗命令手册规范。PST的simstate参数用于仿真时的行为建模它可以告诉仿真器在这个power state下某些supply set的默认行为是什么。这里提个建议simstate的枚举值normal、corrupt、internal_power等直接影响了低功耗仿真里的X态行为一定要根据设计实际情况填写。如果你不确定用哪个宁可用normal也不用不填。UPF文件组织上我的建议是基础供电结构create_power_domain、supply_port/net、supply_set集中在最顶层UPF。各子模块的isolation和level shifter策略按模块拆分方便维护和复用。PST单独放一个文件因为验证环境经常要引用PST来做power state测试。所有UPF文件用版本管理工具管起来注释写清楚每次改了哪个域的供电策略、为什么改。6. 常见问题与排查技巧掉电域那些翻车现场的实录6.1 Level Shifter相关重复插入、漏插、物理位置错乱Level Shifter相关的问题在综合和仿真阶段都容易出现我把实际项目中见过的问题列一个速查表现象可能原因排查方法两个同电压域之间插了Level Shifterthreshold设置过低或applies_to方向配置错误检查PST电压值确认跨域信号清单排除不该转换的信号跨压域信号没有插Level Shiftercross-supply关系未声明或信号在某条路径上被视为静态检查UPF中的supply set关联用工具报告列出所有跨域信号和插转换情况仿真中电平转换路径出现X态Level Shifter单元没有正确连接电源或掉了电的Level Shifter没有置于常开域检查Level Shifter的电源连接确认其所在供电域在掉电期间仍有电时序报告里Level Shifter延迟异常大选用了不合适的高速/低速单元或物理位置离源端太远检查libcell_type选择floorplan阶段给Level Shifter预留位置有一个特别隐蔽的Level Shifter问题带输出使能的Level Shifter在掉电时输出端需要接一个确定的电平否则它自己就会变成X态传播源。这类单元如果有isolate功能需要在UPF里同时配置isolation策略否则工具不会主动把使能端接到隔离控制信号上。6.2 Isolation相关控制信号掉电、钳制值选错、时序错误Isolation的控制信号本身必须来自不掉电的域这一条虽然UPF工具会检查但检查的是控制信号的supply set是否always on它不一定能发现控制信号逻辑上其实是掉电域派生的信号。比如iso_cpu_en来自PD_ALWAYS_ON的寄存器输出但寄存器的复位信号由PD_CPU产生如果PD_CPU掉电时产生复位释放这个信号链路上已经出现了X态。这种逻辑依赖关系UPF查不出来最好在验证阶段用断言覆盖。现象可能原因排查方法掉电后接收端仍有不定态Isolation生效晚于掉电或根本没插Isolation检查isolation_signal的assert相对掉电请求的时序检查set_isolation的domain覆盖范围掉电后输出被钳到错误电平clamp_value选错或接收端协议需要保持高电平但被钳到0用总线协议文档比对隔离电平要求逐信号制定clamp策略Isolation控制信号在掉电后失效控制信号来自掉电域或信号路径上有掉电域的逻辑用UPF静态检查工具查找control signal是否受掉电域影响必要时改为使用always-on域硬连线信号上电后功能不对deassert时序太早输出毛刺未被隔离完全屏蔽检查deassert相对power stable的时序确保信号稳定后再解开隔离6.3 UPF文件解析错误和工具报告的阅读理解工具解析UPF报错的场景极大一部分和命令的作用域范围有关。比如set_isolation作用的domain的scope没有正确声明工具可能找不到对应的信号实例。另外就是create_power_domain的scope问题默认scope是当前hierarchy level如果你在某个子模块里创建了电源域但没指定include_scope那么这个域只覆盖该模块的当前层级不覆盖子模块内部的层次后续应用isolation或level shifter约束时作用范围会对不上。关于UPF工具报告我的经验是不要只看最后的错误行要把前面的warning也当成疑点逐个排查。很多UPF工具在检查到supply set电压不匹配时会打warning而不是error这时候如果忽略后面插入的Isolation和Level Shifter可能基于错误电压关系完全走错方向。还有一个常常让人抓狂的问题UPF文件的执行顺序。UPF本质上是逐行解释执行的脚本语言set_level_shifter引用的domain必须先createcreate_supply_set引用的net必须先create。有些工具支持forward reference但依赖工具版本保险起见还是严格按照依赖顺序组织文件。我见过一个项目一个UPF文件里供电路径定义了三次文件名还没统一到最后整个后端流程跑挂了查了三天发现是文件中supply_net连接重复定义了两次不同处的power switch控制写反了。6.4 低功耗仿真的验证要点使用断言早期抓捕时序问题UPF配置在RTL仿真阶段主要影响的是X态的传播。掉电域掉电后相关寄存器输出变为X仿真环境里到处是红叉叉但这并不意味着UPF配置一定有问题也可能是仿真环境没有正确处理低功耗行为。要区分这两者我的经验是用UPF工具生成的power intent报告去确认Isolation和Level Shifter的插入位置和覆盖范围。在仿真波形里检查掉电域输出在隔离生效后确实是钳制值而不是一直X。用SVA断言专门检查掉电时序isolation_signal必须在power_down有效之前变为有效power_down释放后且电源稳定之前解除隔离。这类断言听起来简单但写起来需要和验证环境里的power sequence逻辑密切配合。我建议做低功耗验证时至少建三组断言一组检查隔离相对掉电的先后一组检查掉电域输出在隔离窗口期的电平值一组检查供电状态在PST中合法。三组断言都过了Isolation的时序配置才算基本可信。7. 低功耗设计流程里Level Shifter与Isolation之外的那些事7.1 Retention Cell的选择和应用场景Isolation解决了掉电后输出不定态的问题但如果掉电域里有寄存器需要在唤醒后恢复之前的值单靠Isolation不够还得用Retention Cell保持寄存器。这类单元在正常工作时就是一个普通寄存器在掉电前会把数据锁存到内部的一个小容量存储节点上这个节点由常开电源供电掉电后数据不丢。唤醒后从保持状态恢复寄存器回到掉电前的值。在UPF里配置Retention Cell用set_retention命令指定要保留的寄存器列表和retention控制信号、有效电平。要注意的点是并不是所有寄存器都需要retention也不需要把整个CPU域所有寄存器都做retention那样面积代价太高。通常只保留关键的配置寄存器、中断状态寄存器和唤醒逻辑需要的状态。retention cell数量每增加10%对应域的面积可能增加3%-5%所以retention方案要结合软件流程系统权衡。7.2 Power Switch Cell在关断流程中的角色Power Switch是真正断开物理电源的单元。UPF里的create_power_switch命令定义了一个switch cell的开关行为当控制信号有效时switch把电源从供电网络切到掉电域的电源网络上。Power Switch的配置和Level Shifter、Isolation有很大关系掉电域的电源真正消失需要一定时间这段时间里Isolation必须已经生效。另外Power Switch自身的控制信号也必须从always-on域来否则开关自己都可能没电。有些设计会漏配Power Switch以为UPF里创建了supply set就能自动实现掉电。这是误解create_supply_port和create_supply_set只是描述供电关系真正的物理关断是Power Switch和库里对应开关单元完成的。没有Power Switch掉电域的VDD始终是通的所谓掉电只是仿真中看不到特定状态变化而已。7.3 静态检查工具如何帮忙以及为什么不能全信工具现在主流的UPF流程都配有静态检查工具可以检查电源域划分的完整性、supply net连接的一致性、isolation和level shifter的覆盖范围、power switch的合法性等问题。这类工具提供的信息很有价值在综合前和后端实现后各跑一次能堵住一大半低功耗设计中的低级错误。但这类工具也有盲区。它们主要做结构性和规则性检查比如所有跨域信号都有电平转换所有掉电域输出都有隔离但对隔离控制信号的逻辑来源是否真的安全这类语义问题检测能力有限。所以工具检查通过只是底线真正的低功耗验证还得靠功能仿真和FPGA原型里的低功耗模式测试来兜底。8. 最后分享一点我个人的实际操作体会做低功耗设计这几年踩过不少坑也总结了一些优先级比较高的经验。第一个是UPF文件里每一条策略背后都要能说出物理和逻辑层面的理由不要为了消warning而添参数。第二个是Level Shifter和Isolation的配置要特别关注库单元的可用性先确认库里有哪些可用的标准单元再写UPF的libcell_type不匹配的话工具会切到默认行为很多保护性的策略就会失效。第三个是低功耗验证不是后端工程师一个人的活前端设计、验证、后端、物理实现多方要尽早对齐UPF里的电源域划分、隔离策略、复位关系和时序要求越晚发现越难改。这个主题后面可以扩展的内容其实很多比如UPF在时钟域交叉里的配合、多电压域下的复位树设计、UPF版本演进带来的新特性比如UPF 3.1对动态电压频率缩放的支持。不过万变不离其宗先把Level Shifter和Isolation这两个最基本的功夫练扎实后续再复杂的设计也都是在这个基础上叠加更多层次的供电管理策略。希望这篇实战笔记能帮你少走一些弯路也欢迎你在实际项目中遇到具体问题时一起交流。