Karen A. Bartlett

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..

Timing optimization of multiphase sequential logic

Gaetano Borriello, Karen A. Bartlett, Sitaram Raju, 1991, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

SOCRATES: A System for Automatically Synthesizing and Optimizing Combinational Logic

Gary D. Hachtel, Karen A. Bartlett, David Gregory, 1986, 23rd ACM/IEEE Design Automation Conference.

BOLD: The Boulder Optimal Logic Design system

Gary D. Hachtel, Karen A. Bartlett, Reily M. Jacoby, 1989, [1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume 1: Architecture Track.

Synthesis and Optimization of Multilevel Logic under Timing Constraints

William W. Cohen, Gary D. Hachtel, Karen A. Bartlett, 1986, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.