full_write:assert property(
@(posedge clk_i) disable iff (~rst_ni) (full_o | -> ~push_i))
else $fatal (1, "Trying to push new data although the FIFO is full.");
如果disable iff (~rst_ni) (full_o | -> ~push_i)成立,则不启动assert
full_write:assert property(
@(posedge clk_i) disable iff (~rst_ni) (full_o | -> ~push_i))
else $fatal (1, "Trying to push new data although the FIFO is full.");
如果disable iff (~rst_ni) (full_o | -> ~push_i)成立,则不启动assert