断言语法disable iff

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