-cm_fsmcfg :指定状态机覆盖率配置文件 -cm_line contassign:收集行覆盖率,并且忽略连续赋值语句 -cm_cond nocasedef:在统计case语句的条件覆盖率时,不考虑default条件未达到的情况 在编译代码的时候加上这些覆盖率选项 -cm line+cond+fsm+tgl+branch -cm_line contassign //收集assign语句的覆盖率 -cm_cond ...
6、态机覆盖率 tgl:编译翻转覆盖率 branch:编译分覆盖率 assert:编译断覆盖率-cm_assert_hier :将断覆盖率的范围限制为指定件中。-cm_cond由个或多个参数指定的修改后的条件覆盖率: basic:只有逻辑条件,没有多个条件。std:仅逻辑和敏感条件。full:完整的逻辑和逻辑,多种情况,不敏感条件。 allops:逻辑和逻辑...
vcs -cm line+tgl \ -cm_dir xxx_compile_path/xxx.vdb \ -f xxx_path/xxx.fl \ -l xxx_compile_path/xxx_compile.log 简单解释如下: -cm line+tgl :表示收集代码行覆盖率和翻转覆盖率,除此之外还有cond|fsm|branch|assert -cm_dir xxx_compile_path/xxx.vdb:指定生成的编译设计及环境信息的路径和...
-kdb vcs仿真会生成verdi的库文件,通常库文件为sim.daidir,库文件里面包含相应代码信息;利用库文件verdi可以快捷打开rtl代码而不需要重新编译 -cm line+tgl+cond+fsm+branch 指定收集覆盖率的类型 -cm_dir 指定放的路径 -cm_hier 保存模块的层次信息 –cm_log 指定log保存的位置和名字 -sverilog 支持是systemver...
cond:使能cond coverage tgl:使能toggle coverage fsm:使能FSM coverage branch:使能branch coverage assert:使能assert coverage 多个选项之间,使用+进行连接。例如,要使能line,fsm coverage,使用如下选项: -cm line+fsm code coverage选项,在编译和仿真的时候,都必须要有,否则不能正常的生成coverage。
cond:使能cond coverage tgl:使能toggle coverage fsm:使能FSM coverage branch:使能branch coverage assert:使能assert coverage 多个选项之间,使用+进行连接。例如,要使能line,fsm coverage,使用如下选项: -cm line+fsm code coverage选项,在编译和仿真的时候,都必须要有,否则不能正常的生成coverage。
vcs覆盖率概念-恢复内容开始-1. vcs脚本命令中包含六种覆盖率分析选项:-cmline|cond|fsm|tgl|path|branch|assert,分别代表?覆盖率|条件覆盖率|状态机覆盖率|翻转覆盖率丨路径覆盖率丨分?覆盖率丨断?覆盖率2. line_coverage:仿真代码中?和语句的覆盖情况;cond_coverage:表明代码中条件语句的覆盖情况;fsm_coverage...
-cmline | fsm | tgl | cond ,指定生成针对什么条件的覆盖率报告。 如下的makefile,就生成上述四个的覆盖率报告。注意,编译和仿真,都要加上-cm这个选项。 执行make vcs,make sim后,会生成simv.vdb文件夹,该文件夹下包含了覆盖率的内容,但是我们需要将内容生成报告,这样,才方便我们查看。
cond:使能cond coverage tgl:使能toggle coverage fsm:使能FSM coverage branch:使能branch coverage assert:使能assert coverage 多个选项之间,使用+进行连接。例如,要使能line,fsm coverage,使用如下选项: -cm line+fsm code coverage选项,在编译和仿真的时候,都必须要有,否则不能正常的生成coverage。
命令选项:-cm line | cond | fsm | tgl | branch | assert 含义:指定监测特定类型的覆盖率 line:监测行覆盖率或者语句覆盖率 cond:监测条件覆盖率 fsm:监测状态机覆盖率 tgl:监测翻转覆盖率 branch:监测分支覆盖率 assert:监测SystemVerilog断言覆盖率 ...