使用的较多的是-cm, -cm_name, -cm_dir 这三个选项编译和仿真过程都要加上。 -cm:指定使能覆盖率的类型,包括:line、cond、fsm、tgl、path、branch和assert -cm_count:在统计是否覆盖的基础上,进一步统计覆盖的次数 -cm_dir :指定覆盖率统计结果的存放路径,默认是simv.vdb,更改默认的coverage model生成的目录...
-cm_assert_hier,将SVA覆盖率统计限定在文件列表中指定的module层次 BruceSong数字集成电路技术类博客 __EOF__
-cm_assert_hier <filename> 将SVA覆盖率统计限定在文件列表中指定的module层次。 -cm_cond <arguments> 进一步细化条件覆盖率的统计方式,包括:basic,std,full,allops,event,anywidth,for,tf,sop等选项。 -cm_count 在统计是否覆盖的基础上,进一步统计覆盖的次数 -cm_dir <directory_path_name> 指定覆盖率统计...
默认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 line+cond+fsm+tgl+branch+assert。 -cm_dir:用于指定覆盖率数据存放的目录。如果不指定,覆盖率数据将默认存放在simv.vdb目录下。通过指定该选项,可以将覆盖率数据存放在更易于管理的位置。 -cm_name:用于指定生成的覆盖率文件的名字。这有助于在包含多个测试...
-cm assert 添加打开的覆盖率类型,包括:line(行覆盖)、cond(条件覆盖)、fsm(状态机覆盖)、tgl(翻转率覆盖)、path(路径覆盖)、branch(分支覆盖)和assert(断言覆盖)。 如果包括两种或以上的覆盖率类型,可用“+”,如-cm line+cond+fsm+tgl -cm_hier ../cfg/rtl_vcm.cfg ...
assert:使能assert coverage 多个选项之间,使用+进行连接。例如,要使能line,fsm coverage,使用如下选项: -cm line+fsm code coverage选项,在编译和仿真的时候,都必须要有,否则不能正常的生成coverage。 编译如果带有coverage coverage选项,会在编译目录下,...
-ams_iereport：在VCS 两步模式下提供⾃动插⼊的连接模块（AICM）信息。-as ：指定备⽤汇编器。仅适⽤于增量编译模式，这是默认设置。 IBM RS / 6000 AIX不⽀持。-ASFLAGS ：将选项传递给汇编器。IBM RS / 6000 AIX不⽀持。-assert <keyword_argument> keyword_argument如下 disable_cover：禁⽤...
vcs -sverilog +v2k +plusarg_save -ntb_opts uvm-1.1 \\ -f XXX/lib/vcs.f \\ +define+ASSERT_ON \\ -cm assert +define+COVER_ON \\ +define+XXX \\ +nospecify +lint=TFIPC-L +notimingcheck -debug_acc -j4 \\ -XgenLoopOpt=0x200 \\ -timescale=1ns/1fs +vcs+lic+wait -full64...
-cm_assert_hier,在编译过程中,只是指定不收集coverage的assert hier。 其中hier的表示,+/- module,+/- tree,+/-assert -cm_count,在gui和urg report中,显示次数,比如toggle的次数。 -cm_glitch period,不收集一定范围的glitch的coverage。simulation option ...