C Zeng, N Saxena… - … Test Conference 1999 …, 1999 - ieeexplore.ieee.org
A new synthesis technique for designing finite state machines with on-line parity checking is
presented. The output logic and the next-state logic of the finite state machines are checked …