0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看威廉希尔官方网站 视频
  • 写文章/发帖/加入社区
会员中心
创作中心

完善资料让更多小伙伴认识你,还能领取20积分哦,立即完善>

3天内不再提示

一文详解Modelsim代码覆盖率功能使用

电子设计 来源:FPGA威廉希尔官方网站 联盟 作者:默宸 2020-12-09 11:45 次阅读

作者:默宸

Modelsim代码覆盖率功能Code coverage,能报告出statement(语句)、branch(分支)、condition(条件)、expression(表达)、toggle(信号翻转)、fsm(有限状态机)等多种覆盖率情况。

1、编译选项(compile option):

在Modelsim的Workspace里选中需要查看代码覆盖率的文件,然后点击右键选择compile—>compile properties,如下图所示。

之后选择“Coverage”选项,出现下图所示的窗口,根据需要选择选项,这里选statement、branch、condition、expression和toggle。选完点ok。

2、编译(compile)

点工具栏中的,编译所有的选中的文件,成功后进行下面的步骤。

3、仿真(simulate)

点工具栏中的,出现下面的窗口:

(注:不要选择“Enable optimization”)

选择Others,出现如下图所示的窗口:

选择“Enable code coverage”后点“ok”后出现下面的窗口:

4、观察结果

完成以上操作后,代码覆盖率的窗口就出现了,点击(run –all)之后代码覆盖率的情况就出现在各窗口中。

下面介绍各子窗口:

(1)Workspace窗口

在workspace窗口选择Files标签页并拖动滚动条到右侧,设计的每个文件显示了语句、分支、条件和表达式等语句的执行覆盖率汇总统计信息

在workspace窗口选择Files标签页并拖动滚动条到右侧,本窗口将以设计中的每一条目来显示执行覆盖统计。

(2)Missed Coverage(未覆盖到对象列表窗)窗口
本窗口用于显示所选择文件未被执行的语句、分支、条件、表达式或未翻转过的信号。

在workspace窗口的Files标签页中选择不同的文件,Missed Coverage窗口的显示会随着选择的文件而更新。

上图为分支覆盖率的情况

上图为statement coverage(语句覆盖率)的情况。此时选择任何一个实体在源代码窗口中显示相应的行,设计如果包含为被执行的语句或分支的行,则被粉红色高亮显示,如下图。图中包含了Hits 和BC 栏用来显示语句执行(statement Hits)和分支覆盖(BC)的情况。

如下图所示,在主窗口菜单栏选择Tool—>Code Coverage—>Show coverage number.

Hits和BC 栏中的每一行图标将会被数字代替,这些数字代表了该语句或分支被执行的次数。

下表描述了个图标的含义:

pIYBAF9uDnKAOu80AABaDdAm_SU899.png

(3)Current Exclusion(当前不做覆盖率统计列表窗)

本窗口用于列出所指定的不进行覆盖统计的所有文件和行。

3.1 设置排出文件

如图,右击所选中的项,按图所示操作,

操作完后,在Current Exclusion窗口就会出现被排除的文件,同时源代码窗口的Hits栏的一些行会出现,表明这些行不做代码覆盖统计。

在Current Exclusion窗口中右击需要取消排除设置的文件,选择Cancel Selected Exclusions,恢复成原状,可以做代码覆盖率。

3.2 设置排出行

如图,在源代码窗口右击Hits栏中需要排除行的图标,图中为105行,选择第一个选项。

之后,在Current Exclusion窗口会显示出被排除的行信息,同时在源代码窗口,被排除行的Hits栏会出现,表明该行不做代码覆盖统计。

o4YBAF9uDoCAAbTBAAHnxVaqGE8498.png

取消排除行操作同上。

(4)Details(详细资料窗)窗口:

本窗口显示了如真值表或翻转细节等详细的未被覆盖到的情况。

当在Missed Coverage窗口中选择一行,可以在Details窗口中查看相应的详细信息,如下图:

(5)Instance Coverage(实例覆盖列表窗)

本窗口显示了每个实例的覆盖统计。

(6)Objects Window(信号窗口)

在该窗口中可以查看状态翻转统计,翻转覆盖统计了信号从一个状态变换到另一个状态的次数。

具体操作入下图所示:

o4YBAF9uDoqAI0n3AAKlF_576mo203.png

上述操作完之后出现Objects窗口,这样就可以查看每个信号翻转的具体情况。

pIYBAF9uDoyABFCiAAJCLy3HNXI633.png

5、创建代码覆盖率报告
如下图所示,在主窗口菜单栏选择Tool—>Code Coverage—>Reports

o4YBAF9uDo-AXL5zAAMGhb8k8jc518.png

出现下图所示的子窗口(报告设置窗口),根据需求设置各选项和报告存放路径。

点ok后即可查看Code Coverage Report:

o4YBAF9uDpSAWK9OAAHksFnniZc496.png

编辑:hfy


声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉
  • ModelSim
    +关注

    关注

    5

    文章

    174

    浏览量

    47171
  • 代码
    +关注

    关注

    30

    文章

    4780

    浏览量

    68542
收藏 人收藏

    评论

    相关推荐

    十几种格力空调故障代码详解

    十几种格力空调故障代码详解,查表目了然
    发表于 11-27 15:15 0次下载

    智慧公交是什么?带你详解智慧公交的解决方案!

    智慧公交是什么?带你详解智慧公交的解决方案!
    的头像 发表于 11-05 12:26 274次阅读
    智慧公交是什么?<b class='flag-5'>一</b><b class='flag-5'>文</b>带你<b class='flag-5'>详解</b>智慧公交的解决方案!

    使用modelsim时的问题分析

    仿真对于FPGA设计来说至关重要,我们经常使用modelsim来进行功能仿真或者时序仿真,这样就需要将modelsim和设计软件(quartus ii)联系起来,下面是设计者在使用models
    的头像 发表于 10-24 18:15 271次阅读
    使用<b class='flag-5'>modelsim</b>时的问题分析

    synopsys 的design ware:DW_fpv_div,浮点数除法器,默认32位下,想提升覆盖率(TMAX),如果用功能case去提升覆盖率呢?

    公司某个项目用到了这个DW:DW_fpv_div,但是scan跑完,这个模块覆盖率只有60%多,现在要我用TMAX软件,通过功能覆盖,我看了下rpt报的faults点,尝试去写了几个特殊值去做除法
    发表于 10-15 18:38

    利用静态检查工具完善功能安全中测试覆盖率

    功能安全中测试覆盖率是比较重要的概念,也是在验证过程中通常需要花费时间较多的步骤,如果能借助于静态检查工具的死逻辑查找和声明、测试用例自动补全等功能往往能取得事半功倍的效果。
    的头像 发表于 09-05 09:15 336次阅读
    利用静态检查工具完善<b class='flag-5'>功能</b>安全中测试<b class='flag-5'>覆盖率</b>

    瑞萨RX MCU功能安全解决方案简介(4-2)SIL3系统软件包

    经证明,功能安全平台软件执行的自我诊断和交叉监测的诊断覆盖率可以达到90%。
    的头像 发表于 07-08 18:33 1307次阅读
    瑞萨RX MCU<b class='flag-5'>功能</b>安全解决方案简介(4-2)SIL3系统软件包

    单元测试工具TESSY 新版本亮点速览:提供测试驾驶舱视图、超级覆盖率代码访问分析、增强覆盖率审查

    各种测试对象和方法的所有覆盖率测量结果,并记录在新的测试总结报告中。 了解更多TESSY新版本功能详情或申请免费试用,欢迎咨询TESSY中国授权分销商——龙智。 新版本功能亮点速览: 1、超级
    的头像 发表于 07-08 16:20 436次阅读
    单元测试工具TESSY 新版本亮点速览:提供测试驾驶舱视图、超级<b class='flag-5'>覆盖率</b>、<b class='flag-5'>代码</b>访问分析、增强<b class='flag-5'>覆盖率</b>审查

    该如何提高代码容错、降低代码耦合度?

    提高RT-Thread代码的容错和降低耦合度是确保代码质量和可维护性的关键,下面列举了几种在编写代码时,提高代码容错
    的头像 发表于 06-26 08:10 659次阅读
    该如何提高<b class='flag-5'>代码</b>容错<b class='flag-5'>率</b>、降低<b class='flag-5'>代码</b>耦合度?

    便携三合气体检测仪的功能使用说明

    便携三合气体检测仪的功能使用说明
    的头像 发表于 06-20 11:42 968次阅读
    便携三合<b class='flag-5'>一</b>气体检测仪的<b class='flag-5'>功能使</b>用说明

    如何将SystemVerilog断言属性和覆盖属性置于在设计上?

    功能覆盖、激励生成和运行管理是当今功能验证的三大相互关联的任务。其中,功能覆盖率可以说是最重要的,主要是因为
    的头像 发表于 05-28 10:30 764次阅读
    如何将SystemVerilog断言属性和<b class='flag-5'>覆盖</b>属性置于在设计上?

    FPGA入门必备:Testbench仿真文件编写实例详解

    在编写完HDL代码后,往往需要通过仿真软件Modelsim或者Vivadao自带的仿真功能对HDL代码功能进行验证,此时我们需要编写Test
    发表于 04-29 10:43 2017次阅读

    最实用的Modelsim使用教程

    等,比quartus自带的仿真器功能强大的多,是目前业界最通用的仿真器之。 对于初学者,modelsim自带的教程是个很好的选择,在Help->SE PDF
    发表于 03-19 16:40

    modelsim安装运行patch闪退

    模拟器的安装和运行是计算机科学中非常重要的环。ModelSim种流行的数字电子设计自动化工具,用于验证和仿真硬件设计。然而,有时安装和运行Patch可能会导致闪退问题。本文将详细解释如何安装
    的头像 发表于 01-04 10:43 1516次阅读

    怎么用Vivado做覆盖率分析

    在做仿真的时候往往会去做代码覆盖率功能覆盖率的分析,来保证仿真是做的比较充分完备的。
    的头像 发表于 01-03 12:34 1668次阅读
    怎么用Vivado做<b class='flag-5'>覆盖率</b>分析

    详解pcb回流焊温度选择与调整

    详解pcb回流焊温度选择与调整
    的头像 发表于 12-29 10:20 1646次阅读