VCS入门教程(三) 覆盖率+Makefile
一、前言
本文主要介绍使用VCS查看verilog代码覆盖率的相关问题。
二、代码覆盖率
1.
在进行功能验证时,给设计添加激励信号,查看仿真结果,需要考虑覆盖率的问题。覆盖率分为代码覆盖率(code coverage)和功能覆盖率(function coverage)。功能覆盖率就是检查设计的功能是否完善,需要考虑很多不同的情况,是使用System verilog的重点内容。代码覆盖率是检查代码是否存在冗余,检查所有的代码是否都已经执行,状态机所有的状态是否都有到达,检查 if else 和 case 条件语句的条件是否都有使用。防止一些不必要的代码浪费芯片面积,毕竟面积就意味着钱。我们这里只讨论代码覆盖率。
对于我们写的RTL代码,通常考虑以下覆盖率:
行覆盖率:覆盖多少行
翻转Toggle coverage:检查电路的每个节点是否都有 0 -> 1 和 1 -> 0 的跳变。这种检查通常会使仿真变慢很多。
条件conditional coverage:检查条件语句是否覆盖了所有的情况。 比如有时写了if 语句,没有写else语句。
状态机FSM coverage: 状态机覆盖率,检查状态机所有的状态是否都到达过。
路径path coverage:在always语句块和initial语句块中,有时会使用 if ... else 和 case 语句,在电路结构上便会产生一系列的数据路径。检查这些路径的覆盖情况。
2.
VCS在统计代码覆盖率的过程中,我们通常在编译和仿真命令上添加对应的开关选项,生成一个 .vdb文件记录覆盖率的情况。再使用dve打开该文件查看。下面介绍一些选项。
编译命令的格式:vcs sourcefile [compile_time_option] (编译选项用来控制编译过程)
执行仿真命令格式:./simv [run_time_option]
-cm :打开对应类型的覆盖率,例如 -cm cond+tgl+lin+fsm+path为统计上述所有覆盖率。可根据需要增减。··1
-cm_name:设置记录有覆盖率信息文件的名字。
-cm_dir:指定生成文件的目录。
-cm_dir ./ ${OUTPUT}.vdb
是指定 .vdb 文件生成路径为 ./ 。
./ 代表在当前目录下生成.因为OUTPUT = cov_test,所以最后在当前目录生成了 cov_test.vdb文件。
以上三个选项编译仿真过程都要加上。下面的选项在编译过程加上。
-cm_log + filename.log:.log文件记录仿真过程中统计覆盖率的信息。用的比较少。
-cm_nocasedef: 在统计case语句的条件覆盖率时,不考虑default条件未达到的情况。
-cm_hier vcs_cov.cfg:通过.cfg文件(名字随便取)选择要查看覆盖率的模块/文件。
图 1
“+”代表查看,“-”代表不查看。
tree代表查看某个模块调用的子模块。
在文件内部,可以使用特殊注释来打开和关闭代码覆盖率的统计:
//VCS coverage on 统计代码覆盖率
.......
//VCS coverage off 不统计代码覆盖率
在上述注释之间的内容,统计覆盖率。其余地方不统计。
3.
修改VCS入门教程(二)中的makefile,新增统计代码覆盖率的内容
.PHONY:com sim debug cov clean OUTPUT = cov_test ALL_DEFINE = +define+DUMP_VPD #code coverage command CM = -cm line+cond+fsm+branch+tgl CM_NAME = -cm_name ${OUTPUT} CM_DIR = -cm_dir ./${OUTPUT}.vdb //-cm :打开对应类型的覆盖率,例如 -cm cond+tgl+lin+fsm+path为统计上述所有覆盖率。可根据需要增减。 //-cm_name:设置记录有覆盖率信息文件的名字。 //-cm_dir:指定生成文件的目录。实际上 -cm_name 是为了给 .vdb 文件命名, //-cm_dir ./ ${OUTPUT}.vdb 是指定 .vdb 文件生成路径为 ./ 。 ./ 代表在当前目录下生成.因为OUTPUT = cov_test,所以最后在当前目录生成了 cov_test.vdb文件。 VPD_NAME = +vpdfile+${OUTPUT}.vpd VCS = vcs -sverilog //-sverilog 打开对Systemverilog的支持,编译Systemverilog文件时使用。 +v2k //+v2k是使VCS兼容verilog 2001以前的标准。 -timescale=1ns/1ns //-timescale=1ns/1ns 设置仿真精度 -o ${OUTPUT} // -o simv_file 编译默认产生的可执行文件为simv,可以使用 -o 更改可执行文件名。 -l compile.log //使用-l run.log 记录终端上产生的信息。 ${VPD_NAME} \ ${ALL_DEFINE} \ ${CM} \ ${CM_NAME} \ ${CM_DIR} \ -debug_pp //-debug_all用于产生debug所需的文件。将 -debug_all 选项 更改为 -debug_pp。打开生成 VPD 文件的功能,关掉UCLI的功能,节约编译时间。 \ -Mupdate // -Mupdate 源文件有修改时,只重新编译有改动的.v文件,节约编译时间。 // -R 编译后立即运行,即编译完成后立即执行 ./simv //-l readme.log 用于将编译产生的信息放在log文件内。 SIM = ./${OUTPUT} ${VPD_NAME} \ ${CM} \ ${CM_NAME} \ ${CM_DIR} \ -l ${OUTPUT}.log //-cm_log + filename.log: .log文件记录仿真过程中统计覆盖率的信息。用的比较少。 //-cm_nocasedef: 在统计case语句的条件覆盖率时,不考虑default条件未达到的情况。 //-cm_hier vcs_cov.cfg: 通过.cfg文件(名字随便取)选择要查看覆盖率的模块/文件。 com://编译 ${VCS} -f filelist.f //使用-f verilog_file.f 选项,即可将.f文件里的源码全部编译。 sim://仿真 ${SIM} #show the coverage cov: dve -covdir *.vdb & debug: dve -vpd ${OUTPUT}.vpd & clean: rm -rf ./csrc *.daidir *.log simv* *.key *.vpd ./DVEfiles ${OUTPUT} *.vdb
三、示例
测试源码放在文章末尾链接内。
设计一个选择器
在测试激励中,故意使 a = 1'b1 b = 1'b1 c = 1'b0 的情况不出现。使其覆盖率发生遗漏。
设计一个状态机
状态机存在 2'd0 -> 2'd1 的跳变,而 2'd1 -> 2'd0 的跳变没有发生过。
使用 make com 编译,make sim 仿真,make cov 查看代码覆盖率。make cov运行之后,dve界面打开的如下
单击箭头1处加号,再双击箭头2处的U1,查看设计的代码覆盖率。
行覆盖率,第25行未执行过。
Toggle coverage:大量节点都没有 0 -> 1 和 1 -> 0 两种跳变
FSM coverage : 2'd1 -> 2'd0 的转换没有发生过。
condition 和 Branch(Path) 的覆盖率可自行查看。
四、结束语
本文主要介绍代码覆盖率的内容,对测试完整性来讲较为重要,通过一个小例子讲述了整个流程,具体使用时还要具体问题具体分析。
示例源码:
提取码:uiuu