文章目录
一、基于覆盖率驱动的验证技术
采用覆盖率驱动的验证方式可以量化验证进度,保证验证的完备性。一般在验证计划中会指定具体的覆盖率目标。通过覆盖率验证可以确定验证是否达到要求。当然,达到目标覆盖率并不意味着验证就通过了,因为功能覆盖率是由人为定义的,有时候即便达到100%,也未必将所有的功能场景全部覆盖了,因为人为主观定义的功能场景有时候可能存在遗漏,所以还需要对测试用例进行迭代。
二、代码覆盖率与功能覆盖率
- 代码覆盖率:
工具会自动搜集已经编写好的代码
,常见的代码覆盖率如下:
- 行覆盖率(line coverage):记录程序的各行代码被执行的情况。
- 条件覆盖率(condition coverage):记录各个条件中的逻辑操作数被覆盖的情况。
- 跳转覆盖率(toggle coverage):记录单bit信号变量的值为0/1跳转情况,如从0到1,或者从1到0的跳转。
- 分支覆盖率(branch coverage):又称路径覆盖率(path coverage),指在if,case,for,forever,while等语句中各个分支的执行情况。
- 状态机覆盖率(FSM coverage):用来记录状态机的各种状态被进入的次数以及状态之间的跳转情况。
- 功能覆盖率:`是一种用户定义的度量,主要是衡量设计所实现的各项功能,是否按预想的行为执行,即是否符合设计说明书的功能点要求,功能覆盖率主要有两种如下所示:
- 面向数据的覆盖率(Data-oriented Coverage)-对已进行的数据组合检查.我们可以通过编写覆盖组(coverage groups)、覆盖点(coverage points)和交叉覆盖(cross coverage)获得面向数据的覆盖率.
- 面向控制的覆盖率(Control-oriented Coverage)-检查行为序列(sequences of behaviors)是否已经发生.通过编写SVA来获得断言覆盖率(assertion coverage).
需要指出的是: 代码覆盖率达到要求并不意味着功能覆盖率也达到要求,二者无必然的联系。而为了保证验证的完备性,在收集覆盖率时,要求代码覆盖率和功能覆盖率同时达到要求。
三、功能覆盖率建模
功能覆盖率主要关注设计的输入、输出和内部状态
,通常以如下方式描述信号的采样要求;
- 对于输入,它检测数据端的输入和命令组合类型,以及控制信号与数据传输的组合情况。
- 对于输出,它检测是否有完整的数据传输类别,以及各种情况的反馈时序。
- 对于内部设计,需要检查的信号与验证计划中需要覆盖的功能点相对应。通过对信号的单一覆盖、交叉覆盖或时序覆盖来检查功能是否被触发,以及执行是否正确。
3.1.覆盖组——covergroup
使用覆盖组结构(covergroup)定义覆盖模型,覆盖组结构(covergroup construct)是一种用户自定义的结构类型,一旦被定义就可以创建多个实例就像类(class)一样,也是通过new()来创建实例
的。覆盖组可以定义在module、program、interface以及class中。
每一个覆盖组(covergroup)都必须明确一下内容:
- 一个时钟事件以用来同步对覆盖点的采样;
- 一组覆盖点(coverage points),也就是需要测试的变量;
- 覆盖点之间的交叉覆盖;
- 可选的形式参数;
- 覆盖率选项;
covergroup cov_grp @(posedge clk); //用时钟明确了覆盖点的采样时间,上升沿采样覆盖点,也可省略clk,在收集覆盖率时在根据情况注明
cov_p1: coverpoint a;//定义覆盖点,cov_p1为覆盖点名,a为覆盖点中的变量名,也就是模块中的变量名
endgroup
cov_grp cov_inst = new();//实例化覆盖组
上述例子用时钟明确了覆盖点的采样时间,上升沿采样覆盖点,也可省略clk,在收集覆盖率时在根据情况注明,如下示例:
covergroup cov_grp;
cov_p1: coverpoint a;//cov_p1为覆盖点名,a为覆盖点中的变量名,也就是模块中的变量名
endgroup
cov_grp cov_inst = new();
cov_inst.sample(); //sample函数收集覆盖率
上面的例子通过内建的sample()方法来触发覆盖点的采样.
logic [7:0] address;
covergroup address_cov (ref logic [7:0] address, //添加形式参数
input int low, int high) @ (posedge ce);
ADDRESS : coverpoint address {
bins low = {
0,low};
bins med = {
low,high};
}
endgroup
address_cov acov_low = new(addr,0,10);
address_cov acov_med = new(addr,11,20);
address_cov acov_high = new(addr,21,30);
覆盖组中允许带形式参数,外部在引用覆盖组时可以通过传递参数,从而对该覆盖组进行复用。
3.2.覆盖点——coverpoint
一个覆盖组可以包含多个覆盖点,每个覆盖点有一组显式bins值,bins值可由用户自己定义,每个bins值与采样的变量或者变量的转换有关
。一个覆盖点可以是一个整型变量也可以是一个整型表达式。覆盖点为整形表达式的示例如下:注意覆盖点表达式写法。
class Transaction();
rand bit[2:0] hdr_len; //取值:0~7
rand bit[3:0] payload_len; //取值:0~15
...
endclass
Transaction tr;
covergroup Cov;
len16: coverpoint(tr.hdr_len + tr.payload_len); //注:取值范围为0~15
len32:coverpoint(tr.hdr_len + tr.payload_len + 5'b0); //注:取值范围为0~31
endgroup
当进行仿真后,len16的覆盖点覆盖率最高可达100%,而覆盖点len32的覆盖率最高只能达到23/32=71.87%。由于总的bins数量为32个,而实际最多只能产生产生len_0,len_1,len2,…,len22共23个bins,所以覆盖率永远不可能达到100%。
如果要使覆盖点len32达到100%的覆盖率,可以手动添加自定义bins,代码如下:
covergroup Cov;
len32:coverpoint(tr.hdr_len + tr.payload_len + 5'b0); //注:取值范围为0~31
{
bins len[] =