功能覆盖率总结

一、 覆盖组

覆盖组(covergroup)与类相似,一次定义后便可以多次实例化。

covergroup可以包含一个或者多个coverpoint,却全都在同一时间采集。
coverpoint常用来衡量某些变量,这些变量有可能是硬件的信号变量,也有可能是软件的变量,衡量这些变量在某些时间采样的值。coverpoint要去监测某些变量在某些特定采样时间采样了以后,在那些时刻所采样的值。

covergroup可以被定义在类中,也可以被定义在interface或module里面
covergroup可以采样任何可见的变量,例如程序变量,接口信号或者设计端口。
covergroup要被告诉采样那些变量,要在什么时刻采样或者声明你的采样事件是什么

一个类里可以包含多个covergroup。当你拥有多个独立的covergroup时,每个covergroup可以根据需要自行使能或者禁止。
(constraint和rand_mode也可以做使能)
每个covergroup可以被定义为单独的采样事件,允许从多个源头收集数据。covergroup必须被例化才可以用来收集数据。

class Transactor;
	Transactor tr;
	mailbox mbx_in;
	covergroup Covport;
		coverpoint tr.port;
	endgroup
	function new(mailbox mbx_In);
		Covport = new();
		this.mbx_in=mbx_in();
	endfunction
	task main;
		forever begin
			tr=mbx_in.get;
			ifc.cb.port<=pr.port;
			ifc.cb.data<=tr.data;
			Covport.sample();
		end
	endtask
endclass

Covport是类型的名字
Covport=new(); 这里的Covport是实例的名字,可以类型的名字和实例的名字一样。也可也替换为 Covport cg1=new();

Covergroup由采样的数据和数据被采样的事件构成。
当这两个条件都准备好以后,测试平台便会触发covergroup。
这个过程可以通过直接使用sample()函数来完成,也可以在covergroup中采样阻塞表达式或者使用wait或@实现在信号或事件上的阻塞。

如果你希望在代码中显示地触发covergroup采样,或者不存在采样时刻的事件,又或者一个covergroup被例化为多个实例需要单独触发,可以使用sample()。

如果你想借助已有的事件或者信号触发covergroup,可以在covergroup声明中使用阻塞语句。

event trans_ready;
covergroup Covport @(trans_ready)
	coverpoint ifc.cb.port;
endgroup

二、 bin

当你在coverpoint指定采样一个变量或表达式时,SV会创建很多的仓(bin)来记录每个数值被捕捉到的次数。
这些bin是衡量功能覆盖率的基本单位。
covergroup中可以定义多个coverpoint,coverpoint中可以自定义多个cover bin或者SV帮助自定义多个cover bin。
每次covergroup采样,SV都会在一个或者多个cover bin中留下标记,用来记录采样时变量的数值和匹配的cover bin。
所有的coverpoint的覆盖率最终构成了一个covergroup的覆盖率。
所有的covergroup的覆盖率最终构成了整体的功能覆盖率。

SV会默认为某个coverpoint创建bin,用户也可以自己定义bin的采样域。如果采样变量的域范围过大而又没有指定bin,那么系统会默认分配64个bin,将域值范围平均分配给这64个bin。用户可以通过covergroup的选项auto_bin_max来指定自动创建bin的最大数目。
实际操作中,自动创建bin的方法并不使用,建议用户自定义bin,或者减小auto_bin_max的数值。

covergroup Coverport;
	coverpoint tr.kind {
		bins zero = {0};
		bins lo = {[1:3],5};
		bins hi[]= {[8:$]};
		bins misc = default;
	}
endgroup

可以使用关键词iff给coverpoint添加条件。这种用法常用于在复位期间关闭覆盖以忽略不合理的条件触发。也可以使用start和stop函数来控制covergroup的各个实例。

covergroup Coverport;
	coverpoint port iff(!bus_if.reset);
endgroup

initial begin
	Covport ck=new();
	#1ns;
	ck.stop();
	bus_if.reset=1;
	#100ns bus_if.reset=0;
	ck.start();
	...
end

coverpoint也可以用来记录变量从A值到B值得跳转情况。还可以确定任何长度的翻转次数。

covergroup Coverport;
	coverpoint port{
		bins t1=(0=>1),(0=>2),(0=>3);
	}
endgroup

使用范围表达式可以快速地确定多个转换过程。表达式(1,2=>3,4)创建了四个翻转过程,分别是(1=>3),(2=>3),(1=>4),(2=>4)
还可以去欸的那个任意长度的翻转次数。注意必须对转换过程中的每个状态都进行一次采样。所以(0=>1=>2)不同于(0=>1=>1=>2)和(0=>1=>1=>1=>2)。如果需要像最后一个式子那样重复数值,可以使用缩略形式: form:(0=>1[*3]=>2)。如果需要对数值1进行3次,4次或5次重复,那么使用1[*3:5]。

wildcard
可以使用关键词wildcard来创建多个状态和者赋值,在表达式中,任何x,z或者?都会被当成0或1的通配符。

在某些coverpoint可能始终无法得到全部的域值。对于那些不计算功能的域值可以使用ignore_bins来排除,最终它们并不会计入coverpoint的覆盖率。

有些采样值不仅应该被忽略,而且如果出现还应该报错。这种情况可以在测试平台中检测,也可以使用illegal_bins对特定的bin进行表示。

三、交叉覆盖率

coverpoint是记录单个变量或者表达式的观测值。
如果想记录在某一时刻,多个变量之间值的组合情况,需要使用交叉覆盖率。
cross语句只允许带coverpoint或者简单的变量名。

1.排除部分cross bin

通过使用ignore_bins、binsof和intersect分别指定coverpoint和值域,这样可以清除很多不关心的cross bin。

cross kind, port{
	ignore_bins hi=binsof(port)intersect{7};
	ignore_bins md= binsof(port)intersect{0}&&binsof{kind} intersect {[9:11]}
}

忽略掉的是port为0和kind为9,10,11的组合,总共3个仓。

注意binsof使用的是小括号(),而intersect指定的是一个范围,所以使用大括号{}。

2.精细的交叉覆盖率指定

随着cross覆盖率越来越精细,可以需要花费不少的时间来指定那些bin应该被使用或者被忽略。更适合的方式是不使用自动分配的cross bin,而自己声明感兴趣的cross bin。

class Transaction; 
	rand bit a, b; 
endclass
covergroup CrossBinNames;
	a:coverpoint tr.a
		{ bins a0 = {0};
		  bins a1 = {1};
		  option.weight = 0;} //不计算覆盖率
	b:coverpoint tr.b 
		{ bins b0 = {0};
		  bins b1 = {1};
		  option.weight = 0;} //不计算覆盖率
	ab:cross a, b
	{ bins a0b0 = binsof(a.a0) && binsof(b.b0);
	bins a1b0 = binsof(a.al)&& binsof(b.b0);
	bins bl = binsof(b.b1);}
endgroup

四、覆盖选项

如果对一个covergroup例化多次,那么默认情况下SV会将所有实例的覆盖率合并到一起,如果需要单独列出每个covergroup实例的覆盖率,需要设置覆盖选项。

covergroup Coverlength;
	coverpoint tr.length;
	option.per_instance = 1;
endgroup

如果有多个covergroup实例,可以通过参数对每一个实例传入单独的注释。这些注释最终会显示在覆盖率数据的总结报告中。

covergroup Coverport (int lo,hi string comment);
	option.comment = comment;
	option.per_instance=1;
	coverpoint port
	{	bins range {[lo:li]};
	}
endgroup
...
Coverport cp_lo = new(0,3,"low");
Coverport cp_hi = new(4,7,"high");

覆盖次数限定
默认情况下,数值采样了一次就可以计入有效的bin,可以通过修改at_least来修改每个bin的数值最少的采样次数,如果低于at_least的数值,则不会计入bin中。 (option.at_least)

覆盖率目标
一个covergroup或者一个coverpoint的目标是100%覆盖率。不过你也可以将其设置为低于100%的目标。这个选项只会影响覆盖率报告。

covergroup方法
sample() 采样。
get_coverage()/get_inst_coverage()获取覆盖率,返回0-100的real数值。
set_inst_name(string) 设置covergroup的名称
start()/stop()使能或者关闭覆盖率的收集。
可以使用get_coverage()和get_inst_coverage()函数来缩小测量范围。其中第一个函数可以带覆盖组名和实例,用于给出一个覆盖组所有实例的覆盖率,其用法如Covergroup::get_coverage()或cgInst.get_coverage()。第二个函数返回一个特定覆盖组实例的覆盖率,用法如cgInst.get_inst_coverage()。如果你希望得到单个实例的覆盖率,那么需要指定option.per_instance=1。

这些函数最实际的用处是在一个测试当中监测覆盖率的变化。如果测试可以基于功能覆盖率采取一些深入的行动,例如重新限定随机的约束,那将是一件非常好的事,但是这种测试很难编写。

  • 4
    点赞
  • 40
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 2
    评论
JAVA相关基础知识 1、面向对象的特征有哪些方面 1.抽象: 抽象就是忽略一个主题中与当前目标无关的那些方面,以便更充分地注意与当前目标有关的方面。抽象并不打算了解全部问题,而只是选择其中的一部分,暂时不用部分细节。抽象包括两个方面,一是过程抽象,二是数据抽象。 2.继承: 继承是一种联结类的层次模型,并且允许和鼓励类的重用,它提供了一种明确表述共性的方法。对象的一个新类可以从现有的类中派生,这个过程称为类继承。新类继承了原始类的特性,新类称为原始类的派生类(子类),而原始类称为新类的基类(父类)。派生类可以从它的基类那里继承方法和实例变量,并且类可以修改或增加新的方法使之更适合特殊的需要。 3.封装: 封装是把过程和数据包围起来,对数据的访问只能通过已定义的界面。面向对象计算始于这个基本概念,即现实世界可以被描绘成一系列完全自治、封装的对象,这些对象通过一个受保护的接口访问其他对象。 4. 多态性: 多态性是指允许不同类的对象对同一消息作出响应。多态性包括参数化多态性和包含多态性。多态性语言具有灵活、抽象、行为共享、代码共享的优势,很好的解决了应用程序函数同名问题。 2、String是最基本的数据类型吗? 基本数据类型包括byte、int、char、long、float、double、boolean和short。 java.lang.String类是final类型的,因此不可以继承这个类、不能修改这个类。为了提高效率节省空间,我们应该用StringBuffer类 3、int 和 Integer 有什么区别 Java 提供两种不同的类型:引用类型和原始类型(或内置类型)。Int是java的原始数据类型,Integer是java为int提供的封装类。Java为每个原始类型提供了封装类。 原始类型封装类 booleanBoolean charCharacter byteByte shortShort intInteger longLong floatFloat doubleDouble 引用类型和原始类型的行为完全不同,并且它们具有不同的语义。引用类型和原始类型具有不同的特征和用法,它们包括:大小和速度问题,这种类型以哪种类型的数据结构存储,当引用类型和原始类型用作某个类的实例数据时所指定的缺省值。对象引用实例变量的缺省值为 null,而原始类型实例变量的缺省值与它们的类型有关。 4、String 和StringBuffer的区别 JAVA平台提供了两个类:String和StringBuffer,它们可以储存和操作字符串,即包含多个字符的字符数据。这个String类提供了数值不可改变的字符串。而这个StringBuffer类提供的字符串进行修改。当你知道字符数据要改变的时候你就可以使用StringBuffer。典型地,你可以使用StringBuffers来动态构造字符数据。 5、运行时异常与一般异常有何异同? 异常表示程序运行过程中可能出现的非正常状态,运行时异常表示虚拟机的通常操作中可能遇到的异常,是一种常见运行错误。java编译器要求方法必须声明抛出可能发生的非运行时异常,但是并不要求必须声明抛出未被捕获的运行时异常。 6、说出Servlet的生命周期,并说出Servlet和CGI的区别。 Servlet被服务器实例化后,容器运行其init方法,请求到达时运行其service方法,service方法自动派遣运行与请求对应的doXXX方法(doGet,doPost)等,当服务器决定将实例销毁的时候调用其destroy方法。 与cgi的区别在于servlet处于服务器进程中,它通过多线程方式运行其service方法,一个实例可以服务于多个请求,并且其实例一般不会销毁,而CGI对每个请求都产生新的进程,服务完成后就销毁,所以效率上低于servlet。 7、说出ArrayList,Vector, LinkedList的存储性能和特性 ArrayList和Vector都是使用数组方式存储数据,此数组元素数大于实际存储的数据以便增加和插入元素,它们都允许直接按序号索引元素,但是插入元素要涉及数组元素移动等内存操作,所以索引数据快而插入数据慢,Vector由于使用了synchronized方法(线程安全),通常性能上较ArrayList差,而LinkedList使用双向链表实现存储,按序号索引数据需要进行前向或后向遍历,但是插入数据时只需要记录本项的前后项即可,所以插入速度较快。 8、EJB是基于哪些技术实现的?并说出SessionBean和EntityBean的区别,StatefulBean和StatelessBean的区别。 EJB包括Session Bean、Entity Bean、Message Driven Bea

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 2
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

数字IC小白的日常修炼

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值