sv9.6.2&9.6.3自动创建仓与限制自动创建仓的数目

注1:每一个覆盖点(coverage point)都包含一系列bins,用于采样值或者值的翻转; 采样值的bins称作state bins,采样值的翻转的bins称作transition bins;

1.自动创建仓

(1) system verilog会自动为覆盖点创建仓。

2.限制自动创建仓的数目

(1) 覆盖组选项auto_bin_max指明了自动创建仓的最大数目,缺省值为64.

(2) 如果覆盖点变量或表达式的值域超过指定的最大值,system verilog会把至于平均分配给auto_bin_max个仓. 例如,一个16比特变量有65536个可能值,所以64个bin中的每一个都覆盖了1024个值;

(3) 示例: auto_bin_max作为一个覆盖点的选项;

(4) 示例:auto_bin_max作为整个覆盖组的选项;