sv9.6.11&9.6.12 忽略数值或翻转,不合法的仓
1.忽略数值或翻转
(1)在某些覆盖点上,可能始终得不到全部可能值,对于该问题可以使用两种方法:
方法一:明确定义仓来涵盖所有的期望值;
方法二:让system verilog自动创建仓,然后使用ignore_bins排除掉那些不用来计算功能覆盖率的数值;
(2)ignore_bins示例:
1 示例 2 covergroup cg23; 3 coverpoint a { 4 ignore_bins ignore_vals={7,8}; 5 ignore_bins ingore_trans=(1=>3=>5); 6 } 7 endgroup
2.不合法的仓