卢骏 · 2020年07月29日

使用VCS生成覆盖率报告

对于vcs工具,支持生成覆盖率报告,通过查看覆盖率报告,即可知道设计中有什么问题。

要生成覆盖率报告,要在编译和仿真的时候,加入一个选项。

-cm line | fsm | tgl | cond , 指定生成针对什么条件的覆盖率报告。

如下的makefile,就生成上述四个的覆盖率报告。注意,编译和仿真,都要加上-cm这个选项。
1.png

执行 make vcs , make sim后,会生成simv.vdb文件夹,该文件夹下包含了覆盖率的内容,但是我们需要将内容生成报告,这样,才方便我们查看。
2.png

生成报告,使用的是 urg命令,该命令也是属于vcs工具里面的。

3.png

-dir: 指定 .vdb文件夹的位置

-report: 指定生成报告的格式,报告格式有两种,一种网页格式,一种text格式。这里,both代表生成两种。

执行 make urg后,就会生成both文件夹。
4.png

这文件夹下的文件,就是覆盖率报告了。
5.png

打开dashboard.html。可以看到整体的一些信息。

6.png

但是我们关心的是设计的,而不是testbench的。点击hierarchy,得到层次。
7.png

点击u1,也就是设计的顶层。可以看到关于该顶层的信息。因为在顶层,都是调用各个子模块(这里是调用band_generaterx_tx, uart_txd模块),所以没有line的覆盖率统计,但是有TOGGLE的覆盖率统计,也就是信号的翻转。
8.png

从上面可以看出,对于rst_n信号,没有从1->0的翻转,而这个信号是testbench中传递的,因此看出,在testbench设计,对于rst_n信号产生,有潜在问题。

点击左下角的uart_txd_1,查看该模块的信息。
9.png

对于该设计,因为有具体的实现,所以可以看到有line的覆盖率,toggle的覆盖率,FSM的覆盖率。

对于line覆盖率,从报告看出,总共有42行,覆盖到了41行。通过查看代码,可以知道是哪一行没有被执行到。
10.png

对于toggle覆盖率。从报告看出,只有rst_n有问题,而这问题是testbench的的潜在问题造成的。

11.png

对于FSM的检查。从报告看出,每个状态都有被覆盖到。但是从有些状态跳转到另外的状态,没有被覆盖到。因此造成FSM的覆盖率不高。

12.png

通过查看覆盖率报告,可以查找到设计的缺陷,从而进行修正。

更多相关阅读

svlib(5) – ini文件操作
system verilog变量定义编译失败
svlib(4) – 正则表达式

原文首发于骏的世界博客
作者:卢骏
更多IC设计相关的文章请关注IC设计极术专栏,每日更新。

推荐阅读
关注数
10943
内容数
1209
主要交流IC以及SoC设计流程相关的技术和知识
目录
极术微信服务号
关注极术微信号
实时接收点赞提醒和评论通知
安谋科技学堂公众号
关注安谋科技学堂
实时获取安谋科技及 Arm 教学资源
安谋科技招聘公众号
关注安谋科技招聘
实时获取安谋科技中国职位信息