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

问题描述

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 bin 的方法吗？ 或者，有没有办法让 default 成为活动垃圾箱？

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）