D-Index & Metrics Best Publications

Gary D. Hachtel

University of Colorado Boulder
United States

D-Index & Metrics D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines.

Discipline name Citations Publications World Ranking National Ranking

Computer Science D-index 40 Citations 11,041 80 World Ranking 5650 National Ranking 2749

Overview

What is he best known for?

The fields of study he is best known for:

Algorithm
Programming language
Algebra

Gary D. Hachtel spends much of his time researching Algorithm, Sequential logic, Theoretical computer science, Logic synthesis and Logic optimization. Quadratic assignment problem is the focus of his Algorithm research. His Sequential logic study incorporates themes from Finite-state machine, Programming language, Data structure and Product.

His work carried out in the field of Theoretical computer science brings together such families of science as Tree traversal, State and Boolean algebra. His Logic synthesis research incorporates themes from Very-large-scale integration, Quine–McCluskey algorithm, Boole's expansion theorem and Implicant. His research in Logic optimization intersects with topics in Register-transfer level, Boolean circuit and Combinational logic.

His most cited work include:

Logic Minimization Algorithms for VLSI Synthesis (1271 citations)
VIS: A System for Verification and Synthesis (547 citations)
Algebraic decision diagrams and their applications (533 citations)

What are the main themes of his work throughout his whole career to date?

His main research concerns Algorithm, Theoretical computer science, Sequential logic, Finite-state machine and Boolean function. His Algorithm research is multidisciplinary, incorporating elements of Set and Minification. Gary D. Hachtel has included themes like Boolean circuit, Enumeration, Boolean algebra, Logic synthesis and Graph in his Theoretical computer science study.

Gary D. Hachtel works in the field of Logic synthesis, namely Logic optimization. His study looks at the intersection of Sequential logic and topics like Automatic test pattern generation with Speedup. When carried out as part of a general Finite-state machine research project, his work on Richards controller is frequently linked to work in Markov chain, therefore connecting diverse disciplines of study.

He most often published in these fields:

Algorithm (65.00%)
Theoretical computer science (36.25%)
Sequential logic (23.75%)

What were the highlights of his more recent work (between 1997-2020)?

Model checking (18.75%)
Algorithm (65.00%)
Theoretical computer science (36.25%)

In recent papers he was focusing on the following fields of study:

Gary D. Hachtel focuses on Model checking, Algorithm, Theoretical computer science, Computation and Formal verification. His work in Model checking covers topics such as Set which are related to areas like Resolution and Property. His studies in Algorithm integrate themes in fields like Abstract data type and Heuristic.

His work in Theoretical computer science tackles topics such as Boolean function which are related to areas like Variable and Boolean satisfiability problem. His Formal verification study combines topics in areas such as Discrete mathematics, Fragment and Binary decision diagram. Gary D. Hachtel interconnects Sequential logic, Logic synthesis, Boolean circuit and Boolean algebra in the investigation of issues within Combinational logic.

Between 1997 and 2020, his most popular works were:

Border-Block Triangular Form and Conjunction Schedule in Image Computation (62 citations)
Improving Ariadne's Bundle by Following Multiple Threads in Abstraction Refinement (39 citations)
Incremental CTL model checking using BDD subsetting (39 citations)

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Best Publications

Logic Minimization Algorithms for VLSI Synthesis

Robert King Brayton;Alberto L. Sangiovanni-Vincentelli;Curtis T. McMullen;Gary D. Hachtel.
(1984)

2280 Citations

Algebric Decision Diagrams and Their Applications

R. I. Bahar;E. A. Frohm;C. M. Gaona;G. D. Hachtel.
formal methods (1997)

1107 Citations

VIS: A System for Verification and Synthesis

Robert K. Brayton;Gary D. Hachtel;Alberto L. Sangiovanni-Vincentelli;Fabio Somenzi.
computer aided verification (1996)

957 Citations

Algebraic decision diagrams and their applications

R. Iris Bahar;Erica A. Frohm;Charles M. Gaona;Gary D. Hachtel.
international conference on computer aided design (1993)

826 Citations

Logic Synthesis and Verification Algorithms

Gary D. Hachtel;Fabio Somenzi.
(1996)

753 Citations

Multilevel logic synthesis

R.K. Brayton;G.D. Hachtel;A.L. Sangiovanni-Vincentelli.
Proceedings of the IEEE (1990)

608 Citations

A survey of optimization techniques for integrated-circuit design

R.K. Brayton;G.D. Hachtel;A.L. Sangiovanni-Vincentelli.
Proceedings of the IEEE (1981)

360 Citations

Multi-level logic minimization using implicit don't cares

K.A. Bartlett;R.K. Brayton;G.D. Hachtel;R.M. Jacoby.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (1988)

348 Citations

A new algorithm for statistical circuit design based on quasi-Newton methods and function splitting

R. Brayton;G. Hachtel;L. Vidigal.
IEEE Transactions on Circuits and Systems (1979)

271 Citations

Markovian analysis of large finite state machines

G.D. Hachtel;E. Macii;A. Pardo;F. Somenzi.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (1996)

198 Citations

If you think any of the details on this page are incorrect, let us know.

Frequent Co-Authors

External Links

Personal Website for Gary D. Hachtel