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回收站应收集其他回收站未收集的所有垃圾。

可能会使用default，但问题是default不是active容器，我的意思是，它不是函数覆盖指标的一部分。

还有没有其他的方式来定义ipv6_ext_any_other bin呢？或者，有没有一种方法可以使default成为活动的bin？

Answer 1

你可以做到

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

另请参阅https://accellera.mantishub.io/view.php?id=4698