Hardware interview practice
Vacuity
An assertion has passed for the entire test, but req was never asserted. Which addition most directly exposes this vacuous-success hole?
Starting point
Question code
assert property (@(posedge clk) req |-> ##[1:3] ack);Choose one
Answer choices
- A. Replace |-> with logical ==
- B. Add cover property (@(posedge clk) req) and require it to hit
- C. Add disable iff (req)
- D. Change ack to $isunknown(ack)