在用 ModelSim 做硬件设计验证的时候,需要了解待测设计(DUT)的代
码覆盖率(code coverage),这就需要用到 ModelSim 自带的 Code Coverage 功
能,ModelSim 代码覆盖率功能 Code coverage,能报告出 statement(语句) 、
branch(分支)、condition(条件)、 expression(表达式)、toggle(信号反
转)、fsm(有限状态机)等多种覆盖率情况,进一步提高了测试的完整性。
下面以序列检测器代码覆盖率仿真为例进行说明。
步骤 1:编译选项(compile options)
在 ModelSim 的 Workspace 里选中需要查看代码覆盖率的文件,使用 Ctrl
键选择多个文件,然后点击右键选择 compile→compile prperties→coverage,选
择前四项(statement,brances,condition,expression)。
步骤 2:编译(compile)
对所选择的文件进行编译,可在命令行窗口敲 compile -all,也可在编译菜
单里选择 compile all。
步骤 3:仿真(simulate )
在命令行窗口输入 vsim -voptargs=+acc -coverage work.test,然后 run -all。