In reply to Anudeep J:
You can go with below code for checking counter functionality
property counter_1bit;
bit cnt;
disable iff(!reset)
@(posedge clk)
(1, cnt = out)|=> (out == cnt + 1'b1);
endproperty: counter_1bit
onebit_counter: assert property(counter_1bit);