0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看技术视频
  • 写文章/发帖/加入社区
会员中心
创作中心

完善资料让更多小伙伴认识你,还能领取20积分哦,立即完善>

3天内不再提示

systemverilog bins是如何去定义的

工程师邓生 来源:芯片验证工程师 作者:验证哥布林 2022-09-26 11:05 次阅读

“bins”是在功能覆盖率coverpoint中收集设计特性用的。

功能覆盖率覆盖的就是一个个的coverpoint bins(不同的变量),对于一个8bit addr,那么默认的bins就是8‘h00~8’hFF,当然也可以显式地指定不同值之间的切换为一个bins。

从这个角度来理解,coverpoint bins非常容易理解,但是涉及到具体的应用还是会有很多问题需要考虑的。

88ff28de-3c72-11ed-9e49-dac502259ad0.png

例如,在下面的声明中,将创建多少个bins?

bins adrbin1 = {[0:3]};

16个、4个还是1个。

答案是1个bin,相当于覆盖了

poYBAGMxFwyAaWtLAAAikA2Q0-A752.jpg

注意上面的写法' bins adrbin1 '没有[]括号。换句话说,' bins adrbin1 '不会为' addr '值{[0:3]}自动创建4个bins,而是只创建1个bins来覆盖值' 0 ',' 1 ',' 2 ',' 3 '。

也就是说,只要覆盖了0~3其中的一个,这个coverpoint覆盖率就是100%

但是,如果你希望分别收集变量“adr”的每个值,该怎么办呢。应该按照下面的这种写法,加上“[]”

binsadrbin2[]={[4:5]};

这时候会为4、5分别创建一个bins,只有4和5全部覆盖,这个coverpoint的覆盖率才是100%

在开发SV功能覆盖率模型时可能没有办法把所有的值都写满,这个时候可以利用符号“$”,很多语义下它都代表着无限大的意思。对于一个8bit addr变量

bins adr[] =  {[31:$]}

就意味着显式地收集{[31:255]}



审核编辑:刘清

声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉
  • Verilog
    +关注

    关注

    28

    文章

    1340

    浏览量

    109904
  • 变量
    +关注

    关注

    0

    文章

    613

    浏览量

    28298

原文标题:什么是systemverilog bins?

文章出处:【微信号:芯片验证工程师,微信公众号:芯片验证工程师】欢迎添加关注!文章转载请注明出处。

收藏 人收藏

    评论

    相关推荐

    [启芯公开课] SystemVerilog for Verification

    学快速发展,这些趋势你了解吗?SystemVerilog + VM是目前的主流,在未来也将被大量采用,这些语言和方法学,你熟练掌握了吗?对SoC芯片设计验证感兴趣的朋友,可以关注启芯工作室推出的SoC芯片
    发表于 06-10 09:25

    systemverilog学习教程

    systemverilog的一些基本语法以及和verilog语言之间的区别。
    发表于 04-01 14:24

    round robin 的 systemverilog 代码

    大家好,我对一个 round robin 的 systemverilog 代码有疑惑。https://www.edaplayground.com/x/2TzD代码第49和54行是怎么解析呢 ?
    发表于 03-14 19:16

    做FPGA工程师需要掌握SystemVerilog吗?

    在某大型科技公司的招聘网站上看到招聘逻辑硬件工程师需要掌握SystemVerilog语言,感觉SystemVerilog语言是用于ASIC验证的,那么做FPGA工程师有没有必要掌握SystemVerilog语言呢?
    发表于 08-02 20:30

    SystemVerilog有哪些标准?

    SystemVerilog有哪些标准?
    发表于 06-21 08:09

    SystemVerilog Assertion Handbo

    SystemVerilog Assertion Handbook1 ROLE OF SYSTEMVERILOG ASSERTIONSIN A VERIFICATION METHODOLOGY
    发表于 07-22 14:08 188次下载

    SystemVerilog的断言手册

    SystemVerilog Assertion Handbook1 ROLE OF SYSTEMVERILOG ASSERTIONSIN A VERIFICATION METHODOLOGY
    发表于 07-22 14:12 20次下载

    SystemVerilog的正式验证和混合验证

    手册的这一部分探讨了使用SystemVerilog进行验证,然后查看了使用SystemVerilog的优点和缺点。
    发表于 03-29 10:32 24次下载

    SystemVerilog对硬件功能如何进行建模

    本文定义了通常用于描述使用SystemVerilog对硬件功能进行建模的详细级别的术语。
    的头像 发表于 03-30 11:42 1629次阅读

    SystemVerilog中的struct

    SystemVerilog“struct”表示相同或不同数据类型的集合。
    的头像 发表于 11-07 10:18 2345次阅读

    怎样使用SystemVerilog中的Static方法呢

    systemverilog中方法也可以声明为“static”。静态方法意味着对类的所有对象实例共享。在内存中,静态方法的声明存储在一个同一个地方,所有对象实例都可以访问。
    的头像 发表于 11-18 09:31 1013次阅读

    SystemVerilog中的Shallow Copy

    SystemVerilog中的句柄赋值和对象复制的概念是有区别的。
    的头像 发表于 11-21 10:32 849次阅读

    从Verilog PLI到SystemVerilog DPI的演变过程

    写过Verilog和systemverilog的人肯定都用过系统自定义的函数$display,这是预定好的,可以直接调用的功能。
    的头像 发表于 05-16 09:27 848次阅读
    从Verilog PLI到<b class='flag-5'>SystemVerilog</b> DPI的演变过程

    SystemVerilog里的regions以及events的调度

    本文讲一下SystemVerilog的time slot里的regions以及events的调度。SystemVerilog语言是根据离散事件执行模型定义的,由events驱动。
    的头像 发表于 07-12 11:20 1415次阅读
    <b class='flag-5'>SystemVerilog</b>里的regions以及events的调度

    ignore_bins和default两者之间有些什么细微差别呢?

    SystemVerilog中,经常会需要将一些值或者翻转行为从覆盖率中排除掉,ignore_bins是经常被用到的一种方式,其实除了ignore_bins之外
    的头像 发表于 07-14 10:12 1782次阅读
    ignore_<b class='flag-5'>bins</b>和default两者之间有些什么细微差别呢?