Bad-state recovery does not work
The "bad-state" recovery function does not work. If the rising edge of D is not detected, then the board deadlocks in state 1.
On the two prototypes, the AND gate has been bypassed to feed directly the set pulse to the phase detector. This allows software to force the device to state 3 by issuing two set pulses in a row.