A fault simulation method: Parallel pattern critical path tracing. - Byung S. So; Charles R. Kime (J. Electron. Test., 1993)

ICAT: incremental combinational ATPG. - Byung S. So; Charles R. Kime (VTS, 1994)