Assert property

Coverage
,
11

In reply to suresh M:

Hi,

You are saying that its an active low reset, then why are you checking counter functionality when it is fell(my query). PLease clarify me