Synthesis Procedure for Fully-Testable Non-Scan Finite-State Machine
Synthesis Procedure for Fully-Testable Non-Scan Finite-State Machine
m Partition NSL into single-cone circuits
m Single stuck-fault Ş correct & incorrect next-state differ by exactly one bit.
m Perform state assignment such that all states differing in one bit assert different outputs Ş one-step propagation