In reply to ingamara:
Maybe you could specify the bins you want to ignore in the cross using the the with clause something like this
CRS: cross p0, p1, p2, p3, p4, p5 {
ignore_bins same = CRS with ((p0 == p1) || (p0 == p2) || (p0 == p3) || (p0 == p4) || (p0 == p5) ||
(p1 == p2) || (p1 == p3) || (p1 == p4) || (p1 == p5) ||
(p2 == p3) || (p2 == p4) || (p2 == p5) ||
(p3 == p4) || (p3 == p5) ||
(p4 == p5)
);
}
I think this basically leaves only the unique combinations in this case since v has 6 numbers 12345*6 = 6! = 720 (I could be wrong), I tried with 3 coverpoints with v = {0,1,2} and it seemed to work.
I know it does not look pretty, maybe there is a more efficient way to exclude them.
You can have a look to the 1800-2017 LRM section 19.6.1.2 Cross bin with covergroup expressions to get more details
HTH,
-R