--- html: toc: true embed_local_images: true embed_svg: true --- # 1. exclude 命令的使用 在实际设计中可能存在不需要统计代码覆盖率的代码(如常数变量、defalut 状态等),这些代码会导致代码覆盖率统计虚低。这时需要使用 coverage exclude 将这部分代码排除在代码覆盖率统计之外。 以 QuestaSim 仿真为例,使用 tcl 脚本执行 coverage exclude 命令(该命令需要在 vsim 命令之后执行)。不同的仿真软件在具体命令上可能存在区别。 ## 1.1. 排除文件 以下命令将 fsm.v 整个文件排除覆盖率统计。 ``` coverage exclude -srcfile fsm.v ``` ## 1.2. 排除代码段 以下命令将 fsm.v 中的第 212 行至 219 行的代码排除覆盖率统计。 ``` coverage exclude -srcfile fsm.v -linerange 212-219 ``` 另一种排除的方法是,在 RTL 代码中使用 "// pragma coverage off" 和 "// pragma coverage on",两者之间的代码会被排除覆盖率统计。这种方法只能在 QuestaSim 使用,其他仿真器不支持。 ``` // pragma coverage off RTL code ... // pragma coverage on ``` ## 1.3. 排除信号 以下命令将信号 addr 排除翻转覆盖率的统计。 ``` coverage exclude -togglenode /TB_top/uut/addr ``` 进一步地,也可以将信号的部分比特位排除翻转覆盖率的统计。 ``` coverage exclude -togglenode /TB_top/uut/addr[31:16] ``` ## 1.4. 排除状态 以下命令将状态机 state 的 st1 状态排除在状态机覆盖率统计之外。 ``` coverage exclude -scope /TB_top/uut/addr -fstate state st1 ``` ## 1.5. 排除状态跳转 以下命令将状态机 state 的 st1->st0、st2->st0 两种跳转排除在状态机跳转覆盖率统计之外。 ``` coverage exclude -scope /TB_top/uut/addr -ftrans state st1->st0 st2->st0 ``` ## 1.6. 其他 QuestaSim 中输入以下命令查看完整的 coverage exclude 的使用方法。 ``` coverage exclude -help ```