覆盖率测试

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

©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 199,902评论 5 468
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 84,037评论 2 377
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 146,978评论 0 332
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 53,867评论 1 272
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 62,763评论 5 360
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 48,104评论 1 277
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 37,565评论 3 390
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 36,236评论 0 254
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 40,379评论 1 294
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 35,313评论 2 317
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 37,363评论 1 329
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 33,034评论 3 315
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 38,637评论 3 303
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 29,719评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 30,952评论 1 255
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 42,371评论 2 346
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 41,948评论 2 341