附录B：UPF命令语法
本章介绍了文本中引用的所选UPF命令的语法。
节选自“统一电源格式（UPF）标准，1.0版”，经该Accellera许可复制。版权所有：(c)2006-2007。Accellera不声明或代表摘录材料的准确性或内容，并明确否认任何明示或默示保证。提供了附件标准的摘录“AS IS”。
完整的标准文档可以在www.accellera.org下找到。
（译者：翻译的过程中发现该书在copy IEEE1801的部分UPF命令时出现了一些复制粘贴的混乱，如果对UPF有兴趣建议去IEEE官网下载官方Standard）
B.1 add_pst_state
| 用途 | 为一种可能的设计状态定义每个供电网络的状态 |
| 语法 | add_pst_state state_name -pst table_name -state supply_states |
| 表达式 | state_name 电源状态。 -pst table_name 此状态所应用的电源状态表（PST）。 -state supply_states 供电网络的状态名列表，依照 create_pst 命令中-supplies列写的顺序进行列写。 |
| 返回值 | 成功返回1；失败返回0。 |
add_pst_state命令为一种可能的设计状态定义每个供电网络的状态。
如果supply_state_names的数量与PST中的供电网络数量不同，则会报错。
语法示例：
create_pst pt -supplies { PN1 PN2 SOC/OTC/PN3 }
add_pst_state s1 –pst pt –state { s08 s08 s08 }
add_pst_state s2 –pst pt –state { s08 s08 off }
add_pst_state s3 –pst pt –state { s08 s09 off }B.2 connect_supply_net
| 用途 | 给供电端口或引脚连接一条供电线 |
| 语法 | connect_supply_net net_name [-ports list] [-pins list] [<-cells list |-domain domain_name>] [<-rail_connection rail_type | -pg_type pg_type>]* [-vct vct_name] |
| 表达式 | net_name 供电线状态 -ports list 连接的端口列表 -pins list 连接单元的引脚列表 -cells list 使用-rail_connection或者-pg_type命令的单元的列表 -domain domain_name -rail_connection或者-pg_type命令所需使用的域 -rail_connection rail_type 轨道类型（对于较老的工艺库） -pg_type pg_type 电源/地 引脚类型 -vct vct_name VCT定义如何将值从UPF映射到HDL模型或从HDL模型映射到UPF |
| 返回值 | 如果成功，返回供应网络的完全限定名称；如果不成功，返回0。 |
任何端口、引脚、单元、供电网络或域都是相对于当前UPF范围引用的。
connect_supply_net 命令提供显式连接到任何端口和覆盖（优先级高于）自动连接语义（无显式声明时则会使用自动连接）。在-rail_connection 或者-pg_type选项声明时可能需要-domain或者-cells。
用法：
-ports 连接到电源端口;
-pins 连接到库单元上的引脚；
-cells 连接到特定单元上适当类型（电源或接地）的所有引脚;
-rail_connection 连接到有此（轨道）类型的引脚；仅在-cells 和 -domain选项被声明时使用。
-pg_type 只连接到有这种电源/地类型的引脚（库模型中定义的引脚类型用于决定这种连接）；仅在-cells 和 -domain选项被声明时使用。
-vct 以指示端口所连接的每个HDL端口，如果供电网络状态正在传播到HDL端口中，则应转换供电网络状态，或者如果HDL端口值正在传播到供电网络中，则应对其进行转换。对于电源网络到UPF中定义的引脚或电源端口的任何连接，则会忽略-vct 。
下面这些也适用：
-ports 和 -pins 选项和 -cells，-domain，-rail_connection，-pg_type选项相互排斥；
-rail_connection 和 -pg_type选项相互排斥；
供电网只能连接到与该供电网域（电压域）相同范围内的端口、引脚或单元。
如果以前没有创建net_name，则会报错；在这种情况下，应返回0。
如果此命令中指定的任何设计元素不存在，则为错误。
如果在VCT中指定的值转换与HDL端口的类型不匹配，则为错误。
语法示例：
connect_supply_net v09 -ports {VDD U18/v9 U21/v9}
connect_supply_net pd1_vdd
-ports pll_inst/vdd
-vct upf2vlog_vddB.3 create_power_domain
| 用途 | 为一组设计元素定义配电网 |
| 语法 | create_power_domain domain_name [-elements list] [-include_scope] [-scope instance_name] |
| 表达式 | domain_name 新的电压域；是一个简单的（非层级化的 non-hierarchical）名称。 -elements list 使用电压域中设计单元的列表 -include_scope 将域的范围包含在电压域内 -scope instance_name 在此逻辑层次结构范围内创建电源域。 |
| 返回值 | 返回已创建的域（来自当前作用域）的完全限定名称，如果未创建电源域，则返回空字符串。 |
create_power_domain命令通常为电压域内的设计单元列表定义了电源供电分布网络。一个power_domain就是一个或多个设计单元的逻辑群。一个电源域有一个主电源（power）网和一个主地（ground）网。一个电源域可能还有其他额外的供电网络，供电端口，开关等。
仅当指定了主电源和接地电源网络时，电源域才起作用。
–elements (或者 add_domain_elements 命令)声明包含电压域内的设计单元完整集，即那些实例及其所有子实例（除非另有规定）。
list 是根据当前范围指定的；它不受 -scope 语句的影响。
如果 -include_scope 也声明了，那么域的范围包含在域的界限之内。
当 -elements 和 -include_scope 都不声明，电压域由当前范围以及另一条 create_power_domain 命令未声明的任何子模块（或者单元）组成。
-scope声明了范围，也即实例化的模块，将在这里创建域。scope指的是此条命令的当前范围；它定义了逻辑设计内域的界限。如果 -scope 没有声明，电压域将在当前范围内创建。
语法示例：
create_power_domain PD1 -elements {top/U1}
set_scope /top/U1
create_power_domain PD2B.4 create_power_switch
| 用途 | 定义电压域的开关 |
| 语法 | create_power_switch switch_name -domain domain_name -output_supply_port {port_name supply_net_name} {-input_supply_port {port_name supply_net_name}}* {-control_port {port_name net_name}}* {-on_state {state_name input_supply_port {boolean_function}}}* [-on_partial_state {state_name input_supply_port {boolean_function}}]* [-ack_port {port_name net_name [{boolean_function}]}]* [-ack_delay {port_name delay}]* [-off_state {state_name {boolean_function}}]* [-error_state {state_name {boolean_function}}]* |
| 表达式 | switch_name 将要创建开关的实例化名称；一个简单的名称； -domain domain_name 包含此开关的电压域 -output_supply_port {port_name supply_net_name} 开关的输出供电端口以及此端口连接的供电线 -input_supply_port {port_name supply_net_name} 开关的输入供电端口以及此端口连接的供电线 -control_port {port_name net_name} 开关的控制端口以及此端口连接的线 -on_state {state_name input_supply_port {boolean_function}} 命名的开关开启状态， input_supply_port为已经定义的输入供电端口，以及对应的布尔函数； -on_partial_state {state_name input_supply_port {boolean_function}}命名的开关部分打开状态，input_supply_port为已经定义的输入供电端口，以及对应的布尔函数； -ack_port {port_name net_name [{boolean_function}]} 开关的确认端口，以及与之连接的逻辑线，以及对应的布尔逻辑表达式；如果将空字符串用作-ack_port的net_name，则会定义端口及其布尔表达式，但端口本身未连接。 -ack_delay {port_name delay} 给定ack_port的确认延迟； -off_state {state_name {boolean_function}} 命名的开关关闭状态，以及与之对应的布尔表达式。 -error_state {state_name {boolean_expression}} 命名的开关出错状态，以及与之对应的布尔表达式。 |
| 返回值 | 如果成功则返回所创建开关的全路径名称，否则返回空字符串。 |
create_power_switch 命令定义了电源域中的电源开关的实例。该开关是在电源域的范围内创建的。这个开关不是开启就是关闭。
如果控制端口上的值等于“开启”状态的表达式，则开关打开；这将驱动输出端口进入“打开”状态。如果在输入电源端口上有电压值，则该值将在输出电源端口上被驱动。
如果开关未打开，则关闭，“关闭”状态驱动到输出端口。一些“关闭”状态可以被识别为错误状态。这些错误状态的仿真语义依赖于工具。
如果为-ack_port指定了一个布尔表达式，则控制端口转变（比如有关闭或者打开开关的控制请求）后，等待若干个所声明的延迟时间单位后，boolean_function的结果的驱动至-ack_port的端口名称（port_name）。否则，开关关闭后在port_name延迟若干个时间单位后驱动逻辑1，开关打开后在port_name延迟若干个时间单位后驱动逻辑0。延迟（默认为0）可指定为非单位自然整数或Verilog时间单位。如果指定为自然整数，则时间单位应与仿真的时间精度相同。
任何-ack_port、-on_state、 -error_state的布尔表达式都应为SystemVerilog的布尔表达式。
以下内容也适用。
如果指定的控制端口不存在，则为错误。控制端口的现有连接性不可被修改。
所有不被三个状态（开、关和错误(on, off, and error)）覆盖的状态都是匿名错误状态。
每个状态的名称都应为唯一的名称。
任何相互冲突的状态定义都是错误的。
没有任何综合（synthesis）语义与任何布尔函数相关联，除了被映射的开关必须提供该功能。
语法示例：
create_power_switch sw1
-domain PD_SODIUM
-output_supply_port {vout VN3}
-input_supply_port {vin1 VN1}
-input_supply_port {vin2 VN2}
-control_port {ctrl_small ON1}
-control_port {ctrl_large ON2}
-control_port {ss SUPPLY_SELECT}
-on_state {partial_s1 vin1 {ctrl_small & !ctrl_large & ss}}
-on_state {full_s1 vin1 {ctrl_small & ctrl_large & ss}}
-on_state {partial_s2 vin2 {ctrl_small & !ctrl_large & !ss}}
-on_state {full_s2 vin2 {ctrl_small & ctrl_large & !ss}}
-error_state {no_small {!ctrl_small & ctrl_large}}B.5 create_pst
| 用途 | 创建一个具有特定供电网络顺序的电源状态表 |
| 语法 | create_pst table_name -supplies list |
| 表达式 | table_name 电源状态表名称 -supplies list 包含在设计中电源状态的供电网络和端口列表 |
| 返回值 | 如果创建成功返回电源状态表名称，否则返回空字符串。 |
create_pst 命令创建了一个PST，具有特定供电网络顺序。
电源状态表用于实现（布局布线）——特别是综合、分析和优化。定义了状态的合法组合，也即那些状态的组合在设计运行期间同时存在。
电源状态表没有仿真语义。这个是依赖于工具的，如果非法的（未声明的）状态组合发生，仿真工具可能会报告一个错误。
如果声明的供电网络没有创建则会出错。
语法示例：
create_pst MyPowerStateTable -supplies {PN1 PN2 SOC/OTC/PN3}B.6 create_supply_net
| 用途 | 创建一个电源或者接地供电线 |
| 语法 | create_supply_net net_name -domain domain_name [-reuse] [-resolve <unresolved | one_hot | parallel>] |
| 表达式 | net_name 供电线名称； -domain domain_name 创建的供电线所在的电压域； -reuse 将net_name扩展为一个包含domain_name的供电线。不创建新的网络。 -resolve <unresolved | one_hot | parallel> 一种解析机制，根据每个单独开关提供的状态和电压值来确定供电网的状态和电压。默认值未解析（unresolved）。 |
| 返回值 | 返回已创建供电线（来自当前作用域）的完全限定名称，如果未创建，则返回空字符串。 |
create_supply_net 命令创建一条供电线。为电压域定义的供电线，创建所在的逻辑层级和domain_name所在的范围相同。根据需要通过逻辑层次结构通过隐式创建的端口和网络进行传播。
以下内容也适用。
如果domain_name没有指示一个之前创建的电压域，则会报错。
当声明-reused时，如果net_name不存在则会报错；
当声明-resolve unresolved时，此供电线只允许单个驱动器。
语法示例：
create_supply_net v09 -domain PD1B.7 create_supply_port
| 用途 | 在电压域创建一个端口 |
| 语法 | create_supply_port port_name [-domain domain_name] [-direction <in |out>] |
| 表达式 | port_name 供电端口名称。允许使用层级化名称，除非同时指定了-domain。 -domain domain_name 此端口定义供电网连接点的域。 -direction <in |out> 端口的方向，默认为输入 in。 |
| 返回值 | 返回已创建的端口（来自当前作用域）的完全限定名称，如果未创建，则返回空字符串。 |
create_supply_port 命令在-domain声明时在电压域范围内定义供电端口，如果没有声明-domain则在当前域的范围内创建供电端口。
-direction定义状态信息在连接到端口时如何通过供电网络传播。如果端口是输入端口，则连接到端口的外部供应网络的状态信息应传播到域中。同样，对于输出端口，连接到该端口的内部供应网络的状态信息应在域外传播。
如果port_name创建了一个与逻辑层级相冲突的名称，或者声明了一个之前创建过的端口，则会报错。
如果domain_name不能指示一个已创建的电压域，则会报错。
语法示例：
create_supply_port VN1 -domain PD1 reg/wire, Bit, LogicB.8 set_domain_supply_net
| 用途 | 为电压域设置默认的电源线和地线 |
| 语法 | set_domain_supply_net domain_name -primary_power_net supply_net_name -primary_ground_net supply_net_name |
| 表达式 | domain_name 默认供电线所在的电压域； -primary_power_net supply_net_name 主电源供电线； -primary_ground_net supply_net_name 主地线； |
| 返回值 | 设置成功返回1；否则返回0. |
set_domain_supply_net 命令将默认的电源线/地线与电压域的逻辑单元相联系。
primary power 和 ground nets为连接到电压域内逻辑单元（或推断单元）的默认主电源线和地线。执行电源线和地线用于电压域内的所有单元。在门级，这意味着所有的所有推断的门的所有电源/地引脚连接到主电源线/地线。否则除非用 connect_supply_net, set_retention, set_isolation等命令进行声明。
如果domain_name不能指示一个已创建的电压域，则会报错。
如果domain_name已经包含了一个主要的电源/地供应线。
语法示例：
set_domain_supply_net PD1 -primary_power_net PG1 -primary_ground_net PG0B.9 set_isolation
| 用途 | 用声明的策略设置电压域中单元的隔离。 |
| 语法 | set_isolation isolation_name -domain domain_name <-isolation_power_net net_name | -isolation_ground_net net_name | -isolation_power_net net_name -isolation_ground_net net_name | -no_isolation> [-elements list] [-clamp_value <0 | 1 | latch | Z>] [-applies_to <inputs | outputs | both>] |
| 表达式 | isolation_name 隔离策略名称 -domain domain_name 应用此策略的电压域 <-isolation_power_net net_name | -isolation_ground_net net_name | -elements list 此策略使用的设计单元列表，输入端口/引脚，输出端口/引脚，以及线网。 -clamp_value <0 | 1 | latch | Z> 设置输入或者输出被钳夹的逻辑值。默认为 0. -applies_to <inputs | outputs | both> 电压域的输入或者输出端口隔离，或者都隔离。默认为输出outputs。 |
| 返回值 | 成功返回 1 ，失败返回0。 |
set_isolation 用声明的策略设置电压域中单元的隔离。隔离使能信号为公共信号，钳夹值以及位置。
–isolation_supply_nets 可以声明单一的电源线，单一的地线或者二者都声明。如果只声明隔离单元的电源线，那么主地线作为隔离地线。如果只声明隔离单元的地线，那么主电源线作为隔离电源。
-isolation_power_net 和 -isolation_ground_net两个至少有一个需要声明，除非-no_isolation已经声明。如果只声明-isolation_power_net，那么主地线则作为隔离的地线供应。如果只声明-isolation_ground_net，那么主电源线则作为隔离的电源线供应。如果两个都声明了，那么所声明的供电线作为隔离的电源和地供应线。
隔离电源和接地网自动连接到隐含的隔离过程，当-clamp_value为latch时，自动连接到完整规范第5节中所述的隔离寄存器，或如果隔离单元与map_isolation_cell命令明确映射，则自动连接到隔离单元的电源和接地引脚。隐式隔离过程和隔离寄存器的关闭和开启语义，如果存在，则如完整规范的第5节所述。
如果一个域有多个隔离策略，对于每个策略，-elements用来指定要隔离的单元。如果声明了 -elements，则元素应在domain_name中。如果-elements直接按名称指定端口（间接指定端口实例或该实例的更深一层实例），则隔离策略应应用于该端口，无论该端口模式是否与-applies_to选项指定的端口匹配。当没有指定-elements时，这相当于使用定义的电压域单元列表。
-clamp_value的值可以为：
逻辑0；
逻辑1；
latch（锁存，当隔离信号有效时，非隔离端口的值）
逻辑Z；
以下内容也适用。
这个命令不可用于inout端口。
如果声明 -no_isolation ，那么-elements 显式或者隐式声明的所有端口，以及与-applies_to（模式）相匹配的声明都不将会被隔离。
如果使用-domain、-elements或-applies_to以外的任何其他参数指定-no_isolation，则是一个错误。
如果声明多条电源线/地线，则会报错。
如果多个不同的隔离策略对相同的设计单元、引脚、端口、线网等作用时会报错。
语法示例：
set_isolation outputs_only
-domain PD1
-isolation_power_net VDDbackup
-clamp_value 1
-applies_to outputsB.10 set_isolation_control
| 用途 | 为已经定义的隔离策略声明控制信号。 |
| 语法 | set_isolation_control isolation_name -domain domain_name -isolation_signal signal_name [-isolation_sense <high | low>] [-location <self | parent | sibling | fanout | automatic>] |
| 表达式 | isolation_name 隔离策略名称； -domain domain_name 应用此策略的电压域； -isolation_signal signal_name 隔离控制信号，即在控制下导致声明的单元被驱动值钳夹电平值。 -location <self | parent| sibling | fanout |automatic> 隔离单元在逻辑层级中放置的位置。默认为自动automatic。 |
| 返回值 | 成功返回 1 ，失败返回0。 |
set_isolation_control命令允许与set_isolation命令分离地指定隔离控制信号和感知，用于那些隔离策略已知但控制信号直到以后才知道的情况。
除了set_isolation_control命令是在当前范围内执行的，以及–location选项的添加之外，这里的语义相当于指定了隔离控制信号，并使用set_isolation命令进行感知。
–location定义隔离单元在逻辑层次结构中的位置。
self 将隔离单元放置在被隔离的模型/单元内。
parent 隔离单元被放置在被隔离的父模型/单元内。sibling 创建一个新的兄类，将隔离单元放置到其中。
fanout 隔离发生在被隔离端口的所有扇出位置（汇点）。
automatic 实现工具可以自由选择适当的位置（默认值）。
语法示例：
set_isolation outputs_only
-domain PD1
-isolation_power_net VDDbackup
-clamp_value 1
-applies_to outputs
set_isolation_control outputs_only
-domain PD1
-isolation_signal cpu_iso
-isolation_sense low
-location parentB.11 set_level_shifter
| 用途 | 声明电平转换器策略 |
| 语法 | set_level_shifter level_shifter_name -domain domain_name [-elements list] [-applies_to <inputs | outputs | both>] [-threshold value] [-rule <low_to_high | high_to_low | both>] [-location <self | parent | sibling | fanout | automatic>] [-no_shift] |
| 表达式 | level_shifter_name 电平转换器策略名称（仅在报告（reporting）时使用） -domain domain_name 应用此策略的电压域 -elements list 此策略使用的设计单元列表，输入端口/引脚，输出端口/引脚，以及线网。 -applies_to <inputs |outputs | both> 设置电压域的输入或者输出端口或双端口电平转换。默认为both。 -threshold value 设置电压阈值（单位，伏特），用于决定何时需要电平转换器。默认为0。 -rule <low_to_high |high_to_low | both> 电平转换器类型。默认为both。 -location <self | parent| sibling | fanout |automatic> 电平转换器在逻辑层级中的放置位置。默认为 automatic。 -no_shift 可以用–elements选项进行声明，防止在声明的端口/引脚/线网插入电平转换器。 |
| 返回值 | 成功返回 1 ，失败返回0。 |
set_level_shifter命令可用于设置实现过程中的电平转换策略。电平转换器被放置在具有在不同电压下操作的源头和交汇的信号上，因为它们的相关设计元件被连接到不同的供电网络。如果没有在特定功率域上指定电平转换器策略，则默认电平转换器策略由功率域中的所有单元组成，并使用默认策略设置。
如果指定了–elements，则这些元素应位于domain_name中。如果–elements用于指定端口或引脚，则无论-threshold 或 -rule如何声明，都会在该端口上插入电平转换器。-threshold声明定义了在插入电平移位器之前驱动器和接收器之间的电压差需要有多大。通常，这个阈值是从单元库中确定的；使用此选项可以覆盖库中的值。
–rule可以是low_to_high、high_to_low，也可以同时为两者。如果指定了low_to_high，则当电压差超过–threshold指定的电压差时，从较低电压到较高电压的信号将得到电平转换器。如果指定high_to_low，则当电压差超过–threshold指定的电压差时，从较高电压到较低电压的信号将得到电平转换器。如果同时指定了这两个规则，则相当于在策略中同时使用两个规则。
–location定义电平转换器在逻辑层次结构中的位置。在声明的位置上所有必要的供电必须可以获取到。
self 将电平转换器放置在被转换的模型/单元内。
parent 电平转换器被放置在被转换的父模型/单元内。sibling 创建一个新的兄类，将电平转换器放置到其中。
fanout 转换发生在被转换端口的所有扇出位置（汇点）。
automatic 实现工具可以自由选择适当的位置。
以下内容也适用。
这个命令不可用于inout端口。
如果声明的位置不在以设计根目录开始的位置，会报错。
语法示例：
set_level_shifter shift_up
-domain PowerDomainZ
-applies_to outputs
-threshold 0.02
-rule bothB.12 set_retention
| 用途 | 指定域中哪些寄存器需要作为保留寄存器，并设置保留功能的保存和恢复信号。 |
| 语法 | set_retention retention_name -domain domain_name <-retention_power_net net_name | -retention_ground_net net_name | -retention_power_net net_name -retention_ground_net net_name> [-elements list] |
| 表达式 | retention_name 保留策略的名称。 -domain domain_name 应用此策略的电压域 <-retention_power_net net_name | -elements list 电压域中的对象列表：应用此策略的设计单元，命名的过程，或者时序寄存器reg，以及信号名。 |
| 返回值 | 成功返回 1 ，失败返回0。 |
set_retention命令指定域中哪些寄存器需要作为保留寄存器，并标识保留功能的保存和恢复信号。只有元素列表中隐含的寄存器才应具有保留能力。如果指定了设计单元，则设计单元内的所有寄存器都会获取指定的保留策略。如果指定了过程，则该过程推断的所有寄存器都会获取指定的保留策略。如果指定了reg、信号或变量，并且该对象是时序单元，则隐含寄存器获取指定的保留策略。任何指定的reg、信号或变量，如果不能推断出时序单元，则不得通过该命令进行更改。
应至少指定-reretion_power_net或-reretion_ground_net中的一个。如果仅指定了 -retention_power_net，则应使用主接地线作为保留接地供应。如果只指定了 -reretention_rground_net，则应使用主电网作为保留电源。如果同时指定了这两个选项，则这些选项指定要用作保留电源和接地网的供电网。
当保留单元用map_retention_cell命令显式映射时，保留电源和接地线自动连接到隐式保存和恢复过程以及影子寄存器，或者连接到保留单元的电源和接地点引脚。隐式保存和恢复过程以及影子寄存器的关闭和打开语义如完整规范的第5节所述。
如果指定了-save_signal，则应指定-restore_signal。如果未指定-save_signal，则不应指定 -restore_signal。如果未指定保存和恢复信号，则应在set_retension_control命令中指定。
如果指定了–elements，则这些单元应位于domain_name中。如果未指定–elements，则相当于使用定义电源域的elements列表。
以下内容也适用。
如果domain_name不能指示一个已创建的电压域，则会报错。
如果声明多条电源线/地线，则会报错。
语法示例：
set_retention my_retention
-domain PDA
-retention_power_net volt_highB.13 set_retention_control
| 用途 | 为已定义的保留策略声明控制信号和断言。 |
| 语法 | set_retention_control retention_name -domain domain_name -save_signal {{net_name <high | low | posedge | negedge>}} -restore_signal {{net_name <high | low | posedge | negedge>}} [-assert_r_mutex {{net_name <high | low | posedge | negedge>}}]* [-assert_s_mutex {{net_name <high | low | posedge | negedge>}}]* [-assert_rs_mutex {{net_name <high | low | posedge | negedge>}}]* |
| 表达式 | retention_name 保留策略的名称。 -domain domain_name 应用此策略的电压域 -save_signal save_net SAVE控制信号，将寄存器的数值保存到影子寄存器中。 -restore_signal restore_net RESTORE控制信号，将影子寄存器的数值恢复到寄存器中。 -assert_r_mutex {{net_name <high | low | posedge | negedge>}} 恢复信号断言 -assert_s_mutex {{net_name <high | low | posedge | negedge>}}保存信号断言 -assert_rs_mutex {{net_name <high | low| posedge | negedge>}}保存和恢复信号断言 |
| 返回值 | 成功返回 1 ，失败返回0。 |
set_retension_control命令允许与set_retenten命令分离地指定保持控制信号和感测，用于那些保持策略是已知的，但是直到稍后才知道控制信号的情况。由于断言与保存和恢复信号有关，因此也可以使用此命令指定断言。
除了在当前范围内执行set_retension_control命令外，这里的语义相当于用set_retension命令指定了保留控制信号、感知和断言。
set_retension命令也可以用于指定任何断言选项。每个选项都会创建一个或多个断言，当指示的RTL信号同时处于活动状态时，验证工具可以触发这些断言。如果-assert_rs_mutex没有指定信号列表，这表明保存和恢复信号本身是互斥的。
以下内容也适用。
保存信号应当是一个设计中已存在的逻辑线，端口，或者引脚。
恢复信号应当是一个设计中已存在的逻辑线，端口，或者引脚。
语法示例：
set_retention my_retention_strategy
-domain PDA
set_retention_control my_retention_strategy
-domain PDA
-save_signal {power_controller_inst/save_1 high}
-restore_signal {power_controller_inst/restore_1 low}
-assert_rs_mutex {clock_a posedge}B.14 set_scope
| 用途 | 声明当前UPF的作用范围 |
| 语法 | set_scope instance |
| 表达式 | instance 完成命令后成为当前作用域的实例。 |
| 返回值 | 如果成功，则返回执行命令前的当前作用域，作为相对于当前设计顶部的完整路径字符串；如果失败（例如，如果实例（instance）不存在），则返回空字符串。 |
如果 set_scope命令调用时没有指定instance，或者UFP的作用范围没有设置，则认为设置的作用范围是最顶层设计。
如果instance是 . ，这个作用范围依然是当前实例。如果instance是 .. ，则作用范围按照实例的层级上移一个级别。如果instance以 / 开始，作用范围则回归到 / 后面的路径（相对于顶层而言）范围中。
语法示例：
set_scope foo/bar
set_scope ..附录B翻译完了，但是UPF指令绝不止这些，要想更多了解，建议阅读IEEE的官方Standards（IEEE 1801）
