sv9.9覆盖选项(实例选项与类型选项)

1.实例选项

(1)用于特定的覆盖组实例;

(2)per-instance只能放在覆盖组中,不能用于覆盖点或交叉点;

(3)使用per_instance选项与comment选项可以为每个covergroup实例加入单独的注释;

class C1;
    bit[7:0] x;
    
    covergroup cv (int arg) @(posedge clk);
         option.at_least=arg;
         coverpoint x;
    endgroup

    function new(int p1);
         cv=new(p1);
    endfunction
endclass

initial begin
    C1 obj=new(4);
end

2.类型选项

(1)用于所有的覆盖组实例;

(2)选项可以放在单个覆盖点中,也可以放在覆盖组中并对组里的所有覆盖点有效;