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

Multi-level logic minimization using implicit don't cares. - Karen A. Bartlett; Robert K. Brayton; Gary D. Hachtel; Reily M. Jacoby; Christopher R. Morrison; Richard L. Rudell; Alberto L. Sangiovanni-Vincentelli; Albert R. Wang (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1988)

On properties of algebraic transformation and the multifault testability of multilevel logic. - Gary D. Hachtel; Reily M. Jacoby; Kurt Keutzer; Christopher R. Morrison (ICCAD, 1989)

Linear complexity algorithms for hierarchical routing. - Gary D. Hachtel; Christopher R. Morrison (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1989)

On properties of algebraic transformations and the synthesis of multifault-irredundant circuits. - Gary D. Hachtel; Reily M. Jacoby; Kurt Keutzer; Christopher R. Morrison (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1992)