温馨提示×

温馨提示×

您好,登录后才能下订单哦!

密码登录×
登录注册×
其他方式登录
点击 登录注册 即表示同意《亿速云用户服务条款》

Linux下VCS覆盖率检查是什么

发布时间:2021-10-21 17:39:08 来源:亿速云 阅读:238 作者:柒染 栏目:互联网科技

本篇文章为大家展示了Linux下VCS覆盖率检查是什么,内容简明扼要并且容易理解,绝对能使你眼前一亮,通过这篇文章的详细介绍希望你能有所收获。

在一个芯片验证的工程中,通常以代码覆盖率和功能覆盖率来体现验证是否完备,而代码覆盖率包括:行,状态机,翻转,条件,分支覆盖率。为了保证验证的充分性,我们要尽可能保证这五种类型的代码覆盖率达到100%。

行覆盖率  line coverage 要求百分之99-100

状态机覆盖率 FSM coverage

条件覆盖率 conditional coverage

翻转覆盖率 Toggle coverage :0->1 ,1->0

路径覆盖率 Path coverage :initial 和always里的语句

分支覆盖率 branch coverage

-cm line+cond+fsm+branch+tgl为生成什么条件的覆盖率

Makefile文件中覆盖率脚本:

Linux下VCS覆盖率检查是什么

执行vcs

Linux下VCS覆盖率检查是什么

产生的.vdb文件为产生覆盖率的信息

Linux下VCS覆盖率检查是什么

一步步cd进去可以看到coverage文件

Linux下VCS覆盖率检查是什么

下面进行覆盖率查看,输入如下命令 dve -covdir *.vdb &

Linux下VCS覆盖率检查是什么

弹出DVE界面,通过DVE查看覆盖率(方法1)

Linux下VCS覆盖率检查是什么

双击tb_state 进入,可以看到代码会有颜色标注,覆盖到的为绿色,没有覆盖到的为红色

Linux下VCS覆盖率检查是什么

Linux下VCS覆盖率检查是什么


Line coverage

Linux下VCS覆盖率检查是什么

Toggle coverage

Linux下VCS覆盖率检查是什么

FSM coverage

Linux下VCS覆盖率检查是什么

Condition coverage

Linux下VCS覆盖率检查是什么

Branch coverage

Linux下VCS覆盖率检查是什么


通过URG查看覆盖率(方法2),可以以文本格式或者网页格式显示覆盖率

Linux下VCS覆盖率检查是什么

点击run,产生urgReport;

Linux下VCS覆盖率检查是什么

Linux下VCS覆盖率检查是什么


或者在命令栏urg -dir *.vdb &

Linux下VCS覆盖率检查是什么

ls之后可以看到urgReport,cd进去可以看到.html文件和 .xml文件

Linux下VCS覆盖率检查是什么

Linux下VCS覆盖率检查是什么

会显示很详细的覆盖率报告

Linux下VCS覆盖率检查是什么

Tb文件:

Linux下VCS覆盖率检查是什么

Linux下VCS覆盖率检查是什么

Linux下VCS覆盖率检查是什么

Linux下VCS覆盖率检查是什么

Module文件

Linux下VCS覆盖率检查是什么

Linux下VCS覆盖率检查是什么

Linux下VCS覆盖率检查是什么

Linux下VCS覆盖率检查是什么

Linux下VCS覆盖率检查是什么

上述内容就是Linux下VCS覆盖率检查是什么,你们学到知识或技能了吗?如果还想学到更多技能或者丰富自己的知识储备,欢迎关注亿速云行业资讯频道。

向AI问一下细节

免责声明:本站发布的内容(图片、视频和文字)以原创、转载和分享为主,文章观点不代表本网站立场,如果涉及侵权请联系站长邮箱:is@yisu.com进行举报,并提供相关证据,一经查实,将立刻删除涉嫌侵权内容。

AI