G
Gary D. Hachtel
Researcher at University of Colorado Boulder
Publications - 81
Citations - 7300
Gary D. Hachtel is an academic researcher from University of Colorado Boulder. The author has contributed to research in topics: Finite-state machine & Sequential logic. The author has an hindex of 39, co-authored 80 publications receiving 7170 citations.
Papers
More filters
Book
Logic Minimization Algorithms for VLSI Synthesis
TL;DR: The ESPRESSO-IIAPL as discussed by the authors is an extension of the ESPRSO-IIC with the purpose of improving the efficiency of Tautology and reducing the number of blocks and covers.
Book ChapterDOI
VIS: A System for Verification and Synthesis
Robert K. Brayton,Gary D. Hachtel,Alberto Sangiovanni-Vincentelli,Fabio Somenzi,Adnan Aziz,Szu-Tsung Cheng,Stephen A. Edwards,Sunil P. Khatri,Yuji Kukimoto,Abelardo Pardo,Shaz Qadeer,Rajeev Kumar Ranjan,Shaker Sarwary,Thomas R. Shiple,Gitanjali Swamy,Tiziano Villa +15 more
TL;DR: VIS provides the capability to check the combinational equivalence of two designs and provides traditional verification in the form of a cycle-based simulator that uses BDD techniques.
Proceedings ArticleDOI
Algebraic decision diagrams and their applications
R. Iris Bahar,Erica A. Frohm,Charles M. Gaona,Gary D. Hachtel,Enrico Macii,Abelardo Pardo,Fabio Somenzi +6 more
TL;DR: This paper presents a treatment founded in Boolean algebras and discusses algorithms and results in applications like matrix multiplication and shortest path algorithms, and outlines possible applications of ADD's to logic synthesis, formal verification, and testing of digital systems.
Book
Logic Synthesis and Verification Algorithms
Gary D. Hachtel,Fabio Somenzi +1 more
TL;DR: Logic Synthesis and Verification Algorithms blends mathematical foundations and algorithmic developments with circuit design issues to establish optimal design principles.
Journal ArticleDOI
Multilevel logic synthesis
TL;DR: A survey of logic synthesis techniques for multilevel combinational logic is presented to provide more in-depth background and perspective for people interested in pursuing or assessing some of the topics in this emerging field.