In reply to feiphung:
“why does cover($past(full)); failed but cover(full); passed ?”
$past, $stable etc require a sampling clocking event.
Instead of the immediate cover, assert use the concurrent ones.
Use:
cover property ($past(full));
The clocking event can be inferred.
Ben systemverilog.us