Difficulty: Easy · Puzzle 1 of 6 · Topic: Implication Puzzles
Statement: on req, gnt should be high in the same sampled cycle. Timeline: C30 req=1 gnt=1, C31 gnt=0. Evaluate both properties.
property p_overlap;
@(posedge clk) req |-> gnt;
endproperty
property p_nonoverlap;
@(posedge clk) req |=> gnt;
endpropertyCompare consequent sampling cycle for |-> vs |=>.
1) For p_overlap, gnt is checked at C30 and is 1, so overlap passes.
2) For p_nonoverlap, gnt is checked at C31 and is 0, so non-overlap fails.
3) Same waveform yields different outcomes purely from implication operator choice.Answer: PASS for p_overlap, FAIL for p_nonoverlap - |-> checks same cycle, |=> checks next cycle.
This is the most common interview slip: people remember arrows visually, but not their sampling offsets.
If gnt were high at both C30 and C31, what would each property report?