Christopher R. Morrison

Multi-level logic minimization using implicit don't cares

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Gary D. Hachtel, 1988, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

On properties of algebraic transformations and the synthesis of multifault-irredundant circuits

Kurt Keutzer, Gary D. Hachtel, Reily M. Jacoby, 1992, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

On properties of algebraic transformation and the multifault testability of multilevel logic

Kurt Keutzer, Gary D. Hachtel, Reily M. Jacoby, 1989, 1989 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.

Performance enhancements in BOLD using 'implications'

Gary D. Hachtel, Reily M. Jacoby, Christopher R. Morrison, 1988, [1988] IEEE International Conference on Computer-Aided Design (ICCAD-89) Digest of Technical Papers.

Linear complexity algorithms for hierarchical routing

Gary D. Hachtel, Christopher R. Morrison, 1989, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..