SV覆盖率

已于 2023-06-01 21:10:23 修改
阅读量621 收藏 6
点赞数 1
文章标签： 数据库 网络 学习 c# 开发语言
于 2023-05-28 11:45:22 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/2301_76431006/article/details/130909659
版权

这讲写一下有关sv覆盖率的基础知识。

目录

一、覆盖率类型

1、概述

2、覆盖率反馈回路

3、代码覆盖率

4、断言覆盖率

5、漏洞率曲线

6、功能覆盖率（重点）

二、功能覆盖策略

1、收集信息而非数据

2、只测量需要的内容

3、验证的完备性

三、覆盖组

1、概述

2、在类里定义covergroup

3、covergroup的采样触发 

4、使用事件触发 

四、数据采样

1、概述

2、coverpoint和bin

3、bin的创建和应用

4、命名coverpoint和bin 

 5、条件覆盖率

 6、翻转覆盖率

7、wildcard覆盖率 

8、忽略的bin 

9、非法的bin 

 10、交叉覆盖率（难点）

 11、排除部分cross bin

 12、精细的交叉覆盖率指定（重点）

五、覆盖选项

1、单个实例的覆盖率

2、注释

3、覆盖次数限定

4、覆盖率目标

5、covergroup方法

六、数据分析

一、覆盖率类型

1、概述

  1. 覆盖率是衡量设计验证完备性的一个通用词语
  2. 随着测试逐步覆盖各种合理的组合，仿真过程会慢慢勾画出你的设计情况。
  3. 覆盖率工具会在仿真过程中收集信息，然后进行后续处理并且得覆盖率报告
  4. 通过这个报告找出覆盖之外的盲区，然后修改现有测试或者创建新的测试来填补这些盲区。
  5. 这个过程可以一直迭代进行，直到你对覆盖率满意为止

2、覆盖率反馈回路

  1.  可以使用一个反馈回路来分析覆盖率的结果决定采取哪种行动来达到100%的覆盖率
  2. 首要的选择是使用更多的种子来运行现有的测试程序
  3. 当大量种子依然对于覆盖率增长没有帮助时，需要建立新的约束
  4. 只有在确实需要的时候才会求助子创建定向测试。

3、代码覆盖率

  1. 不添加任何额外的HDL代码，工具会通过分析源代码和增加隐藏码来自动完成代码覆盖率的统计
  2. 当运行完所有测试，代码覆盖率工具便会创建相应的数据库
  3. 仿真器都带有代码覆盖率的工具，覆盖率数据也可被转换为可读格式。
  4. 行覆盖率:多少行代码已经被执行过
  5. 路径覆盖率:在穿过代码和表达式的路径中有哪些已经被执行过
  6. 翻转覆盖率:哪些单位比特变量的值为0或1.
  7. 状态机覆盖率: 状态机哪些状态和状态转换已经被访问过

代码覆盖率最终的结果用子衡量你执行了设计中的多少代码，关注点应该放在设计代码的分析上，而不是测试平台；

未经测试的设计代码里可能隐藏硬件漏洞也可能仅仅就是冗余的代码。

代码覆盖率衡量的是测试对于硬件设计描述的“实现”究竟测试得有多彻底，而非针对验证计划。

代码覆盖率达到了100%，并不意味着验证的工作已经完成，但代码覆盖率100%是验证工作完备性的必要条件

4、断言覆盖率

  1. 断言是用于一次性地或在一段时间对一个或者多个设计信号在逻辑或者时序上的声明性代码
  2. 断言可以跟随设计和测试平台一起仿真，也可以被形式验证工具所证实
  3. 你可以使用SV的程序性代码编写等效性检查，但使用SVA (SV断言)来表达会更容易
  4. 断言最常用于查找错误，例如两个信号是否应该互斥，或者请求与许可信号之间的时序等
  5. 一旦检测到问题，仿真就可以立即停止
  6. 有些断言可以用于查找感兴趣的信号值或者设计状态
  7. 可以使用cover property来测量这些关心的信号值或者状态是否发生
  8. 在仿真结束时，仿真工具可以自动生成断言覆盖率数据
  9. 断言覆盖率数据以及其它覆盖率数据都会被集成在同一个覆盖率数据库中verifier可以对其展开分析。 

5、漏洞率曲线

  1. 在一个项目实施期间，你应该保持追踪每周有多少个漏洞被发现。
  2. 一开始，当你创建测试程序时，通过观察可能就会发现很多漏洞
  3. 当设计逐渐稳定时，你需要利用自动化的检查方式来协助发现可能的漏洞。
  4. 在设计临近流片时，漏洞率会下降，甚至有望为零。即便如此验证工作仍然不能结束。
  5. 每次漏洞率下降时，就应该寻找各种不同的办法去测试可能的边界情况 (corner case)【漏洞率下降意味着设计越来越稳定，但不意味这个设计漏洞越来越少了】
  6. 漏洞率可能每周都有变化，这跟很多因素都有关。不过漏洞率如果出现意外的变化，可能预示潜在的问题【有可能是一些功能点没有定义到】

说明：漏洞率下降，功能性覆盖率这个指标公会告诉我们哪需要做出调整

6、功能覆盖率（重点）

  1. 验证的目的就是确保设计在实际环境中的行为正确
  2. 功能描述文档详细说明了设计应该如何运行，而验证计划则列出了相应的功能应该如何激励、验证和测量
  3. 当你收集测量数据希望找出那些功能已经被覆盖时，你其实就是在计算”设计”的覆盖率。
  4. 功能覆盖率是和功能设计意图紧密相连的，有时也被称为"描述覆盖率”，而代码覆盖率则是衡量设计的实现情况。
  5. 某个功能在设计中可以被遗漏，代码覆盖率不能发现这个错误，但是功能覆盖率可以。

最低0.47元/天 解锁文章
沉 淀！
关注
断言（SVA）
weixin_44381276的博客
11-29 8121
Assertion 什么是assertion？ 用来于设计功能和时序做比较的属性描述。 断言（assertion）可以用来完成： 检查设计的内容 提高设计的可视度和调试能力 检查设计特性在验证中是否被覆盖 可读性好，因此也可以用来服务于设计文档 用来检查算法模型的断言在形式验证（formal verification）中可以穷尽计算，找出可能的违例（violation） 可以自由地打开或关闭 一小部分子集甚至可以用来综合或者移植到emulation中，用来完成跨平台的移植 基于断言的验证方法学（AB
【sv】 covergroup
oldmoney
10-21 247
覆盖率测试
SV之覆盖率
热门推荐
bleauchat的博客
05-22 2万+
目录 Coverage 覆盖率 Functional Coverage 功能覆盖率 Cross Coverage 交叉覆盖 Coverage Options 覆盖率选项 Coverage methods 覆盖率方法 Coverage system task 覆盖率系统任务 Coverage 覆盖率 覆盖率用来衡量设计中已经被测部分和未测部分的比例，通常被定义为已达到所需验证部分...
【SV基础】System Verilog学习+功能覆盖率模型开发（SVA和CoverGroup)
最新发布
m0_62972188的博客
06-21 1179
SystemVerilog，简称SV，是在Verilog的基础上扩展而来的，属于更高级的编程语言，引入了C++、Java、Python等高级语言也有的类的概念，更抽象，还有其他扩展功能，可以实现数字设计的扩展，功能更强大，也是验证的主流语言，UVM方法学正是基于SV语言开发的。
SV -- Coverage 覆盖率
darknessdarkness的博客
04-29 5904
SV – Coverage 覆盖率 本文内容来自： http://www.asic-world.com/systemverilog/coverage.html https://verificationguide.com/systemverilog/systemverilog-array-manipulation-methods/ https://blog.csdn.net/bleauchat/...
SV理论知识六：代码覆盖率、功能覆盖率以及断言覆盖率
m0_59208577的博客
09-24 1398
单独列出每个covergroup实例的覆盖率，/*-----------------------------断言和断言覆盖率-------------------------------------------------(1) 采样monitor监听到的事务，由于monitor监听的事务是动态变化的，也就是说虽然采样的是某种事务类型的某个变量，但是具体所属的实例是会变化的。2. 覆盖组的覆盖点可以会自动建仓或者自定义仓，对于自动建仓，会根据采样点的取值范围来生成仓，例如一个N比特的就有2的N次方个仓，
SV学习笔记（十四）-覆盖率
maopao_TT的博客
08-18 1312
验证没有量化，那么就意味着没有尽头伴随着复杂的SoC系统的验证难度系数成倍增加，无论是定向测试还是随机测试，我们在验证的过程中终究要回答两个问题是否所有设计的功能在验证计划中都已经验证？代码中的某些部分是否从未执行过？覆盖率就是用来帮助我们在仿真中回答以上问题的指标覆盖率已经被广泛采用，作为衡量验证过程中的重要数据一旦通过覆盖率来量化验证，我们可以在更复杂的情况下捕捉一些功能特性是否被覆盖当我们在测试X特性时，Y特性是否也在同一时刻被使能和测试。
SV基础知识6---覆盖率收集
m0_59670134的博客
08-16 9699
1覆盖率的类型 （概述 覆盖率反馈回路 代码覆盖率 断言覆盖率 漏洞率曲线 功能覆盖率） 概述 覆盖率是衡量验证完备性的一个通用词语，用来衡量设计中已经被测部分和未测部分的比例，通常被定义为已达到所需验证部分的百分比。 覆盖率工具会在仿真过程中收集信息，进行处理得到覆盖率报告，再根据报告找出覆盖之外的盲区，修改现有测试用例或者创建新的测试用例来填补这些盲区，这个过程可以一直迭代进行，直到达到目标覆盖率 代码覆盖率 代码覆盖率用于衡量你执行了多少设计代码，关注点在设计代码上，而不是测试平...
【sv】功能覆盖率
stm32stu的博客
10-27 2960
功能覆盖率的一些写法，过程记录 1. coverpoint 直接收集 enum类型的变量，自动建仓名字可读性较好 xxx：coverpoint xxx_enum'(xxx); 2. 收集不连续的值 xxx:coverpoint xxx iff (xxx inside {32'h0102????}) { wildcard bins xxx[] = {32'h0102????} with (item inside {xxx_q}); //xxx_q 为一些离散的值，checker,激励等其他部分
Sv覆盖率-Function Coverage
bandao6867的博客
02-11 4069
参考博文：https://www.cnblogs.com/-9-8/p/4414689.html和http://www.asic-world.com/systemverilog/coverage8.html#Default_bins_creation SV采用CRT的激励形式，而判断验证进度的标准也就是覆盖率(coverage)。 覆盖率的两种指定形式：显式的，直接通过SV来指定出的...
SV学习笔记—覆盖率类型
不定期分享IC验证学习笔记
02-22 2621
0.前言 覆盖率是用来衡量设计验证完备性，随着测试逐步覆盖各种合理的组合，覆盖率用来衡量测试进行的程度，覆盖率工具会在仿真过程中收集信息，然后进行后续处理并且得到覆盖率报告，通过报告找出覆盖盲区，然后修改现有test或者创建新的test来填补这些盲区，这个过程可以一直迭代进行，直到覆盖率达到100%。 一个覆盖率反馈环路如下： 可见通过随机和定向测试得到功能覆盖率，将RTL代码漏洞修复后再跑，如此往复最后得到100%的覆盖率。 1.覆盖率类型 1.1代码覆盖率 代码覆盖率是放在工具在仿真
sv中关于coverage的写法
abitnervous的博客
10-12 1553
学习
SV 覆盖率验证
思想开化的冰块博客
01-07 3230
覆盖率验证代码覆盖率功能覆盖率覆盖组——covergroup覆盖点——coverpoint交叉覆盖率——cross 代码覆盖率 行覆盖率（line coverage）：记录程序的各行代码被执行的情况。 条件覆盖率（condition coverage）：记录各个条件中的逻辑操作数被覆盖的情况。 跳转覆盖率（toggle coverage）：记录单bit信号变量的值为0/1跳转情况，如从0到1，或者从1到0的跳转。 分支覆盖率（branch coverage）：又称路径覆盖率（path coverage），
Systemverilog覆盖率的合并和计算方式
W1Z1Q的专栏
02-25 2065
本文讲述了systemverilog语言中覆盖率的计算方式，以及覆盖率收集和合并方式
SV 有关覆盖率学习
Bunny9__的博客
10-12 2363
覆盖率是衡量验证精度和完备性的数据指标；只有满足以下三个条件，才可以在仿真中实现高质量的验证：测试平台必须产生合适的激励来触发一个设计错误；测试平台仍然需要产生合适的激励使得被触发的错误可以进一步传导到输出端口；测试平台需要包含一个监测器（monitor）用来检测被激活的设计错误，以及在它传播的某个节点（内部或者外部）可以捕捉到她；没有任何一种单一的覆盖率可以完备地去衡量验证过程；即使可以达到100%的代码覆盖率，也不意味着100%地功能覆盖率。
SV学习笔记（六）
叫好与叫座虽然不是对立面，但想在同一个作品中达到双重效果很难。
04-05 947
覆盖组(covergroup) 与类相似， 一次定义后便可以多次实例化。covergroup可以包含一个或者多个coverpoint， 且全都在同一时间采集。covergroup可以定义在类中，也可以定义在interface或者module中。covergroup可以采样任何可见的变量，例如程序变量、接口信号或者设计端口。一个类里可以包含多个covergroup。当你拥有多个独立的covergroup时， 每个covergroup可以根据需要自行使能或者禁止。
[SV]SystemVerilog covergroup语法小结
元直的博客
03-22 8216
SystemVerilog covergroup语法小结 一、Covergroup定义与收集 1. 1Covergroup定义与例化 Covergroup是承载coverage的容器。 coverage只能收集integral Data types，对于real等类型的数据是不能收集的。 1.2 Covergroup可以定义在何处 Covergroup只能定义在package/class/module/program/checker/interface中。 covergroup...
sv覆盖率如何构建一个表示剩余所有值的仓？
07-14
通过这样的设置，当进行覆盖率采样时，`valid_values` 会覆盖指定的范围 `[0:3]` 内的值，而 `remaining_values` 则会覆盖剩余的所有值，确保所有未显式指定的值都被覆盖到。 需要注意的是，使用 `*` 来表示剩余...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值