覆盖率类型
覆盖率的两种指定形式:显式的: 直接通过SV
来指定出的,如SVA
,covergroup
。隐式的: 在验证过程中,随" register move
"就可以由simulator
得到的,如代码覆盖率等。
覆盖率类型:
代码覆盖率:工具会自动搜集已经编写好的代码,常见的代码覆盖率如下:
(1)行覆盖率(line coverage)
:记录程序的各行代码被执行的情况。
(2)条件覆盖率(condition coverage)
:记录各个条件中的逻辑操作数被覆盖的情况。
(3)跳转覆盖率(toggle coverage)
:记录单bit信号变量的值为0/1
跳转情况,如从0
到1
,或者从1
到0
的跳转。
(4)分支覆盖率(branch coverag