Gary D. Hachtel

Multilevel logic synthesis

Robert K. Brayton, Gary D. Hachtel, Alberto Sangiovanni‐Vincentelli · Proceedings of the IEEE · 1990 · 412 citations

Engineering, Computer Engineering, Computer Science +17

The Sparse Tableau Approach to Network Analysis and Design

Gary D. Hachtel, Robert K. Brayton, Fred G. Gustavson · IEEE Transactions on Circuit Theory · 1971 · 343 citations

Computing, Computational Engineering, Computer Science +17

Algebraic decision diagrams and their applications

R. Iris Bahar, E.A. Frohm, Charles M. Gaona et al. · Proceedings of 1993 International Conference on Computer Aided Design (ICCAD) · 2002 · 283 citations

Computing, Computer Engineering, Computer Science +16

A survey of optimization techniques for integrated-circuit design

Robert K. Brayton, Gary D. Hachtel, Alberto Sangiovanni‐Vincentelli · Proceedings of the IEEE · 1981 · 264 citations

Engineering, Computer Engineering, Electrical Engineering +14

Multi-level logic minimization using implicit don't cares

K. Bartlett, Robert K. Brayton, Gary D. Hachtel et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1988 · 264 citations

Engineering, Computer Engineering, Computer Science +17