ASIC Question Bank

cp_a: coverpoint a { bins a0={0}; bins a1={1}; }
cp_b: coverpoint b { bins b0={0}; bins b1={1}; }
x: cross cp_a, cp_b {
  ignore_bins zero_zero =
    binsof(cp_a) intersect {0} && binsof(cp_b) intersect {0};
}