How to prevent FIFO Overflow Check Assertion from triggering every clock

[dave_59]

In reply to Earthling:

disable iff (rst)  @clk $rose(wr_en) |-> !full until !wr_en;