和上一篇文章介绍的cross一样,SV跳变(=>)特性也能够建模出比代码覆盖率更加复杂和丰富的功能覆盖率。
在上面的例子当中有1个跳变覆盖率coverpoint:
bins ar1 = (8’h00 => 8’hFF);
这意味着验证环境需要施加激励,让adr1在连续2个周期内从8’h00跳变到8’hff。
类似地,还有' bins ar2 ',指定了1’b1 => 1’b0的切换。
如果你希望adr1这个值能够连续3拍值f这个场景,可以使用语法
‘hf[*3]
如果不要求连续覆盖,那么可以使用语法
’hf[-> 3]
另外,注意下bins adrb3[] = (1,2=>3,4)这种写法,其实等价于
binsadrb3[]=(1=>3),(1=>4),(2=>3),(2=>4);
SV信号跳变覆盖率非常重要,因为非常多的bug都是出现在这种场景切换上的。
编辑:黄飞
声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。
举报投诉
-
信号
+关注
关注
11文章
2640浏览量
75389 -
代码覆盖率
+关注
关注
0文章
4浏览量
6785
原文标题:如何使用SV建模信号跳变覆盖率
文章出处:【微信号:芯片验证工程师,微信公众号:芯片验证工程师】欢迎添加关注!文章转载请注明出处。
发布评论请先 登录
相关推荐
请问依靠RM48系列MCU的自身资源是否可以实现对时钟的高覆盖率诊断?
本帖最后由 一只耳朵怪 于 2018-5-22 16:25 编辑
MCU型号:RM48目标功能:实现对时钟的高覆盖率诊断背景描述:1. 根据IEC61508-2:2010对时钟高覆盖率诊断
发表于 05-22 01:58
为什么覆盖率分析师没有证明电阻器已经过测试?
您好,我对Coverage Analyst有疑问。我使用的是Coverage Analyst版本5.21p。覆盖率分析师完成覆盖率报告确定(html文件),但我对报告中显示的结果有疑问: - 覆盖率
发表于 01-07 16:06
使用ODDR原语的重要性是什么?
你好我将virtex5 LX50与具有应根据standardEIA / TIA-644 LVDS规范终止的输出数据的设备连接起来我在用着IBUFDS用于将输入LVDS转换为LVTTL,OBUFDS用于输出信号和时钟这是这样做的正确方法为此目的使用ODDR原语的重要性是什么
发表于 06-17 14:59
测试用例质量的重要性
范围内。所有数据类型都是整数。如下图所示的三个测试用例都通过了测试,并且达到了100%的MC/DC覆盖度。图1 这三个测试用例通过并达到了100%的覆盖率图1测试用例都通过并已经达到了100%的覆盖度
发表于 09-02 16:44
嵌入式仿真平台SkyEye的覆盖率分析相关资料下载
代码执娜行覆盖情况的功能,来检测代码中未执行覆盖情况。在覆盖率分析时需要分析嵌入式软件的指令覆盖率、指令函数覆盖率、指令函数分支
发表于 12-17 07:27
关于SpinalHDL中的验证覆盖率收集简单说明
在做RTL仿真验证时,覆盖率收集往往是我们在验证中需要注意的地方,本篇就SpinalHDL中的验证覆盖率收集做一个简单说明。sbt配置在SpinalHDL里进行仿真验证时,我们的待测试代码会生
发表于 06-24 15:56
重点厘清覆盖率相关的概念以及在芯片开发流程中跟覆盖率相关的事项
。提个小建议,即使对SV相关语法很熟悉,实现覆盖率模型的时候还是使用最直接和最简单的方式。这样可以提高可读性,便于维护和评审。03 代码覆盖率代码覆
发表于 09-14 11:57
Systemverilog覆盖率的合并和计算方式
说下sv里覆盖率的计算方式。 说明下,coverpoint有两种,1种是用户自动指定bins,另1种是系统自动生成bins。1个bin如果没有转换或者值,那么这个bin的结果会从Ci计算公式里的分母
发表于 03-21 14:24
代码覆盖率工具的重要性
测试覆盖率是软件质量的重要指标,也是软件维护的重要组成部分。它通过提供不同承保项目的数据来帮助评估测试的有效性。这种洞察力允许通过为未经测试的代码定义新的测试用例来改进测试,从而提高代码质量,最终增加代码
评论