Systemverilog（绿皮书）第九章——功能覆盖率（四）覆盖选项

covergroup CoverLength;
    coverpoint tr.length;
    option.per_intance = 1;    //单独计算每个实例覆盖率
endgroup

注释

如果有多个covergroup实例，可以通过参数来对每个实例传入单独的注释，这些注释最终会显示在覆盖总结数据的 报告中。

covergroup CoverPort(int lo,hi, string comment);
    option.comment = comment;
    option.per_instance = 1;
    coverpoint port
        {bins range = {lo:hi};
}
endgroup
...
CoverPort cp_lo = new(0,3, "Low port numbers");
CoverPort cp_hi = new(4,7, "Highport numbers");

覆盖次数限定

（1）默认情况下，数值采样了1次就可以计入有效的bin。可以通过修改at_least来修改每个bin的数值最少的 采样次数，如果低于at_least数值，则不会被计入bin中。

（2）option.at_least可以在covergroup中声明来影响所有的coverpoint，也可以在coverpoint中声明只影响该coverpoint下所有的bin。

（3）一个covergroup或者一个coverpo