Combinational ATPG Theorems for Identifying Untestable Faults in Sequential Circuits (1995)

by V D Agrawal, S T Chakradhar
Venue:IEEE Trans. On CAD