【IEEE_Verilog-4.4】Verilog中的充电强度charge strength和驱动强度drive strength

本文来自IEEE Standard for Verilog Hardware Description Language中4.4 strength

1 强度strength

在net声明中指定的两种类型强度如下：
—当声明trireg类型的线网时应该使用充电强度charge strength
—当在相同的声明net语句中对一个net进行连续赋值时应该使用驱动强度drive strength
Gate声明还可以指定驱动强度。关于gate和强度的更多信息请参阅第7条。

1.1 充电强度charge strength

只有trireg net类型使用充电强度规范。对充电存储建模应该使用trireg net类型。充电强度应该由以下三个关键词之一来指定电容的相对大小：
—small
—medium
—large
一个trireg net类型的默认充电强度是medium。
一个trireg net可能对一个充电存储节点建模，这个节点的电荷随着时间衰减。电荷衰减的模拟时间应在trireg网的延迟规范中指定(见7.14.2)。
例如：
trireg a; //充电强度为Medium的trireg net类型
trireg (large) #(0, 0, 50) cap1; //电荷衰减时间为50个时间单位，充电强度为large的triereg net类型
Trireg (small) signed [3:0] cap2; //充电强度为small的有符号4bit trireg向量

1.2 驱动强度drive strength

驱动强度规范允许在相同的声明net的语句中对一个net进行连续赋值。更多详细信息参看第6条。Net强度属性的详细描述在第7条。

2 隐式声明Implicit declarations

在4.2中说明的语法应该被用来显示地声明net和变量。在没有显示声明的情况下，在下列情况下，应假定为默认net类型的隐式net:
—如果在端口表达式声明中使用标识符，则应假定默认net类型的隐式net，其宽度为端口表达式声明的向量宽度。有关端口表达式声明的讨论，请参见12.3.3。
—如果一个标识符在原始实例或模块实例的终端列表中使用，并且该标识符之前没有在实例化出现的作用域中声明，或者在实例化出现的作用域中声明可以直接引用的任何作用域中声明(见12.7)，则应假定一个默认网类型的隐式标量网。
—如果一个标识符出现在连续赋值语句的左边,而没有声明标识符之前出现在连续赋值语句的范围或任何范围的声明可以直接引用范围的连续赋值语句出现(见12.7),然后假定一个默认网类型的隐式标量网。关于连续赋值语句的讨论请参见6.1.2。
隐式net声明属于出现net引用的作用域。例如，如果隐式net是由generate块中的引用声明的，那么net只会在那个generate块中隐式声明。后续从generate块外部或同一模块内的另一个generate块中对net的引用要么是非法的，要么会创建另一个不同net的隐式声明(取决于引用是否满足上述条件)。关于生成块的信息请参见12.4。
关于使用’ default_nettype编译器指令隐式声明的net类型控制的讨论，请参见19.2。