SV coverage

covergroup是对coverage model的一种包装，每个covergroup可以包含：

　　1) sync event来触发采样，

　　2) 很多coverpoint，

　　3) cross coverpoint，

　　4) 可选的formal arguments，

　　5) 很多options。

covergroup与class类似，也是需要new出来对象，本身定义的只是一个原型，covergroup可以被定义在

　　package，module，program，interface，checker或者class中。

sync event是可选的，省略的情况下，显示调用内部的sample() function来进行采样，build-in的sample是不支持参数传递的。

formal arguments，不可以定义为inout和output，只能定义为ref和input，这时的ref等同于const  ref。这时在new的时候，需要传递进去参数。

　　　　这样的参数是不能被hier引用到的。

一个covergroup特有的option，strobe，表明只在当前time slot的最后，进行sample，避免有时可能在同一slot采样多次。

　　　　

 

coverpoint的定义，一般需要加一个label，方便分析coverage report。

　　$可以在数组中，表示上限和下限；

　　iff可以表示条件；

　　default，可以表示default的数值bin；

　　default sequence，可以表示default的 transition bin；

　　wildcard bins，主要可以使用?、x、z等匹配符；需要匹配x、z的时候，使用===

　　with语句，表示附件条件，类似于&&；但是coverpoint中并不能使用&&；

　　定义全集合bins，ignore_bins，illegal_bins，否则coverage计算不能收集全。

　　

　　transition的bins：[*n]表示连续的n次迭代；

　　　　　　　　　　[->n]表示不连续的n次迭代，但是紧跟着的是连续的跳变；

　　　　　　　　　　[=n]表示不连续的n次迭代，下一次的跳变不需要连续；

　　

　　cross bins，可以使用逻辑运算符，！，&&，||，关键字，with，matches，binsof，intersect等。

　　

　　也可以直接对cross bin进行赋值，与coverpoint相同；

　　　

 

covergroup中内建的几个function，

　　void sample()；real get_coverage()；real get_inst_coverage()；

　　void set_inst_name()；void start()； void stop()；

用户也可以重载sample的方法，使用with function的语法：(加入参数的传递)

　　

 

covergroup，coverpoint，cross point定义的option，type_option没见过用处。

　　

　　

　　auto_bin_max只对用户不定义bins的情况，auto的大小的限制；

　　weight，在不同的层次，表示对上一级贡献的百分比。cross中的weight，表示该cross对整个group的coverage report的影响。