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