Assert property

Coverage
,
2

In reply to suresh M:

Depends on your specification - such as:

  1. Is reset active Low or High
  2. Counter is synchronously reset or async?

Srini
www.verifworks.com