ModelSim仿真代码覆盖率分析方法

在用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。或者simulate→start simulate→Others UI界面下勾选enable code coverage选项run-all，如下图所示：

步骤4：查看结果（Instance coverage）
此时，在Instance coverage和file窗口均能看到代码覆盖率结果，如下图所示：

此时可以看到testbench的覆盖率已为100%，sequ_dtcr的覆盖率为97.74%，从右侧文件窗口可以看到尚未走到的分支为状态机的default分支，default分支为防止状态机进入意外状态的设置，正常情况下不会进入该状态。

步骤5：强制进入非法状态
为验证default分支是否按设计意图正常执行，让代码覆盖率达到100%，可以强制使状态机进入一个非法状态（未定义状态），此时可以在Wave窗口选中current_state信号，右键Force然后在Value项填入一个非法状态比如8’h03，如下图所示。也可脚本键入：force -freeze sim:/test/sequ_dtcr_t0/current_state 8’h03 0

然后脚本位置键入run 100ns。再在Wave窗口选中current_state信号，右键NoForce，或脚本键入：noforce sim:/test/sequ_dtcr_t0/current_state，再次键入run 100ns。此时可以看到sequ_dtcr的覆盖率已变为100%。

文本窗口位置default语句前面也变为绿色的对号。

总结

本文仅仅简单介绍ModelSim仿真代码覆盖率分析的使用方法，适用于初学者进行学习。