In reply to Have_A_Doubt:
(time 129 NS) Assertion tb.ap_proper has failed (5 cycles, starting 85 NS) because at
t85 you have a new successful attempt with ($rose(read), localID = readID)
The consequent suntil_with(localID) was not true before the end of sim.
You have an s_until