Hi,
EX : coverpoint five_vector
In reply to oglick:
If you don’t mind the overlap, you can write:
coverpoint vector {
bins one = {5'd1};
bins three = {5'd3};
bins unused[] = {[0:$]};
}
Otherwise the more explicit solution is using the with clause
coverpoint vector {
bins one = {5'd1};
bins three = {5'd3};
bins unused[] = {[0:$]} with (item != 1 && item != 3);
}