芯片验证：SV——代码覆盖率
行覆盖率（Line Coverage）：RTL中的代码行；状态机覆盖率（FSM Coverage）：RTL代码中的有限状态机的状态和状态之间的转换；路径覆盖率（Path Coverage）：RTL代码中的路径分支（if-else语句）；翻转覆盖率（Toggle Coverage）：RTL代码中的一个信号从0跳变到1，以及1跳变到0；表达式覆盖率（Expression coverage）：RTL代码
·
- 行覆盖率（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）：条件覆盖率可以看作是对分支覆盖率的补充。每一个分支条件表达式中，所有条件的覆盖。
DAMO开发者矩阵，由阿里巴巴达摩院和中国互联网协会联合发起，致力于探讨最前沿的技术趋势与应用成果，搭建高质量的交流与分享平台，推动技术创新与产业应用链接，围绕“人工智能与新型计算”构建开放共享的开发者生态。
更多推荐
0
0- 0
已为社区贡献2条内容
所有评论(0)