如何解决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 举报,一经查实,本站将立刻删除。