《低功耗方法学》翻译——附录B:UPF命令语法



附录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_vdd

B.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 PD2

B.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 PD1

B.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, Logic

B.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 PG0

 B.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 | 
-isolation_power_net net_name -isolation_ground_net net_name | -no_isolation> 用于设置由此策略推断的隔离逻辑的供电线。不隔离单元列表中声明的端口,引脚,或者设计单元。

-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 outputs

B.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 outputsset_isolation_control outputs_only
-domain PD1
-isolation_signal cpu_iso
-isolation_sense low
-location parent

B.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 both

B.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 |
-retention_ground_net net_name |
-retention_power_net net_name
-retention_ground_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_high

B.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 PDAset_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)

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/669404.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

monaco-editor布局篇(二)-自动换行

monaco-editor的换行方式&#xff0c;主要分为3种情况&#xff1a; 不换行按照编辑器宽度换行按照制定列数换行 主要受wordwrap和wordwrapcolumn控制&#xff0c;具体如下&#xff1a; 取值含义off不换行&#xff0c;会一直滚动on换行&#xff0c;文本将在视区宽度内自动换行…

Linux命令:traceroute命令

目录 traceroute1、简介2、探测原理3、traceroute说明4、实例设置每跳探测数设置跳数探测包使用的基本UDP端口设置6789把对外发探测包的等待响应时间设置为3秒 总结 traceroute 1、简介 traceroute的主要功能是跟踪从IP网络发送到指定主机经过的网关的工具。它利用IP协议的生…

5 分钟让你了解什么是搜索引擎

文章目录 搜索引擎概述基于业务模式分类垂直搜索&#xff08;垂搜&#xff09;通用搜索&#xff08;通搜&#xff09;本地搜索引擎 基于技术实现分类基于关键词的搜索引擎&#xff08;Keyword-based Search Engine&#xff09;语义搜索引擎&#xff08;Semantic Search Engine&…

幻兽帕鲁mac可以玩吗?

《幻兽帕鲁》&#xff08;英文&#xff1a;Palworld&#xff09;是一款近期在 Steam 爆红的动作冒险生存游戏&#xff0c;游戏设置在一个居住着「帕鲁」的开放世界中&#xff0c;玩家可以战斗并捕捉帕鲁&#xff0c;也能用它们来建造基地、骑乘和战斗。 不过目前《幻兽帕鲁》仅…

C语言内存函数:memcpy、memcat、memmove介绍和模拟实现(实用性高,建议三连收藏)

目录 1.memcpy函数 1.1函数介绍 1.2函数示范使用 1.3函数的模拟实现 1.4补充 2.memmove函数 2.1函数介绍 2.2函数的使用示范 2.3函数的模拟实现 3.memcmp(内存比较函数&#xff09; 3.1函数介绍 3.2函数的示范使用&#xff0c;有趣的例子 4.函数补充memset(内存…

【靶场实战】Pikachu靶场RCE漏洞关卡详解

Nx01 系统介绍 Pikachu是一个带有漏洞的Web应用系统&#xff0c;在这里包含了常见的web安全漏洞。 如果你是一个Web渗透测试学习人员且正发愁没有合适的靶场进行练习&#xff0c;那么Pikachu可能正合你意。 Nx02 RCE漏洞概述 RCE漏洞&#xff0c;可以让攻击者直接向后台…

【Jenkins】配置及使用|参数化|邮件|源码|报表|乱码

目录 一、Jenkins 二、Jenkins环境搭建 1、下载所需的软件包 2、部署步骤 3、其他 三、Jenkins全局设置 &#xff08;一&#xff09;Manage Jenkins——Tools系统管理->全局工具配置分别配置JDK、Maven、Allure、Git&#xff0c;可以配置路径或者直接选择版本安装 1…

解决zabbix图像中文乱码

使用zabbix查看监控图像信息&#xff0c;发现会有中文乱码现象。 解决方法如下&#xff1a; 1.拷贝windows文字文件到服务器上 C:\Windows\Fonts目录下拷贝自己需要的中文语言文件 2.修改配置文件 vim /usr/share/zabbix/include/defines.inc.php 81行 define(ZBX_GRAPH_F…

zookeeper搭建(单机模式和集群模式)

目录 单机模式&#xff1a; 集群搭建&#xff1a; 单机模式&#xff1a; 1.新建data和logs目录(data目录用来存放数据库快照&#xff0c;logs目录用来存放日志文件) [rootmaster dev]# mkdir -p /home/apps/zookeeper/data [rootmaster dev]# mkdir -p /home/apps/zookeeper/…

新数据不影响原来的数据

问题描述 新数据修改时&#xff0c;原来的数据也会受影响 const obj1 ref({ name: slx, age: 20 })const obj2 obj1obj2.value.name hhhhconsole.log(obj1, obj1.value)console.log(obj2, obj2.value)解决方法 (仅适用于对象 在这段代码中&#xff0c;obj1 和 obj2 指向同…

【Python基础】文件详解(文件基础、csv文件、时间处理、目录处理、excel文件、jsonpicke、ini配置文件)

文章目录 &#xff08;一&#xff09;文件详解1 快速入门文件操作1.1 快速实现文件读取1.2 快速实现文件写入 2 文件打开方式详解2.1 open方法2.2 打开方式2.3 文件读写操作2.3.1 基本读写2.3.2 读写方式打开2.3.3 实现重复读取 3 文件编码问题4 文件读写方法4.1 文件读取方式4…

【PTA编程题】7-1 保持链表有序

对于输入的若干学生的信息&#xff0c;按学号顺序从小到大建立有序链表&#xff0c;最后遍历链表&#xff0c;并按顺序输出学生信息。 输入格式: 首先输入一个正整数T&#xff0c;表示测试数据的组数&#xff0c;然后是T组测试数据。每组测试数据首先输入一个正整数n&#xf…

IT行业证书的获取与价值:提升职业竞争力的关键

目录 IT行业证书的价值和作用 1. Cisco&#xff08;思科&#xff09;认证&#xff08;如CCNA、CCNP、CCIE&#xff09;&#xff1a; 2. 微软认证&#xff08;如MCSA、MCSE、MCSD&#xff09;&#xff1a; 3. 计算机网络技术&#xff08;CompTIA Network、CompTIA Security&a…

《汇编语言》- 读书笔记 - 各章检测点归档

《汇编语言》- 读书笔记 - 各章检测点归档 检测点 1.1检测点 2.1检测点 2.2检测点 2.3检测点 3.1检测点 3.2检测点 6.1检测点 9.1 检测点 1.1 1个CPU 的寻址能力为8KB&#xff0c;那么它的地址总线的宽度为 13 。 解&#xff1a;8KB 8192B 213 1KB的存储器有 10…

构建高效直播美颜系统:美颜SDK集成与性能优化指南

如今&#xff0c;美颜技术的广泛应用成为各类直播平台的标配之一。今天&#xff0c;小编将与大家进一步讨论如何构建高效的直播美颜系统&#xff0c;重点关注美颜SDK的集成和性能优化方面。 一、美颜SDK的选择与集成 选择合适的美颜SDK是构建高效直播美颜系统的第一步。不同的…

MATLAB频域分析(附完整代码)

1. MATLAB进行频域分析举例 以下是一个使用MATLAB进行频域分析的例子。在这个例子中&#xff0c;我们将生成一个含有两个不同频率分量的信号&#xff0c;然后使用快速傅里叶变换&#xff08;FFT&#xff09;来分析其频域特性。 main.m文件 clc;close all;clear all;warning of…

12. onnx转为rknn测试时有很多重叠框的修改(python)

我们下载rknn-toolkit2-master后并进行前面的处理后&#xff0c;进入到rknn-toolkit2-master\examples\onnx\yolov5文件夹&#xff0c;里面有个test.py文件&#xff0c;打开该文件&#xff0c;其代码如下&#xff1a; # -*- coding: utf-8 -*- # coding:utf-8import os import…

msvcp120.dll丢失如何解决/找不到msvcp120.dll的5种有效的解决方法

在计算机系统运行过程中&#xff0c;如果遇到“找不到msvcp120.dll”的提示信息&#xff0c;这代表了何种具体状况呢&#xff1f;首先&#xff0c;我们需要明确msvcp120.dll文件的重要性。msvcp120.dll是Microsoft Visual C Redistributable Package的一部分&#xff0c;这是一…

工作与生活平衡:在生活中寻找和谐

工作和生活是我们生活中不断交织的两个重要方面。对许多人来说&#xff0c;找到两者之间的完美平衡已经成为一个持久的挑战。然而&#xff0c;与其专注于平衡&#xff0c;更重要的是要认识到工作和生活并不是可以相互平衡的两个分离实体&#xff0c;而是一个相互影响的循环。正…

[word] word小数点对齐怎么设置 #微信#其他#其他

word小数点对齐怎么设置 使用Word编辑文档的时候&#xff0c;如果有小技巧的话&#xff0c;可以解决很多遇到的问题&#xff0c;也让工作更高效的完成&#xff0c;下面给大家分享word小数点对齐怎么设置的小技巧。 1、设置格式 选中内容&#xff0c;点击段落一一制表符&#…