An automatic test pattern generation program for large ASICs. - Dick L. Liu; Rajesh Galivanche; Charlie C. Hsu (ICCD, 1989)