COV_A : coverpoint A {
bins AVAILABLE = {1};
bins UNAVAILABLE = {0};
}
COV_B : coverpoint B {
bins AVAILABLE = {1};
bins UNAVAILABLE = {0};
COV_C : coverpoint C {
bins AVAILABLE = {1};
bins UNAVAILABLE = {0};
}
COV_D : coverpoint D {
bins AVAILABLE = {1};
bins UNAVAILABLE = {0};
cross_AB : cross COV_A,COV_B;
cross_CD : cross COV_C,COV_D;
cross_ABCD : cross cross_AB,cross_CD; ??
Also, what will be the total number of bins generated in cross_ABCD (a) in default case & (b)if we have only 2 user defined bins in cross_AB and cross_CD ? Is there a way we can have only user defined bins in a cross bin and disable automatically generated bins?