Assert property

[suresh_M1]

In reply to Anudeep J:

I’m looking for one bit counter functionality.
checking for reset condition , will the above code works or not?