1. coverpoint 简单来说就是一个能够代表设计规格的变量或者变量表达式
2. 每个coverpoint 可以是一个值或者值的切换。
3. “bins”可以由用户定义或由 EDA 工具自动创建。
功能覆盖率就是通过bin的覆盖情况统计出来的。
Coverpoint的语法如上图所示:
covergroup g1 在(posedge clk) 采样。
“oc”是Coverpoint的名称。‘oc’覆盖了2比特变量‘offset’。由于没有指定收集哪些bin,EDA仿真工具会默认为我们创建4个bin(auto[0]、auto[1]、auto[2]、auto[3]),分别表示覆盖2’b00、2‘b01、2’b10、2‘b11
因为上图中所有的场景被被覆盖了,所以覆盖率是100%
审核编辑:刘清
声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。
举报投诉
-
EDA工具
+关注
关注
4文章
267浏览量
31784 -
BIN文件
+关注
关注
0文章
26浏览量
8282
原文标题:什么是coverpoint ?
文章出处:【微信号:芯片验证工程师,微信公众号:芯片验证工程师】欢迎添加关注!文章转载请注明出处。
发布评论请先 登录
相关推荐
牛人对IC验证的独特理解
和 random-test-point以及cover-point和assertion。需要和各个team仔细逐条review testplan,有些针对具体实现的coverpoint可能只有designer
发表于 01-11 10:20
什么是FPV?怎样去搭建FPV验证环境呢?
忽略了相应的coverpoint。在所有的assertion都被证明的情况下,该FPV工程师向验证经理报告这个模块已经全部验证完成了。结果在项目的后期才发现,由于使用了错误的约束assume,实际只验证
发表于 06-27 16:40
搭建FPV验证环境之创建assert与执行FPV简析
如何说服验证经理和你自己,所有的corner case都得到了证明和保证?事实上,很有可能你不小心对RTL过度约束了,从而有可能错误了corner case的bug发现。coverpoint能够证明当前
发表于 06-27 17:15
重点厘清覆盖率相关的概念以及在芯片开发流程中跟覆盖率相关的事项
覆盖率模型的实现,需要用到覆盖组covergroup和覆盖点coverpoint这些语法特性。覆盖组可以定义在package包、module模块、program程序、interface接口或者
发表于 09-14 11:57
分享一个covergroup/coverpoint的示例
’可以在“package’”、“module’”、“program’”、“interface’ ”和“class’”中定义。上图是covergroup关键语法的示意:没有coverpoint
发表于 09-29 15:09
介绍一些SVA基本的概念和常用的语法
overconstraint ,这样有些东西就可能被漏掉。所以coverpoint在FV里面至关重要。一般来说,FV上来就先写coverpoint,先规划好哪些点需要覆盖。其次还是assertion
发表于 10-27 16:37
Systemverilog覆盖率的合并和计算方式
covergroup, coverpoint, and cross)。其它两个是instanceoption,也就是说在例化covergroup的时候可以更改它们的值,从而造成各种类型的instances,可以理解为
发表于 03-21 14:24
systemverilog bins是如何去定义的
功能覆盖率覆盖的就是一个个的coverpoint bins(不同的变量),对于一个8bit addr,那么默认的bins就是8‘h00~8’hFF,当然也可以显式地指定不同值之间的切换为一个bins。
评论