sv9.6.7&9.6.9&9.6.10条件覆盖率,翻转覆盖率,在状态和翻转中使用通配符

1.条件覆盖率

(1) 可以使用关键字iff给覆盖点添加条件,这种做法最常用于在复位期间关闭覆盖以忽略一些杂散的触发;

(2) 可以使用start和stop函数控制覆盖组中各个独立的实例;

2.翻转覆盖率

3.在状态和翻转中使用通配符

sv-funccov

相关

标签