-cm line+cond+fsm+tgl+branch+assert指定了要收集的行、条件、状态机、翻转、分支和断言覆盖率。 -cm_dir ./coverage_data指定了覆盖率数据将存放在./coverage_data目录下。 -cm_name test_case_1指定了生成的覆盖率文件的名字为test_case_1。 my_design.v是待编译的Verilog源文件。 3. 其他有用的编译选...
-cm line+tgl :表示收集代码行覆盖率和反转覆盖率 -cm_dir xxx_compile_path/xxx_testcase_path/xxx.vdb:指定生成的仿真覆盖率信息的路径和名称 -cm_name xxx_test_name :用于指定覆盖率信息在simv.vdb文件中的所在目录名称 -cm_test xxx_compile_path/xxx_testcase_path/xxx_test_name :类似-cm_name,后...
-cm line+cond+fsm+tgl+branch // -cm:指定使能覆盖率的类型,包括:line、cond、fsm、tgl、path、branch和assert -cm_linecontassign // 收集行覆盖率,并且忽略连续赋值语句 -cm_noseqconst // -cm_cond allops+anywidth+event // -cm_cond:由一个或多个参数指定的修改后的条件覆盖率 basic:只有逻辑条件...
命令选项:-cm line | cond | fsm | tgl | branch | assert 含义:指定监测特定类型的覆盖率 line:监测行覆盖率或者语句覆盖率 cond:监测条件覆盖率 fsm:监测状态机覆盖率 tgl:监测翻转覆盖率 branch:监测分支覆盖率 assert:监测SystemVerilog断言覆盖率 注意:如果希望VCS监测超过1种类型的覆盖率,可以在不同声明...
-cm line+cond+fsm+tgl+branch -cm_line contassign //收集assign语句的覆盖率 -cm_cond allops+anywidth+event -cm_noseqconst -debug_all 2、覆盖率查看 2.1 dve查看 dve -full64 -cov -dir simv.vdb -elfile uart.el & 2.2 verdi查看
vcs -cm line : enable line coverage IF it crashes, to clean up do the following: rm -rf physcial_lib_dirs/*, simv*, csrc* OPTIMISE = FALSE -- In synopsys_sim.setup vcs -gui -debug : only show if compilation is successfull
-cmline | fsm | tgl | cond ,指定生成针对什么条件的覆盖率报告。 如下的makefile,就生成上述四个的覆盖率报告。注意,编译和仿真,都要加上-cm这个选项。 执行make vcs,make sim后,会生成simv.vdb文件夹,该文件夹下包含了覆盖率的内容,但是我们需要将内容生成报告,这样,才方便我们查看。
-cm line+cond+fsm+branch+tgl为生成什么条件的覆盖率 Makefile文件中覆盖率脚本: 执行vcs 产生的.vdb文件为产生覆盖率的信息 一步步cd进去可以看到coverage文件 下面进行覆盖率查看,输入如下命令 dve -covdir *.vdb & 弹出DVE界面,通过DVE查看覆盖率(方法1) ...
-cm line|cond|fsm|tgl|branch|assert指定针对指定的覆盖率类型进编译。 参数指定了覆盖范围的类型: line:编译覆盖率如果您希望VCS编译多种类型的Coverage,使加号(+)作为参数之间的分隔符例如:-cm line + cond + fsm + tglcond:编译条件覆盖率 fsm:编译状 6、态机覆盖率 tgl:编译翻转覆盖率 branch:编译分...
3. 在simulation step添加这些option:“-cm line+cond+fsm+tgl+branch” 仿真产生的coverage data会放在simv.vdb目录下,用“dve -covdir *.vdb”会以GUI形式打开。 coverage 相关命令,产生coverage report的命令 urg -lca -dir <simv1.vdb simv2.vdb ….> -format <text|html|both> -log <log_file_nam...