Hi,
I have a situation like this:
a_timeout : coverpoint (a_timeout_value) {option.auto_bin_max=16;}
b_timeout : coverpoint (b_timeout_value) {option.auto_bin_max=16;}
cx_a_b : cross a_timeout, b_timeout {
ignore_bins bins_a_less_than_b = cx_a_b with (a_timeout_value < b_timeout_value;);
}
I am getting error at the ignore_bins statement. I am not sure how do I write this constraint in the ignore_bins.