Gary D. Hachtel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
40
Venues
9
Active years
1982–2004
Best venue rank
A*
Where they publish
Papers
40 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2004 | DAC | Refining the SAT decision ordering for bounded model checking. | Chao Wang, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi |
| 2004 | ICCD | Fine-Grain Abstraction and Sequential Don't Cares for Large Scale Model Checking. | Chao Wang, Gary D. Hachtel, Fabio Somenzi |
| 2003 | ICCAD | The Compositional Far Side of Image Computation. | Chao Wang, Gary D. Hachtel, Fabio Somenzi |
| 2003 | ICCAD | Improving Ariadnes Bundle by Following Multiple Threads in Abstraction Refinement. | Chao Wang, Bing Li, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi |
| 2002 | FMCAD | Sharp Disjunctive Decomposition for Language Emptiness Checking. | Chao Wang, Gary D. Hachtel |
| 2001 | CONCUR | Divide and Compose: SCC Refinement for Language Emptiness. | Chao Wang, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi |
| 2000 | DATE | Iterative Abstraction-Based CTL Model Checking. | Jae-Young Jang, In-Ho Moon, Gary D. Hachtel |
| 2000 | FMCAD | Border-Block Triangular Form and Conjunction Schedule in Image Computation. | In-Ho Moon, Gary D. Hachtel, Fabio Somenzi |
| 1998 | DAC | Incremental CTL Model Checking Using BDD Subsetting. | Abelardo Pardo, Gary D. Hachtel |
| 1998 | ICCAD | Approximate reachability don't cares for CTL model checking. | In-Ho Moon, Jae-Young Jang, Gary D. Hachtel, Fabio Somenzi, Jun Yuan, Carl Pixley |
| 1997 | CAV | Automatic Abstraction Techniques for Propositional µ-calculus Model Checking. | Abelardo Pardo, Gary D. Hachtel |
| 1996 | CAV | VIS: A System for Verification and Synthesis. | Robert K. Brayton, Gary D. Hachtel, Alberto L. Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen A. Edwards, Sunil P. Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, Tiziano Villa |
| 1996 | FMCAD | VIS. | Robert K. Brayton, Gary D. Hachtel, Alberto L. Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen A. Edwards, Sunil P. Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, Tiziano Villa |
| 1996 | FMCAD | Modular Verification of Multipliers. | Kavita Ravi, Abelardo Pardo, Gary D. Hachtel, Fabio Somenzi |
| 1996 | ICCAD | Tearing based automatic abstraction for CTL model checking. | Woohyuk Lee, Abelardo Pardo, Jae-Young Jang, Gary D. Hachtel, Fabio Somenzi |
| 1996 | ISLPED | Symbolic computation of logic implications for technology-dependent low-power synthesis. | R. Iris Bahar, M. Burns, Gary D. Hachtel, Enrico Macii, H. Shin, Fabio Somenzi |
| 1995 | DAC | Computing the Maximum Power Cycles of a Sequential Circuit. | Srilatha Manne, Abelardo Pardo, R. Iris Bahar, Gary D. Hachtel, Fabio Somenzi, Enrico Macii, Massimo Poncino |
| 1995 | ISLPED | CMOS dynamic power estimation based on collapsible current source transistor modeling. | Abelardo Pardo, R. Iris Bahar, Srilatha Manne, Peter Feldmann, Gary D. Hachtel, Fabio Somenzi |
| 1994 | DAC | Probabilistic Analysis of Large Finite State Machines. | Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi |
| 1994 | ICCAD | A symbolic method to reduce power consumption of circuits containing false paths. | R. Iris Bahar, Gary D. Hachtel, Enrico Macii, Fabio Somenzi |
| 1994 | ICCAD | Re-encoding sequential circuits to reduce power dissipation. | Gary D. Hachtel, Mariano Hermida de la Rica, Abelardo Pardo, Massimo Poncino, Fabio Somenzi |
| 1994 | ICCD | A Structural Approach to State Space Decomposition for Approximate Reachability Analysis. | Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Massimo Poncino, Fabio Somenzi |
| 1993 | DAC | Algorithms for Approximate FSM Traversal. | Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Bernard Plessier, Fabio Somenzi |
| 1993 | ICCAD | Algebraic decision diagrams and their applications. | R. Iris Bahar, Erica A. Frohm, Charles M. Gaona, Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi |
| 1993 | ICCAD | A symbolic algorithm for maximum flow in 0-1 networks. | Gary D. Hachtel, Fabio Somenzi |
| 1992 | DAC | Exact Calculation of Synchronization Sequences Based on Binary Decision Diagrams. | Carl Pixley, Seh-Woong Jeong, Gary D. Hachtel |
| 1991 | ICCAD | Extended BDD's: Trading off Canonicity for Structure in Verification Algorithms. | Seh-Woong Jeong, Bernard Plessier, Gary D. Hachtel, Fabio Somenzi |
| 1991 | ICCAD | Variable Ordering and Selection for FSM Traversal. | Seon-Woong Jeong, Bernard Plessier, Gary D. Hachtel, Fabio Somenzi |
| 1991 | ICCAD | Don't Care Sequences and the Optimization of Interacting Finite State Machines. | June-Kyung Rho, Gary D. Hachtel, Fabio Somenzi |
| 1991 | ICCD | Redundancy Identification and Removal Based on Implicit State Enumeration. | Hyunwoo Cho, Gary D. Hachtel, Fabio Somenzi |
| 1991 | ITC | Fast Sequential ATPG Based on Implicit State Enumeration. | Hyunwoo Cho, Gary D. Hachtel, Fabio Somenzi |
| 1990 | ICCAD | ATPG Aspects of FSM Verification. | Hyunwoo Cho, Gary D. Hachtel, Seh-Woong Jeong, Bernard Plessier, Eric M. Schwarz, Fabio Somenzi |
| 1989 | ICCAD | On optimal extraction of combinational logic and don't care sets from hardware description languages. | Glenn Coln-Bonet, Eric M. Schwarz, D. G. Bostick, Gary D. Hachtel, Michael R. Lightner |
| 1989 | ICCAD | On properties of algebraic transformation and the multifault testability of multilevel logic. | Gary D. Hachtel, Reily M. Jacoby, Kurt Keutzer, Christopher R. Morrison |
| 1989 | ICCAD | New ATPG techniques for logic optimization. | Reily M. Jacoby, P. Moceyunas, Hyunwoo Cho, Gary D. Hachtel |
| 1988 | ICCAD | BEATNP: a tool for partitioning Boolean networks. | Hyunwoo Cho, Gary D. Hachtel, M. Nash, L. Setiono |
| 1988 | ICCAD | Performance enhancements in BOLD using 'implications'. | Gary D. Hachtel, Reily M. Jacoby, P. Moceyunas, Christopher R. Morrison |
| 1986 | DAC | SOCRATES: a system for automatically synthesizing and optimizing combinational logic. | David Gregory, Karen A. Bartlett, Aart J. de Geus, Gary D. Hachtel |
| 1982 | DAC | Techniques for programmable logic array folding. | Gary D. Hachtel, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli |
| 1982 | DAC | Implication algorithms for MOS switch level functional macromodeling implication and testing. | Michael R. Lightner, Gary D. Hachtel |