覆盖率类型
覆盖率是用于衡量设计验证完成程度的。常见的覆盖率类型有:功能代码覆盖率、功能覆盖率、漏洞率、断言覆盖率。
代码覆盖率
代码覆盖率是衡量验证进展的最简易的方式,是用于衡量设计的实现情况。这种方式包括下面几种:
- 行覆盖率:多少行代码已经被执行过;
- 路径覆盖率:在穿过代码和表达式的路径中有哪些已经被执行过;
- 翻转覆盖率:哪些单比特变量的值为0或1;
- 有限状态机覆盖率:状态机中哪些状态和状态转换已经被访问过。
功能覆盖率
功能覆盖率用于衡量哪些设计特征已经被测试程序测试过的一个指标。功能覆盖率和设计意图紧密相连,有时也称为“规范覆盖率”。
漏洞率
衡量覆盖率的间接方式——查看新漏洞出现的比率。
断言覆盖率
断言是用于一次性地或在一段时间内核对两个设计信号之间关系的声明性代码。断言可以拥有局部变量,并且可以进行简单的数据检查。
断言最常用于查找错误,一旦检测到错误,就会立刻停止仿真。
Questa下覆盖率的软件操作
代码覆盖率和功能覆盖率
- 修改所有设计文件(.v后缀)的编译选项,如下图所示。
- 编译所有文件,并使用run -all 命令进行仿真。
- 查看代码覆盖率和功能覆盖率。勾选view -> coverage -> code coverage analysis和covergroups。
合并覆盖率
结束仿真后,会在对应文件夹中生成一个.data的文件。在仿真窗口中使用一下命令做覆盖率数据合并操作。
命令:vcover merge -out merged_coverage.ucdb D:\ICVerification\code_test\svCodeTrain\lab5\work
通过Questa打开生成的.ucdb文件,可以查看合并后的覆盖率情况。
分析覆盖率
可以通过Questa生成对应的覆盖率报告,通过分析覆盖率,修改约束或者创建新的测试,以达到验证完备性的要求。
可以选择Tools->Coverage Report->HTML生成报告。
VCS工具覆盖率收集
1 在Makefile文件添加以下代码部分,这部分代码需要在编译和仿真中均添加
#code coverage command
CM = -cm line+cond+fsm+branch+tgl
CM_NAME = -cm_name ${TESTNAME}
CM_DIR = -cm_dir ./${TESTNAME}.vdb
#-cm :打开对应类型的覆盖率,例如 -cm cond+tgl+lin+fsm+path为统计上述所有覆盖率。可根据需要增减。
#-cm_name:设置记录有覆盖率信息文件的名字。
#-cm_dir:指定生成文件的目录。实际上 -cm_name 是为了给 .vdb 文件命名,
#-cm_dir ./ ${OUTPUT}.vdb 是指定 .vdb 文件生成路径为 ./
2 使用dve查看代码覆盖率情况
此处需要添加-full64,否则会报错所在文件夹无效。
dve -full64 -covdir ./*.vdb
3 问题
使用verdi打开代码覆盖率的情况时,报错license问题,暂未解决。
ERROR Could not checkout Verdi Coverage license. Use vdCov -licdebug for more information.