Synthesis Procedure for Fully-TestableNon-Scan Finite-State Machine (Devadas, et.al. 1988)
Partition NSL into single-cone circuits
Single stuck-fault Þ correct & incorrect next-state differ by exactly one bit.
Perform state assignment such that all states differing in one bit assert different outputs Þ one-step propagation