vcs覆盖率选项

vcs中常用的收集覆盖率选项如下:
1.cm_dir <directory_path_name>
此选项可以设置可替代的名字或者路径来存放simv.vdb.如果没有设置此选项,那么会将simv.vdb存放在-o选项所设置的路径下.如果将simv.vdb存放到新路径下,那么在运行选项中也要添加-cm_dir <directory_path_name>.
-cm_dir base_fun/cov_log时便会将生成的覆盖率文件存放到cov_log.vdb目录下,vcs默认会添加vdb后缀.
2.-cm <cov_metrics_name>
后面可以添加line、cond、tgl、fsm、branch、assert,分别用来收集行、条件、翻转、状态机、分支、断言覆盖率,多个选项同时添加时用+连接.如-cm line+cond+fsm.
3.打开覆盖率界面
通过dve看覆盖率时,可以通过dve -cov打开覆盖率界面,或者dve -dir .vdb;通过verdi看覆盖率时,可以通过verdi -cov打开对应的界面.
4.cm_log
cm_log用于指定仿真过程中记录覆盖率的log文件名.其参数可以在simv.daidir中找到.
export cm_opts += -cm_log KaTeX parse error: Expected group after '_' at position 5: (tc)_̲(cfg)_$(seed)_good.log
在这里插入图片描述
在这里插入图片描述
5.cm_hier
cm_hier用来指定收集覆盖率的层次结构,+”代表查看,“-”代表不查看.后面常见的参数是module表示模块名字,file表示文件名字,tree代表查看某个模块调用的子模块,即实际的dut的层次结构.
在cm_hier后面跟的文件中支持模糊匹配,例如例化了u_switch_0和u_switch_1,关闭此两项的覆盖率可以-tree harness.u_switch_top.u_switch_
1;
默认情况下,所有模块和层次都会收集覆盖率,收集的结果如下:
在这里插入图片描述
添加hie.cfg文件,文件中-module switch,收集覆盖率的结果是没有收集switch.
在这里插入图片描述
tree的基本用法如下:+/-tree xxx.xxx level_number其中level_number为0,表示当前层次及其所属的层次都会收集;1表示仅收集当前层次;2表示收集当前层次及其下面一层;
-tree harness.u_switch_top 表示u_switch_top及其下面的层都不会收集覆盖率.
在这里插入图片描述
+tree harness.u_switch_top.u_switch 表示收集u_switch及其以下的层次的覆盖率.

在这里插入图片描述
6.-assert dumpoff | enable_diag | filter_past
定义SystemVerilog断言(SVA
dumpoff:进制将sva信息dump到vpd中;
enable_diag:使能sva结果报告,由运行选项进一步控制
filter_past:忽略$past中的子序列
7.-cm_assert_hier
将SVA覆盖率统计限定在文件列表中指定的module层次
8.urg生成report
-dir,指定需要拿到的db的hier
-dbname,指定输出的merge db的hier
-elfile,指定exclusive的file,这样更好计算coverage
-format text/both,指定report的输出格式
-parallel,并行merge
9.assert
设计人员在RTL代码中会对关键的信息添加断言,在收集覆盖率时,需要对断言覆盖率进行统计.收集断言覆盖率需要添加-cm assert.

  • 10
    点赞
  • 112
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值