Assert property

Coverage
,
3

In reply to Srini @ CVCblr.com:
For a one bit counter the following assert property code is correct one r not?
spec:

  1. reset is active low
  2. synchronous counter.

property counter_1bit;
@(posedge clk)
$fell(reset)|-> $fell(count);
endproperty: counter_1bit

onebit_counter: assert property(counter_1bit);