modelsim中代码覆盖率使用详解

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 栏中的每一行图标将会被数字代替,这些数字代表了该语句或分支被执行的次数。

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


图 标


描  述


表示本语句已被执行过


表示本行的某语句从未被执行过


表示条件语句的“真”或“假”分支未被执行过


表示本行被指示不做代码覆盖统计

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

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

3.1 设置排出文件

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

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

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

3.2 设置排出行

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

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

取消排除行操作同上。

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

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

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

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

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

(6)Objects Window(信号窗口)

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

具体操作入下图所示:

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

5、创建代码覆盖率报告

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

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

点ok后即可查看Code Coverage Report:

转载地址:http://wenku.baidu.com/view/b5b2f0c39ec3d5bbfd0a74b9.html

下载地址:http://download.csdn.net/detail/jackinzhou/4518813

modelsim中代码覆盖率使用详解

时间: 2024-08-10 01:30:51

modelsim中代码覆盖率使用详解的相关文章

Ossim 中漏洞扫描详解

Ossim 中漏洞扫描详解 Openvas是一套开源漏洞扫描系统,如果手动搭建需要复杂的过程,花费不少人力和时间成本,此文主要针对OSSIM平台下如何以图形化方式操作漏洞扫描的过程. 准备工作:首先确保没有运行的扫描进程和任务 扫描漏洞同时升级漏洞库会导致升级失败. 第一步:同步插件 #openvas-nvt-sync 同步数万个插件时间比较长,可以去喝杯咖啡啦,或者了解一下插件的组成. 表1 Openvas主要脚本分类及分布情况 规则名称 数量 备注 IIS_frontpage_DOS_2.n

Python中time模块详解

在Python中,与时间处理有关的模块就包括:time,datetime以及calendar.这篇文章,主要讲解time模块. 在开始之前,首先要说明这几点: 在Python中,通常有这几种方式来表示时间:1)时间戳 2)格式化的时间字符串 3)元组(struct_time)共九个元素.由于Python的time模块实现主要调用C库,所以各个平台可能有所不同. UTC(Coordinated Universal Time,世界协调时)亦即格林威治天文时间,世界标准时间.在中国为UTC+8.DST

转:LoadRunner中参数化技术详解

LoadRunner中参数化技术详解 LoadRunner在录制脚本的时候,只是忠实的记录了所有从客户端发送到服务器的数据,而在进行性能测试的时候,为了更接近真实的模拟现实应用,对于某些信息需要每次提交不同的数据,或者使用多个不同的值进行循环输入.这时,在LoadRunner中就可以进行参数化设置,以使用多个不同的值提交应用请求. [参数化]使用指定数据源中的值来替换脚本录制生成的语句中的参数. [好处] l  减少脚本的大小 l  提供使用不同的值执行脚本的能力,更加真实的模拟现实应用. [参

Android技术18:Android中Adapter类详解

1.Adapter设计模式 Android中adapter接口有很多种实现,例如,ArrayAdapter,BaseAdapter,CursorAdapter,SimpleAdapter,SimpleCursorAdapter等,他们分别对应不同的数据源.例如,ArrayAdater对应List和数组数据源,而CursorAdapter对应Cursor对象(一般从数据库中获取的记录集).这些Adapter都需要getView方法返回当前列表项显示的View对象.当Model发生改变时,会调用Ba

java中static作用详解

static表示“全局”或者“静态”的意思,用来修饰成员变量和成员方法,也可以形成静态static代码块,但是Java语言中没有全局变量的概念. 被static修饰的成员变量和成员方法独立于该类的任何对象.也就是说,它不依赖类特定的实例,被类的所有实例共享. 只要这个类被加载,Java虚拟机就能根据类名在运行时数据区的方法区内定找到他们.因此,static对象可以在它的任何对象创建之前访问,无需引用任何对象. 用public修饰的static成员变量和成员方法本质是全局变量和全局方法,当声明它类

Linux中pam认证详解(下)

Linux中pam认证详解(下) 在上一篇中详细的介绍了pam的介绍.pam认证原理.pam认证构成以及pam验证控制类型,下面向大家详细介绍一下常用的pam服务模块,以及pam认证的应用. 一.常用的pam服务模块 下面是Linux提供的PAM模块列表(只是其中一部分),这其中包含模块文件.模块功能描述和相关配置文件,具体如下: pam_access 提供logdaemon风格登录控制 /etc/security/access.conf pam_chroot 提供类似chroot命令的功能 p

linux中fork()函数详解[zz]

转载自:http://www.cnblogs.com/york-hust/archive/2012/11/23/2784534.html 一.fork入门知识 一个进程,包括代码.数据和分配给进程的资源.fork()函数通过系统调用创建一个与原来进程几乎完全相同的进程,也就是两个进程可以做完全相同的事,但如果初始参数或者传入的变量不同,两个进程也可以做不同的事. 一个进程调用fork()函数后,系统先给新的进程分配资源,例如存储数据和代码的空间.然后把原来的进程的所有值都复制到新的新进程中,只有

CSS3中REM使用详解

在页面中设置字体,我们知道有常见的两种,px 和 em. px 在Web页面制作中,我们一般使用"px"来设置我们的文本,因为他比较稳定和精确.但是这种方法存在一个问题,当用户在浏览器中浏览我们制作的Web页面时,他改变了浏览器的字体大小(虽然一般人不会去改变浏览器字体大小),这时会使用我们的Web页面布局被打破,这时就提出了使用"em"来定义Web页面的字体. em 一般都是body的font-size为基准常用写法: 01 02 03 04 05 06 07 0

【JavaScript中的this详解】

前言 this用法说难不难,有时候函数调用时,往往会搞不清楚this指向谁?那么,关于this的用法,你知道多少呢? 下面我来给大家整理一下关于this的详细分析,希望对大家有所帮助! this指向的规律 this指向的规律往往与函数调用的方式息息相关:this指向的情况,取决于函数调用的方法有哪些. 我们来看一下姜浩五大定律: 姜浩五大定律: ①通过函数名()直接调用:this指向window: ②通过对象.函数名()调用的:this指向这个对象: ③函数作为数组的一个元素,通过数组下标调用的