verilog - Functional Coverage - 收集所有未在其他 bin 中收集的值的 bin

Question

ipv6_hdr__f_next_header_cp: coverpoint  this.ipv6_hdr.ipv6_f_next_header iff (this.has_ipv6_header){
    bins ipsec_33 = {'h33};
    bins tcp_06 = {'h06};
    bins udp_11 = {'h11};
    bins done_3b = {'h3b};
    bins ipv6_ext_any_other [3] = {[0:'h5], ['h7:'h10], ['h12:'h3a], ['h3c:$]};
}

ipv6_ext_any_other bin 应收集其他 bin 未收集的所有 val。 default可能会使用，但问题是 default不是 active bin，我的意思是，它不是 func cov 指标的一部分。
有没有其他方法可以定义 ipv6_ext_any_other斌？
或者，有没有办法制作 default一个活跃的垃圾箱？

Answer 1

你可以做

bins ipv6_ext_any_other [3] = {[0:$]} with (!(item inside {'h33,'h06,'h11,'h3b}));

另见 https://accellera.mantishub.io/view.php?id=4698