ASIC Question Bank

An assertion has passed for the entire test, but req was never asserted. Which addition most directly exposes this vacuous-success hole?

assert property (@(posedge clk) req |-> ##[1:3] ack);