-cm_line contassign:收集行覆盖率,并且忽略连续赋值语句 -cm_cond nocasedef:在统计case语句的条件覆盖率时,不考虑default条件未达到的情况 在编译代码的时候加上这些覆盖率选项 -cm line+cond+fsm+tgl+branch -cm_line contassign //收集assign语句的覆盖率 -cm_cond allops+anywidth+event -cm_noseqconst ...
VCS命令详解（⼀）：编译命令 VCS仿真命令详解 本⽂中所有命令基于VCS2014版 编译时候的命令（按字母排序）A -ams：允许在VCS两步模式下使⽤Verilog-AMS代码。-ams_discipline <discipline_name>：在VCS两步模式下，指定VerilogAMS中的默认离散规则。-ams_iereport：在VCS 两步模式下提供⾃动插⼊的连接模块...
-cm_name :作为编译时或运时选项,指定中间数据件的名称。-cm_noconst:告诉VCS不要监视由于信号始终为1或0值永远法满的条件或永远法执的线路。-cm_pp gui|batch告诉VCS启动cmView,默认情况下启动cmView n批处理模式以写报告: gui:指 11、定启动cmView图形户界,不是编写报告。batch:指定以批处理模式启动cm...
-cm_noconst Tells VCS not to monitor for conditions that can never be met or lines that can never execute because a signal is permanently at a 1 or 0 value. -cm_obc top in observed coverage, use this option with the -cm_hier option. Be sure to include the keyword top. This option...
vcs source.v -v mylib.v -y /net/libs/teamlib -cm fsm -cm_libs yv+celldefine To prevent this lowering of coverage percentages, use the -cm_noconst compile-time option Constant filtering for toggle coverage is available only for Verilog-only designs ...
-cm_libs vy+celldefine:编译选项。VCS默认不对参考库中的设计和cell进行 覆盖报告,加入该选项可以实现上述功能, -cm_noconst:编译选项。指示VCS对代码中恒为1或0所导致的非执行代码也进行 覆盖报告。 -cm_name testname:编译选项。将默认的test.line、test.tgl等的名字改为 testname.line、testname.tgl等。
RTL验证工具：VCS简介
-cm_libs vy+celldefine:编译选项。VCS默认不对参考库中的设计和cell进行 覆盖报告,加入该选项可以实现上述功能, -cm_noconst:编译选项。指示VCS对代码中恒为1或0所导致的非执行代码也进行 覆盖报告。 -cm_name testname:编译选项。将默认的test.line、test.tgl等的名字改为 testname.line、testname.tgl等。
-cm_name filename As a compile-time or runtime option, specifies the name of the intermediate data files. -cm_noconst Tells VCS not to monitor for conditions that can never be met or lines that can never execute because a signal is permanently at a 1 or 0 value. -cm_pp [gui]|[...
VCS compiles for line andcondition coverage as ifthese signals were permanently at the specified values and you included the -cm_noconst option.-cm_dir Specifies and alternative name and location for the simv 30、.cm directory.cm_fsmcfg Specifies an FSM coverage configuration ilc.-cm_fsmopt ...