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

Coverage
,
1

Can someone please explain the below statement?. Kindly highlight the importance of it.
assert property (@(posedge clk) 0 |-> 1);

2

In reply to sarfaraz@verifworks.com:

The importance of it seems like an interview question.

3

In reply to dave_59:

Hi dave,
Its not an interview question . I am learning assertions , so I came across this statement but could not understand. can you please explain?

4

In reply to sarfaraz@verifworks.com:

Where did you come across it? Where there any comments associated with it? And what made you post this in the coverage forum? Lots of hidden information,