Hi, I want to create cross coverage bins with condition
for example
--------------------------------------------------
int a;
int b;
constraint c1 {
a inside {[1:3]};
b inside {[1:3]};
}
covergroup cov1;
cp1 : coverpoint a {bins b1[] = {[1:3]};}
endgroup
covergroup cov2;
cp1 : coverpoint b {bins b1[] = {[1:3]};}
endgroup
covergroup cov3;
cp1 : cross cov1.cp1, cov2.cp2 iff(a<=b);
endgroup
--------------------------------------------------
Then, i expected number of bins in cov3 to be 6 but it was made 9 bins
=> expect bins (a,b) : (1,1), (1,2), (1,3), (2,2), (2,3), (3,3)
=> real made bins (a,b) : (1,1), (1,2), (1,3), (2,1), (2,2), (2,3), (3,1), (3,2), (3,3)
How do i make bins what i expected?
