Assert property

[suresh_M1]

In reply to Anudeep J:
what is the need of 1 in the below code, I don’t understand that the sequence (1,cnt=out)
(1, cnt = out)|=> (out == cnt + 1’b1);