| |
1. sequence
bins s = (2=>3),(4=>5);
bins a=3[* 3],3[-> 3],3[= 3];//连续重复,非连续重复,非连续重复
依次的含义是 3=>3=>3, 3=>..=>3..=>3,3=>..=>3=>..=>3=>..=>3;
2. 条件
coverpoint cfg.a (iff !rst_n){
bins a = {[0,$]};
}
3. 数组bins
对于未定义数组长度的bins,等分取值范围
对于定义数组长度的bins,等分取值范围,如果不能尽除,则放到最后一个bin
对于数组长度大于取值,则有一些bins成为空bins。