ASIC Question Bank

A request is sampled high, but rst_n goes low before the next edge where gnt would be checked. What happens to that pending assertion attempt?

assert property (@(posedge clk) disable iff (!rst_n) req |=> gnt);