Hi,
I want to create CROSS between two bins of differet coverpoints: zero CROSS two.
right now i do this by checking each register for correct value and i mark “hit” if the statement is true.
But, i want to ask only about specific bins. can i somehow check the statement w.o passing throught the registers?
Current Code (inside covergroup):
CHECK1 : coverpoint cfg.source_one.reg.value
{ bins zero = {0};
bins one = {1}; }
CHECK2 : coverpoint cfg.source_two.reg.value
{ bins two = {0};
bins three = {1}; }
CHECK1_CROSS_CHECK2: coverpoint cfg.source_one.reg.value == 0 && cfg.source_two.reg.value == 0
{ bins hit = {1} ; }
I want it to look like:
CHECK1 : coverpoint cfg.source_one.reg.value
{ bins zero = {0};
bins one = {1}; }
CHECK2 : coverpoint cfg.source_two.reg.value
{ bins two = {0};
bins three = {1}; }
CHECK1_CROSS_CHECK2: coverpoint zero && two
{ bins hit = {1} ; }
Can it be done with similar syntax?