Modelsim的仿真之路（代码覆盖率）

01

对于仿真的激励测试，其实会有代码覆盖率一说，不过我们平常可能更多是功能覆盖，代码覆盖估计关注的人要少些，不过作为相对系统性的学习，还是大概看下这个功能吧~

02

涉及到的测试代码文件就文末自行获取了，直接开始正题吧。

把文件准备好后，打开Modelsim，将路径切换到对于的文件路径

例：cd E:/Soft_File/Sim_File/coverage

接着创建工作库（work）=> 编译.v文件（指定覆盖测试的类项）

vlib work
vlog *.v +cover=bcesxf 

附：代码覆盖率，在Modelsim中提供了以下几种覆盖的类型，简单说明一下

A-语句覆盖（Statement coverage）：逐行统计每个语句的执行情况

B-分支覆盖（Branch coverage）：统计每个条件“if/then/else”和“case”的执行情况

C-条件覆盖（Condition coverage）：算是分支覆盖的扩展吧，把判断条件都覆盖到

D-表达式覆盖（Expression coverage）：和条件覆盖又有点相似，就表达式左右侧的比对

E-跳转覆盖（Toggle coverage）：逻辑节点的跳转，状态发生变化的意思

F-FSM覆盖（FSM coverage）：有限状态机的状态、转换还有路径统计

G-SystemVerilog类覆盖（SystemVerilog class coverage）：这部分没咋涉及过，应该是SV的类统计

然后命令中的 +cover=bcesxf大概就知道是指什么了吧？除了x要特殊一丢丢

		*branch, condition,expression, statement, extended toggle, finite state machine*