"circuits such as a counter and an RC timer may be used to verify" . . . .