1. 架构图
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
at_least:是指coverpoint hit多少次才达到
per_instance:=1是指需要单个实例的覆盖率。多个covergroup的实例的覆盖率会总结在一起,如果需要分开打印,需要在covergroup中加上option.per_instrance= 1。
type_option也叫做static option。emrge_instance
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
c2的仓是a2和b组成或者a和吧组成的仓。
把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. 覆盖率报告
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
功能覆盖率
代码覆盖率
思考:
- sample()函数的调用,以及他会一直采样运行吗?
答:不会,没调用一次sample函数,采样一次。 - 如果covergroup没有写触发条件,那么就是在调用sample函数的时刻采样。
- 默认情况每个仓的hit次数是1, 每个point的次数是100, 每个group的次数也是100,但是100这个参数不会拿来计数覆盖率,它是通过每次仓Hit的情况来计算覆盖率的。
- 为什么没有出现代码覆盖率?
答:编译的时候右击文件,设置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