文档介绍：该【modelsim-中代码覆盖率使用详解 】是由【朱老师】上传分享，文档一共【13】页，该文档可以免费在线阅读，需要了解更多关于【modelsim-中代码覆盖率使用详解 】的内容，可以使用淘豆网的站内搜索功能，选择自己适合的文档，以下文字是截取该文章内的部分文字，如需要获得完整电子版，请下载此文档到您的设备，方便您编辑和打印。一、代码覆盖率Modelsim代码覆盖率功能Codecoverage,能报告出statement〔语句〕、branch〔分支〕、condition〔条件〕、expression〔表达〕、toggle〔信号翻转〕、fsm〔有限状态机〕等多种覆盖率情况。1、pileoption〕:在Modelsim的Workspace里选中需要查看代码覆盖率的文件,pile—>compileproperties,如以下图,之后选择“Coverage〞选项,出现以下图所示的窗口,根据需要选择选项,这里选statement、branch、condition、expression和toggle。选完点ok。2、pile〕点工具栏中的,编译所有的选中的文件,成功后进行下面的步骤。仿真〔simulate〕点工具栏中的,出现下面的窗口:〔注:不要选择“Enableoptimization〞〕选择Others,出现如以下图所示的窗口:选择“Enablecodecoverage〞后点“ok〞后出现下面的窗口:4、观察结果完成以上操作后,代码覆盖率的窗口就出现了,点击〔run–all〕之后代码覆盖率的情况就出现在各窗口中。下面介绍各子窗口:〔1〕Workspace窗口在workspace窗口选择Files标签页并拖动滚动条到右侧,设计的每个文件显示了语句、分支、条件和表达式等语句的执行覆盖率汇总统计信息。在workspace窗口选择Files标签页并拖动滚动条到右侧,本窗口将以设计中的每一条目来显示执行覆盖统计。〔2〕MissedCoverage〔未覆盖到对象列表窗〕窗口本窗口用于显示所选择文件未被执行的语句、分支、条件、表达式或未翻转过的信号。在workspace窗口的Files标签页中选择不同的文件,MissedCoverage窗口的显示会随着选择的文件而更新。上图为分支覆盖率的情况上图为statementcoverage〔语句覆盖率〕的情况。此时选择任何一个实体在源代码窗口中显示相应的行,设计如果包含为被执行的语句或分支的行,那么被粉红色高亮显示,如以下图。图中包含了Hits和BC栏用来显示语句执行〔statementHits〕和分支覆盖〔BC〕的情况。如以下图所示,在主窗口菜单栏选择Tool—>CodeCoverage—>,这些数字代表了该语句或分支被执行的次数。下表描述了个图标的含义:图标描述表示本语句已被执行过表示本行的某语句从未被执行过或表示条件语句的“真〞或“假〞分支未被执行过表示本行被指示不做代码覆盖统计〔3〕CurrentExclusion〔当前不做覆盖率统计列表窗〕本窗口用于列出所指定的不进行覆盖统计的所有文件和行。设置排出文件如图,右击所选中的项,按图所示操作,操作完后,在CurrentExclusion窗口就会出现被排除的文件,同时源代码窗口的Hits栏的一些行会出现,说明这些行不做代码覆盖统计。在CurrentExclusion窗口中右击需要取消排除设置的文件,选择CancelSelectedExclusions,恢复成原状,可以做代码覆盖率。设置排出行如图,在源代码窗口右击Hits栏中需要排除行的图标,图中为105行,选择第一个选项。之后,在CurrentExclusion窗口会显示出被排除的行信息,同时在源代码窗口,被排除行的Hits栏会出现,说明该行不做代码覆盖统计。取消排除行操作同上。〔4〕Details〔详细资料窗〕窗口:本窗口显示了如真值表或翻转细节等详细的未被覆盖到的情况。当在MissedCoverage窗口中选择一行,可以在Details窗口中查看相应的详细信息,如以下图:〔5〕InstanceCoverage〔实例覆盖列表窗〕本窗口显示了每个实例的覆盖统计。〔6〕ObjectsWindow〔信号窗口〕在该窗口中可以查看状态翻转统计,翻转覆盖统计了信号从一个状态变换到另一个状态的次数。具体操作入以下图所示:上述操作完之后出现Objects窗口,这样就可以查看每个信号翻转的具体情况。创立代码覆盖率报告如以下图所示,在主窗口菜单栏选择Tool—>CodeCoverage—>Reports