Bootstrap

覆盖率收集

覆盖率类型

覆盖率的两种指定形式:显式的: 直接通过SV来指定出的,如SVAcovergroup隐式的: 在验证过程中,随" register move "就可以由simulator得到的,如代码覆盖率等。
覆盖率类型:

代码覆盖率:工具会自动搜集已经编写好的代码,常见的代码覆盖率如下:
(1)行覆盖率(line coverage):记录程序的各行代码被执行的情况。
(2)条件覆盖率(condition coverage):记录各个条件中的逻辑操作数被覆盖的情况。
(3)跳转覆盖率(toggle coverage):记录单bit信号变量的值为0/1跳转情况,如从01,或者从10的跳转。
(4)分支覆盖率(branch coverag