In reply to feiphung:
Use the concurrent assertion, instead of immediate assertion, statement. Thus,
always_ff @(posedge write_clk)
if (first_write_clock_had_passed)
cover property($past(full)&&($past(write_en))&&(full));
Ben systemverilog.us