sv9.6.11&9.6.12 忽略数值,不合法的仓

1.忽略数值

(1)在某些覆盖点上,可能始终得不到全部可能值,对于该问题可以使用两种方法:

方法一:明确定义仓来涵盖所有的期望值;

方法二:让system verilog自动创建仓,然后使用ignore_bins排除掉那些不用来计算功能覆盖率的数值;

(2)ignore_bins示例:

2.不合法的仓