by verifying the timing of signal transitions