数字IC验证学习笔记——SV——功能覆盖率

一、代码覆盖率

1.行覆盖率、路径覆盖率、翻转覆盖率、有限状态机覆盖率

二、漏洞率？

三、断言覆盖率

1.cover property，用于观测事件出现的频繁程度

四、功能覆盖率

1.在类中的覆盖组需要在类构造函数中构造；类外覆盖组可以被类使用，但构造在过程块中进行

2.采样可以使用sample或者@，可以使用回调方式

3.仓：auto_bin_max\条件覆盖率\翻转覆盖率\通配符\忽略数值\不合法的仓\交叉覆盖率(交叉覆盖率讲得比较多)\per_instance

--------------------------------------------

1.cross交叉覆盖无论是否自定义仓都会默认生成所有仓并被统计进覆盖率，option.cross_auto_bin_max=0可以解决