In reply to Anudeep J:
I’m saying that reset action also includes in counter functionality, can’t we write like this
($fell(reset)&&$fell(count))|=> (count=count+1’b1);
that is $fell(reset)-----> which is checking active low reset?
should we write only like this
disable iff(reset)
is this statement can use only for asynchronous ?