- 行覆盖率(Line Coverage):RTL中的代码行;
- 状态机覆盖率(FSM Coverage):RTL代码中的有限状态机的状态和状态之间的转换;
- 路径覆盖率(Path Coverage):RTL代码中的路径分支(if-else语句);
- 翻转覆盖率(Toggle Coverage):RTL代码中的一个信号从0跳变到1,以及1跳变到0;
- 表达式覆盖率(Expression coverage):RTL代码中的条件表达式,例如if(a&b&c);
- 分支覆盖率(Branch coverage):针对 if…else、case 等分支语句。
- 语句覆盖率(Statement Coverage):包括两态翻转(0/1)和三态翻转(0/1/Z)。
- 条件覆盖率(Conditional coverage):条件覆盖率可以看作是对分支覆盖率的补充。每一个分支条件表达式中,所有条件的覆盖。