Gary D. Hachtel

2006
56	EE	Chao Wang, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi: Compositional SCC Analysis for Language Emptiness. Formal Methods in System Design 28(1): 5-36 (2006)
55	EE	Chao Wang, Bing Li, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi: Improving Ariadne's Bundle by Following Multiple Threads in Abstraction Refinement. IEEE Trans. on CAD of Integrated Circuits and Systems 25(11): 2297-2316 (2006)
2004
54	EE	Chao Wang, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi: Refining the SAT decision ordering for bounded model checking. DAC 2004: 535-538
53	EE	Chao Wang, Gary D. Hachtel, Fabio Somenzi: Fine-Grain Abstraction and Sequential Don't Cares for Large Scale Model Checking. ICCD 2004: 112-118
2003
52	EE	Chao Wang, Gary D. Hachtel, Fabio Somenzi: The Compositional Far Side of Image Computation. ICCAD 2003: 334-341
51	EE	Chao Wang, Bing Li, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi: Improving Ariadneýs Bundle by Following Multiple Threads in Abstraction Refinement. ICCAD 2003: 408-415
2002
50	EE	Chao Wang, Gary D. Hachtel: Sharp Disjunctive Decomposition for Language Emptiness Checking. FMCAD 2002: 106-122
2001
49	EE	Chao Wang, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi: Divide and Compose: SCC Refinement for Language Emptiness. CONCUR 2001: 456-471
2000
48	EE	Jae-Young Jang, In-Ho Moon, Gary D. Hachtel: Iterative Abstraction-Based CTL Model Checking. DATE 2000: 502-
47	EE	In-Ho Moon, Gary D. Hachtel, Fabio Somenzi: Border-Block Triangular Form and Conjunction Schedule in Image Computation. FMCAD 2000: 73-90
1998
46	EE	Abelardo Pardo, Gary D. Hachtel: Incremental CTL Model Checking Using BDD Subsetting. DAC 1998: 457-462
45	EE	In-Ho Moon, Jae-Young Jang, Gary D. Hachtel, Fabio Somenzi, Jun Yuan, Carl Pixley: Approximate reachability don't cares for CTL model checking. ICCAD 1998: 351-358
1997
44		Abelardo Pardo, Gary D. Hachtel: Automatic Abstraction Techniques for Propositional µ-calculus Model Checking. CAV 1997: 12-23
43		R. Iris Bahar, Erica A. Frohm, Charles M. Gaona, Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi: Algebraic Decision Diagrams and Their Applications. Formal Methods in System Design 10(2/3): 171-206 (1997)
42		Gary D. Hachtel, Fabio Somenzi: A Symbolic Algorithms for Maximum Flow in 0-1 Networks. Formal Methods in System Design 10(2/3): 207-219 (1997)
41	EE	R. Iris Bahar, Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Fabio Somenzi: Symbolic timing analysis and resynthesis for low power of combinational circuits containing false paths. IEEE Trans. on CAD of Integrated Circuits and Systems 16(10): 1101-1115 (1997)
1996
40		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: VIS: A System for Verification and Synthesis. CAV 1996: 428-432
39		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: VIS. FMCAD 1996: 248-256
38		Kavita Ravi, Abelardo Pardo, Gary D. Hachtel, Fabio Somenzi: Modular Verification of Multipliers. FMCAD 1996: 49-63
37	EE	Woohyuk Lee, Abelardo Pardo, Jae-Young Jang, Gary D. Hachtel, Fabio Somenzi: Tearing based automatic abstraction for CTL model checking. ICCAD 1996: 76-81
36	EE	R. Iris Bahar, M. Burns, Gary D. Hachtel, Enrico Macii, H. Shin, Fabio Somenzi: Symbolic computation of logic implications for technology-dependent low-power synthesis. ISLPED 1996: 163-168
35	EE	Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Massimo Poncino, Fabio Somenzi: Automatic state space decomposition for approximate FSM traversal based on circuit analysis. IEEE Trans. on CAD of Integrated Circuits and Systems 15(12): 1451-1464 (1996)
34	EE	Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Bernard Plessier, Fabio Somenzi: Algorithms for approximate FSM traversal based on state space decomposition. IEEE Trans. on CAD of Integrated Circuits and Systems 15(12): 1465-1478 (1996)
33	EE	Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi: Markovian analysis of large finite state machines. IEEE Trans. on CAD of Integrated Circuits and Systems 15(12): 1479-1493 (1996)
1995
32	EE	Srilatha Manne, Abelardo Pardo, R. Iris Bahar, Gary D. Hachtel, Fabio Somenzi, Enrico Macii, Massimo Poncino: Computing the Maximum Power Cycles of a Sequential Circuit. DAC 1995: 23-28
31	EE	Abelardo Pardo, R. Iris Bahar, Srilatha Manne, Peter Feldmann, Gary D. Hachtel, Fabio Somenzi: CMOS dynamic power estimation based on collapsible current source transistor modeling. ISLPD 1995: 111-116
1994
30	EE	Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi: Probabilistic Analysis of Large Finite State Machines. DAC 1994: 270-275
29		Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Massimo Poncino, Fabio Somenzi: A State Space Decomposition Algorithm for Approximate FSM Traversal. EDAC-ETC-EUROASIC 1994: 137-141
28		Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi: Symbolic Algorithms to Calculate Steady-State Probabilities of a Finite State Machine. EDAC-ETC-EUROASIC 1994: 214-218
27		R. Iris Bahar, Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Fabio Somenzi: Timing Analysis of Combinational Circuits using ADD's. EDAC-ETC-EUROASIC 1994: 625-629
26	EE	R. Iris Bahar, Gary D. Hachtel, Enrico Macii, Fabio Somenzi: A symbolic method to reduce power consumption of circuits containing false paths. ICCAD 1994: 368-371
25	EE	Gary D. Hachtel, Mariano Hermida de la Rica, Abelardo Pardo, Massimo Poncino, Fabio Somenzi: Re-encoding sequential circuits to reduce power dissipation. ICCAD 1994: 70-73
24		Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Massimo Poncino, Fabio Somenzi: A Structural Approach to State Space Decomposition for Approximate Reachability Analysis. ICCD 1994: 236-239
23		Bernard Plessier, Gary D. Hachtel, Fabio Somenzi: Extended BDDs: Trading off Canonicity for Structure in Verification Algorithms. Formal Methods in System Design 4(2): 167-185 (1994)
22	EE	June-Kyung Rho, Gary D. Hachtel, Fabio Somenzi, Reily M. Jacoby: Exact and heuristic algorithms for the minimization of incompletely specified state machines. IEEE Trans. on CAD of Integrated Circuits and Systems 13(2): 167-177 (1994)
21	EE	Carl Pixley, Seh-Woong Jeong, Gary D. Hachtel: Exact calculation of synchronizing sequences based on binary decision diagrams. IEEE Trans. on CAD of Integrated Circuits and Systems 13(8): 1024-1034 (1994)
1993
20	EE	Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Bernard Plessier, Fabio Somenzi: Algorithms for Approximate FSM Traversal. DAC 1993: 25-30
19	EE	R. Iris Bahar, Erica A. Frohm, Charles M. Gaona, Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi: Algebraic decision diagrams and their applications. ICCAD 1993: 188-191
18	EE	Gary D. Hachtel, Fabio Somenzi: A symbolic algorithm for maximum flow in 0-1 networks. ICCAD 1993: 403-406
17	EE	Hyunwoo Cho, Gary D. Hachtel, Fabio Somenzi: Redundancy identification/removal and test generation for sequential circuits using implicit state enumeration. IEEE Trans. on CAD of Integrated Circuits and Systems 12(7): 935-945 (1993)
1992
16	EE	Carl Pixley, Seh-Woong Jeong, Gary D. Hachtel: Exact Calculation of Synchronization Sequences Based on Binary Decision Diagrams. DAC 1992: 620-623
15	EE	Gary D. Hachtel, Reily M. Jacoby, Kurt Keutzer, Christopher R. Morrison: On properties of algebraic transformations and the synthesis of multifault-irredundant circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 11(3): 313-321 (1992)
1991
14		June-Kyung Rho, Gary D. Hachtel, Fabio Somenzi: Don't Care Sequences and the Optimization of Interacting Finite State Machines. ICCAD 1991: 418-421
13		Seh-Woong Jeong, Bernard Plessier, Gary D. Hachtel, Fabio Somenzi: Extended BDD's: Trading off Canonicity for Structure in Verification Algorithms. ICCAD 1991: 464-467
12		Seon-Woong Jeong, Bernard Plessier, Gary D. Hachtel, Fabio Somenzi: Variable Ordering and Selection for FSM Traversal. ICCAD 1991: 476-479
11		Hyunwoo Cho, Gary D. Hachtel, Fabio Somenzi: Redundancy Identification and Removal Based on Implicit State Enumeration. ICCD 1991: 77-80
10		Hyunwoo Cho, Gary D. Hachtel, Fabio Somenzi: Fast Sequential ATPG Based on Implicit State Enumeration. ITC 1991: 67-74
9	EE	Xuejun Du, Gary D. Hachtel, Bill Lin, A. Richard Newton: MUSE: a multilevel symbolic encoding algorithm for state assignment. IEEE Trans. on CAD of Integrated Circuits and Systems 10(1): 28-38 (1991)
1990
8		Hyunwoo Cho, Gary D. Hachtel, Seh-Woong Jeong, Bernard Plessier, Eric M. Schwarz, Fabio Somenzi: ATPG Aspects of FSM Verification. ICCAD 1990: 134-137
1989
7	EE	Gary D. Hachtel, Christopher R. Morrison: Linear complexity algorithms for hierarchical routing. IEEE Trans. on CAD of Integrated Circuits and Systems 8(1): 64-80 (1989)
1988
6	EE	Gary D. Hachtel, Reily M. Jacoby: Verification algorithms for VLSI synthesis. IEEE Trans. on CAD of Integrated Circuits and Systems 7(5): 616-640 (1988)
5	EE	Karen A. Bartlett, Robert K. Brayton, Gary D. Hachtel, Reily M. Jacoby, Christopher R. Morrison, Richard L. Rudell, Alberto L. Sangiovanni-Vincentelli, Albert R. Wang: Multi-level logic minimization using implicit don't cares. IEEE Trans. on CAD of Integrated Circuits and Systems 7(6): 723-740 (1988)
1986
4	EE	David Gregory, Karen A. Bartlett, Aart J. de Geus, Gary D. Hachtel: SOCRATES: a system for automatically synthesizing and optimizing combinational logic. DAC 1986: 79-85
3	EE	Karen A. Bartlett, William W. Cohen, Aart J. de Geus, Gary D. Hachtel: Synthesis and Optimization of Multilevel Logic under Timing Constraints. IEEE Trans. on CAD of Integrated Circuits and Systems 5(4): 582-596 (1986)
1984
2		Michael R. Lightner, Gary D. Hachtel, Richard H. Byrd, Michel Heydemann: A Theory and Algorithmic Frame for Switch Level Simulation. IMACS European Simulation Meeting 1984: 151-159
1982
1	EE	Gary D. Hachtel, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli: An Algorithm for Optimal PLA Folding. IEEE Trans. on CAD of Integrated Circuits and Systems 1(2): 63-77 (1982)

Coauthor Index

1	Adnan Aziz	[39] [40]
2	R. Iris Bahar	[19] [26] [27] [31] [32] [36] [41] [43]
3	Karen A. Bartlett	[3] [4] [5]
4	Roderick Bloem	[49] [56]
5	Robert K. Brayton	[5] [39] [40]
6	M. Burns	[36]
7	Richard H. Byrd	[2]
8	Szu-Tsung Cheng	[39] [40]
9	Hyunwoo Cho	[8] [10] [11] [17] [20] [24] [27] [29] [34] [35] [41]
10	William W. Cohen	[3]
11	Xuejun Du	[9]
12	Stephen A. Edwards	[39] [40]
13	Peter Feldmann	[31]
14	Erica A. Frohm	[19] [43]
15	Charles M. Gaona	[19] [43]
16	Aart J. de Geus	[3] [4]
17	David Gregory	[4]
18	Michel Heydemann	[2]
19	Reily M. Jacoby	[5] [6] [15] [22]
20	Jae-Young Jang	[37] [45] [48]
21	Seh-Woong Jeong	[8] [13] [16] [21]
22	Seon-Woong Jeong	[12]
23	HoonSang Jin	[51] [54] [55]
24	Kurt Keutzer	[15]
25	Sunil P. Khatri	[39] [40]
26	Yuji Kukimoto	[39] [40]
27	Woohyuk Lee	[37]
28	Bing Li	[51] [55]
29	Michael R. Lightner	[2]
30	Bill Lin	[9]
31	Enrico Macii	[19] [20] [24] [26] [27] [28] [29] [30] [32] [33] [34] [35] [36] [41] [43]
32	Srilatha Manne	[31] [32]
33	In-Ho Moon	[45] [47] [48]
34	Christopher R. Morrison	[5] [7] [15]
35	A. Richard Newton	[1] [9]
36	Abelardo Pardo	[19] [25] [28] [30] [31] [32] [33] [37] [38] [39] [40] [43] [44] [46]
37	Carl Pixley	[16] [21] [45]
38	Bernard Plessier	[8] [12] [13] [20] [23] [34]
39	Massimo Poncino	[24] [25] [29] [32] [35]
40	Shaz Qadeer	[39] [40]
41	Rajeev K. Ranjan	[39] [40]
42	Kavita Ravi	[38] [49] [56]
43	June-Kyung Rho	[14] [22]
44	Mariano Hermida de la Rica	[25]
45	Richard L. Rudell	[5]
46	Alberto L. Sangiovanni-Vincentelli	[1] [5] [39] [40]
47	Shaker Sarwary	[39] [40]
48	Eric M. Schwarz	[8]
49	H. Shin	[36]
50	Thomas R. Shiple	[39] [40]
51	Fabio Somenzi	[8] [10] [11] [12] [13] [14] [17] [18] [19] [20] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [45] [47] [49] [51] [52] [53] [54] [55] [56]
52	Gitanjali Swamy	[39] [40]
53	Tiziano Villa	[39] [40]
54	Albert R. Wang	[5]
55	Chao Wang	[49] [50] [51] [52] [53] [54] [55] [56]
56	Jun Yuan	[45]

Colors in the list of coauthors