vcs覆盖率收集 cm_hier指定覆盖率收集层级 假设有如下三个rtl文件,名字分别为a.sv, b.sv, c.sv其层级结构如下: 图片.png 相关命令如下: begin cond+line+tgl+fsm-moduletree a lvl_num end// a模块不收集,其例化的模块根据lvl_num决定begin cond+line+tgl+fsm-tree tb_top.U_A_TOP.U_B end//a模块...
-cm obc:使能可观察覆盖率的编译 -cm_name:修改默认的test目录。对于每一个test,生成的coverage数据,默认是在simv.vdb/snps/coverage/db/testdata/test目录下。比如-cm_name load_test,那么coverage数据,就会生成在simv.vdb/snps/coverage/db/testdata/load_test目录下。 -cm_hier:指定覆盖率统计的范围,可以指定...
默认coverage数据,是在test目录下,可以通过-cm_name选项,修改默认的test目录。 比如-cm_name load_test,那么coverage数据,就会生成在simv.vdb/snps/coverage/db/testdata/load_test目录下。 3. -cm_hier选项 该选项,在coverage technology reference manual手册上有介绍。 官方解释该选项: The-cm_hieroption is a...
-cm_hier 保存模块的层次信息 –cm_log 指定log保存的位置和名字 -sverilog 支持是systemverilog +warn=all 报告所有的warning +lint=all 报告所有的lint +notimingcheck 表示在vcs编译过程中不进行 $setuphold $recrem 等函数的编译,不做时钟检查。 +nospecify 在仿真时忽略库文件中指定的延时 +systemverilogext...
默认coverage数据,是在test目录下,可以通过-cm_name选项,修改默认的test目录。 比如-cm_name load_test,那么coverage数据,就会生成在simv.vdb/snps/coverage/db/testdata/load_test目录下。 3. -cm_hier选项 该选项,在coverage technology reference manual手册上有介绍。
默认coverage数据,是在test目录下,可以通过-cm_name选项,修改默认的test目录。 比如-cm_name load_test,那么coverage数据,就会生成在simv.vdb/snps/coverage/db/testdata/load_test目录下。 3. -cm_hier选项 该选项,在coverage technology reference manual手册上有介绍。
默认coverage数据,是在test目录下,可以通过-cm_name选项,修改默认的test目录。 比如-cm_name load_test,那么coverage数据,就会生成在simv.vdb/snps/coverage/db/testdata/load_test目录下。 3. -cm_hier选项 该选项,在coverage technology reference m...
-cm_fsmresetfiltser :过滤出由if语句控制的赋值语句中的过渡,其中条件表达式(紧跟关键字if)是您在件中指定的信号。-cm_hier :在为,条件,FSM或翻转覆盖率进编译时,指定个配置件,该件指定模块定义,源件或模块实例及其层次结构,您希望VCS从覆盖范围中排除它,或者将其作为为覆盖编译的设计的唯部分。-cm_ignore...
-cm_nocasedef: 在统计case语句的条件覆盖率时,不考虑default条件未达到的情况。 -cm_hier xxx.cfg:通过.cfg文件选择要查看覆盖率的模块或文件。 (2)查看方法 就上面的脚本而言,在make all查看波形之后,再make cov即可查看。或者直接make all1,用verdi查看波形,用DVE查看代码覆盖率。绿色是覆盖到的,红色是没有...