Combinational ATPG theorems for identifying untestable faults in sequential circuits (1995)

by V D Agrawal, S T Chakradhar
Venue:IEEE Trans Comput.-Aided Des. Integr. Circuits Syst