芯片验证:SV——代码覆盖率

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

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值