覆盖率测试

1. 架构图

image.png

2. 相关语法

2.1 covergroup

覆盖组可以定义在类中,程序块,模块中,使用覆盖组之前必须先进行实例化。覆盖组的实例化加在类的构造函数new()中。Covergroup和Coverpoint的命名应当尽可能的明确,这样方便检查覆盖率文件。

covergroup group_id ;
  coverpoint_id : coverpoint variable_name;
  coverpoint_id2 : coverpoint variable_name2;
endgroup
//case2
covergroup group_id @(event or posedge clk);
  coverpoint_id : coverpoint variable_name{
    bins r0={2,3,4};
    bins r1={[5:7]};
};
  coverpoint_id2 : coverpoint variable_name2{
};
endgroup 

image.png

at_least:是指coverpoint hit多少次才达到
per_instance:=1是指需要单个实例的覆盖率。多个covergroup的实例的覆盖率会总结在一起,如果需要分开打印,需要在covergroup中加上option.per_instrance= 1。


image.png

image.png

type_option也叫做static option。emrge_instance


image.png

2.2 coverpoint

coverpont_id: coverpoint variable_name{
}; //其中id可以省略

2.3 bins

bins主要对象是变量满足的条件,如果满足,仓位就Hit了,统计Hit的次数

bins a = {[8'h20:8'h40] iff(cnt > par)}; //iff 当且仅当 并且范围满足
bins b = {[8'b20:8'h40]}; //范围满足
bins c = {8'h20, 8'h30}; //值满足
bins d[] = {8'h20, 8'h30};//向量仓自动分配,最大值可修改d[0],d[1] 
//变换仓
bins e = {value1=>value2};
bins f = {val1 => val2 =>val3};
bins g = {1,5=>6,7} //有四种hit的情况
bins h = {3[*5]}; //3=>3=>3=>3=>3
bins i = (4=>5=>6),([7:9],10 => 11,12); //hit的条件有4-5-6, 7-11;8-11;9-11;10-11;10-12;7-12;5-12;9-12
bins j = {4'b00??=>4'b11??};//有4种hit的情况
bins legal = {[2:10]};
ignore_bins ignore={2,3,4} //就是把变量等于2,3,4的情况忽略
illegal_bins l = {[5:7]};//如果变量等于[5:7]那么就会报错

2.4 cross

image.png
image.png
image.png

c2的仓是a2和b组成或者a和吧组成的仓。


image.png

把a=5,corssb的仓以及a=1 2 3,corssbde 仓忽略调

小结:
当coverpoint中的值可能会出现4-state时,可以在bins前加关键字"wildcard",则bins后出现的x,z,?将会按0和1来进行处理。例程中g12_16会cover的值有:1100,1101,1110,1111。
wildcard bins g12_16 = { 4'b11?? };

3. 覆盖率报告

image.png

image.png

4. 覆盖率实例

module simple_coverage();
    logic [7:0] addr;
    logic [7:0] data;
    logic par, rw, en;
    covergroup memory;
        option.goal = 1;
        address : coverpoint addr{
            bins low = {[0:50]};
            bins med = {[51:150]};
            bins high = {[151:255]};
            //option.goal = 10;
        }
        parity : coverpoint par{
            bins even = {0};
            bins odd = {1};
        }
        read_write : coverpoint rw{
            bins read = {0};
            bins write = {1};
        }
    endgroup
    
    memory mem = new();
    
    task drive(input [7:0]a, input [7:0] data, input r);
        #5 en <= 1;
        addr <= a;
        rw <= r;
        data <= data;
        par <= ^data;
        $display ("@%2tns Address :%d data %x, rw %x, parity %x",$time,a,data,r, ^data);
        #5 en <= 'b0;
        rw <= 0;
        data <= 0;
        par <= 0;
        addr <= 0;
        rw <= 0;
    
    endtask
    
    initial begin 
        en <= 0;
        repeat(10) begin
            drive($random, $random, $random);
            mem.sample();
        end
        
        #10 $finish;
    end
endmodule

功能覆盖率


image.png

代码覆盖率


image.png

思考:

  1. sample()函数的调用,以及他会一直采样运行吗?
    答:不会,没调用一次sample函数,采样一次。
  2. 如果covergroup没有写触发条件,那么就是在调用sample函数的时刻采样。
  3. 默认情况每个仓的hit次数是1, 每个point的次数是100, 每个group的次数也是100,但是100这个参数不会拿来计数覆盖率,它是通过每次仓Hit的情况来计算覆盖率的。
  4. 为什么没有出现代码覆盖率?
    答:编译的时候右击文件,设置propeties,仿真的时候停止优化,enable code coverage,如果软件操作不行的话,就用用命令行vsim -coverage work.sample_coverage,就可以出现。

参考链接:https://classroom.eeeknow.com/#/learn/6327750358768549888/6407824282004488192/6407824306398560256
https://blog.csdn.net/qq_31935691/article/details/55001819

你可能感兴趣的:(覆盖率测试)