Assert property (@(posedge clk) 0 |-> 1)

[dave_59]

In reply to sarfaraz@verifworks.com:

The importance of it seems like an interview question.