sv9.7.3&9.7.4排除掉部分交叉覆盖仓,从总体覆盖率的度量中排除掉部分覆盖点

1.排除掉部分交叉覆盖仓

(1)ignore_bins+binsof+intersect可以排除掉许多交叉覆盖仓;其中,binsof用于指定覆盖点,intersect用于指定数值集;

(2)示例

2.从总体覆盖率的度量中排除掉部分覆盖点

(1)一个覆盖阻的总体覆盖率是基于所有简单覆盖点和交叉覆盖率的,如果只希望对一个coverpoint上的变量或表达式进行采样,而这个coverpoint将会被用到cross语句中,应该将其权重设置为0,这样该coverpoint不会对总体的覆盖率造成影响;