Performance enhancements in BOLD using 'implications'. - Gary D. Hachtel; Reily M. Jacoby; P. Moceyunas; Christopher R. Morrison (ICCAD, 1988)

New ATPG techniques for logic optimization. - Reily M. Jacoby; P. Moceyunas; Hyunwoo Cho; Gary D. Hachtel (ICCAD, 1989)