【SystemVerilog 之 进程评估:覆盖率】~ 覆盖率的类型、功能覆盖策略、覆盖组、数据采样、覆盖选项

1. 覆盖率的类型

1.1 概述

在这里插入图片描述

1.2 覆盖率反馈回路

在这里插入图片描述
在这里插入图片描述

1.3 代码覆盖率

在这里插入图片描述
在这里插入图片描述

1.4 断言覆盖率

在这里插入图片描述
在这里插入图片描述

1.5 漏洞率曲线

在这里插入图片描述

1.6 功能覆盖率

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

练习

在这里插入图片描述
答案:AB
解析:C错误,不断提交覆盖率会达到一定水平(大概80%以下吧)不变了;D错误,定向测试会对覆盖率有提升。
在这里插入图片描述
答案:C
解析:A错误,不是完备的,而是必要的条件;B错误,不需要同时分析,只需要分析设计代码;D错误,一般情况下不会达到100%。
在这里插入图片描述
答案:BCD

2. 功能覆盖策略

2.1 收集信息而非数据

在这里插入图片描述

2.2 只测量需要的内容

在这里插入图片描述

2.3 验证的完备性

在这里插入图片描述
在这里插入图片描述

练习

在这里插入图片描述
答案:CD
解析:A错误,采集需要的数据;B错误,同A。

3. 覆盖组

3.1 概述

在这里插入图片描述
在这里插入图片描述

3.2 案例分析

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

练习

在这里插入图片描述
答案:ABC
解析:D错误,不仅可以在class中定义,还可以在module和interface中定义。

4. 数据采样

4.1 概述

在这里插入图片描述

4.2 coverpoint和bin

在这里插入图片描述

4.2.1 bin的创建和应用

在这里插入图片描述

4.2.2 命名coverpoint和bin

在这里插入图片描述
在这里插入图片描述

4.3 条件覆盖率

在这里插入图片描述

4.4 翻转覆盖率

在这里插入图片描述

4.5 wildcard覆盖率

在这里插入图片描述

4.6 忽略的bin

在这里插入图片描述

4.7 非法的bin

在这里插入图片描述

4.8 交叉覆盖率

在这里插入图片描述
在这里插入图片描述

4.9 精细的交叉覆盖率指定

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

练习

在这里插入图片描述
答案:ABD
解析:C错误,iff是条件判断采样,关闭采样功能使用stop()。

在这里插入图片描述
答案:ABC
解析:D错误,假设CP_B一共有10个,此时只声明出来6个bin,最后cross的时候系统会自动添加上那4个未添加的bin,一共是4*10=40个bin。

5. 覆盖选项

5.1 针对于单个实例

在这里插入图片描述

5.2 多个实例

5.2.1 通过注释

在这里插入图片描述

5.3 覆盖次数的限定

在这里插入图片描述

5.4 覆盖率目标

在这里插入图片描述

5.5 covergroup方法

在这里插入图片描述

5.6 数据分析

在这里插入图片描述

  • 1
    点赞
  • 5
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值