I have a cover group like below (assume A and B are vector wires):
covergroup test_covergroup @(cover_grp_cond);
coverpoint_one : coverpoint A iff (cover_pt_cond_one);
coverpoint_two : coverpoint B iff (cover_pt_cond_two);
cross_one_two: cross coverpoint_one, coverpoint_two;
endgroup
test_covergroup = new;
What is the expectation on sampling for the cross cross_one_two? Will it be sampled only when cover_grp_cond is satisfied or is it sampled when all three of cover_grp_cond, cover_pt_cond_one and cover_pt_cond_two are satisfied? Any help is appreciated.
PS: I looked through the LRM, but I didn’t seem to find anything specific.