Test Generation for Finite-State Machines
Test Generation for Finite-State Machines
m Irredundant combinational logic does not imply 100% sequential testability
m Sequential Faults: Faults may not be excited ("controlled") by primary inputs; faults may not be propagated to primary outputs ("observed").