Line coverage统计的一般是模块里面赋值行的覆盖率。
toggle统计的是模块里面的端口和信号的赋值翻转率(0->1, 1->0)。
FSM统计的是模块里状态寄存器的所有跳转可能的覆盖率。
condition统计的是模块内条件赋值覆盖率,如assign x = enable ? y : z; 统计enable为0和1的情况,对于assign x = a&&b || C, 需要统计a,b,c所有的增值表值。
branch统计的是模块内if...else...分支的覆盖情况。
assert统计的是模块内的assertion。