Andreas Kuehlmann

2007
46	EE	Satrajit Chatterjee, Alan Mishchenko, Robert K. Brayton, Andreas Kuehlmann: On Resolution Proofs for Combinational Equivalence. DAC 2007: 600-605
45	EE	Nathan Kitchen, Andreas Kuehlmann: Stimulus generation for constrained random simulation. ICCAD 2007: 258-265
2006
44	EE	Qi Zhu, Nathan Kitchen, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli: SAT sweeping with local observability don't-cares. DAC 2006: 229-234
43	EE	Donald Chai, Andreas Kuehlmann: Building a better Boolean matcher and symmetry detector. DATE 2006: 1079-1084
42	EE	Zile Wei, Donald Chai, A. Richard Newton, Andreas Kuehlmann: Fast Boolean Matching with Don't Cares. ISQED 2006: 346-351
41	EE	Andreas Kuehlmann: Integrated Design Flows - A Battered EDA Slogan or True Challenge for Tool Development and Algorithmic Research. VLSI Design 2006: 41
2005
40	EE	Petra Färm, Elena Dubrova, Andreas Kuehlmann: Logic optimization using rule-based randomized search. ASP-DAC 2005: 998-1001
39	EE	Nina Amla, Xiaoqun Du, Andreas Kuehlmann, Robert P. Kurshan, Kenneth L. McMillan: An Analysis of SAT-Based Model Checking Techniques in an Industrial Environment. CHARME 2005: 254-268
38	EE	Nathan Kitchen, Andreas Kuehlmann: Temporal Decomposition for Logic Optimization. ICCD 2005: 697-702
37	EE	Zhong Xiu, David A. Papa, Philip Chong, Christoph Albrecht, Andreas Kuehlmann, Rob A. Rutenbar, Igor L. Markov: Early research experience with OpenAccess gear: an open source development environment for physical design. ISPD 2005: 94-100
36	EE	Donald Chai, Andreas Kuehlmann: A fast pseudo-Boolean constraint solver. IEEE Trans. on CAD of Integrated Circuits and Systems 24(3): 305-317 (2005)
2004
35	EE	Jason Baumgartner, Andreas Kuehlmann: Enhanced Diameter Bounding via Structural. DATE 2004: 36-41
34	EE	Hari Mony, Jason Baumgartner, Viresh Paruthi, Robert Kanzelman, Andreas Kuehlmann: Scalable Automated Verification via Expert-System Guided Transformations. FMCAD 2004: 159-173
33	EE	Aaron P. Hurst, Philip Chong, Andreas Kuehlmann: Physical placement driven by sequential timing analysis. ICCAD 2004: 379-386
32	EE	Andreas Kuehlmann: Dynamic transition relation simplification for bounded property checking. ICCAD 2004: 50-57
31	EE	Donald Chai, Andreas Kuehlmann: Circuit-Based Preprocessing of ILP and Its Applications in Leakage Minimization and Power Estimation. ICCD 2004: 387-392
30		John Willis, Andreas Kuehlmann: Design Automation TC Newsletter. IEEE Design & Test of Computers 21(2): 166- (2004)
2003
29	EE	Donald Chai, Andreas Kuehlmann: A fast pseudo-boolean constraint solver. DAC 2003: 830-835
28	EE	Cong Liu, Andreas Kuehlmann, Matthew W. Moskewicz: CAMA: A Multi-Valued Satisfiability Solver. ICCAD 2003: 326-333
27	EE	Kaushik Ravindran, Andreas Kuehlmann, Ellen Sentovich: Multi-Domain Clock Skew Scheduling. ICCAD 2003: 801-808
26	EE	Guoqiang Wang, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli: Structural Detection of Symmetries in Boolean Functions. ICCD 2003: 498-503
25	EE	René Krenz, Elena Dubrova, Andreas Kuehlmann: Fast Algorithm for Computing Spectral Transforms of Boolean and Multiple-Valued Functions on Circuit Representation. ISMVL 2003: 334-
2002
24		Lawrence T. Pileggi, Andreas Kuehlmann: Proceedings of the 2002 IEEE/ACM International Conference on Computer-aided Design, 2002, San Jose, California, USA, November 10-14, 2002 ACM 2002
23	EE	Jason Baumgartner, Andreas Kuehlmann, Jacob A. Abraham: Property Checking via Structural Analysis. CAV 2002: 151-165
22		René Krenz, Elena Dubrova, Andreas Kuehlmann: Circuit-Based Evaluation of the Arithmetic Transform of Boolean Functions. IWLS 2002: 321-326
21	EE	HoonSang Jin, Andreas Kuehlmann, Fabio Somenzi: Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis. TACAS 2002: 312-326
20	EE	Farhana Sheikh, Andreas Kuehlmann, Kurt Keutzer: Minimum-power retiming for dual-supply CMOS circuits. Timing Issues in the Specification and Synthesis of Digital Systems 2002: 43-49
19	EE	Andreas Kuehlmann, Viresh Paruthi, Florian Krohm, Malay K. Ganai: Robust Boolean reasoning for equivalence checking and functional property verification. IEEE Trans. on CAD of Integrated Circuits and Systems 21(12): 1377-1394 (2002)
2001
18	EE	Andreas Kuehlmann, Jason Baumgartner: Transformation-Based Verification Using Generalized Retiming. CAV 2001: 104-117
17	EE	Andreas Kuehlmann, Malay K. Ganai, Viresh Paruthi: Circuit-based Boolean Reasoning. DAC 2001: 232-237
16	EE	Andreas Kuehlmann, Robert W. Dutton, Paul D. Franzon, Seth Copen Goldstein, Philip Luekes, Eric Parker, Thomas N. Theis: Will Nanotechnology Change the Way We Design and Verify Systems? (Panel). ICCAD 2001: 174
15	EE	Jason Baumgartner, Andreas Kuehlmann: Min-Area Retiming on Dynamic Circuit Structures. ICCAD 2001: 176-182
14	EE	Subarnarekha Sinha, Andreas Kuehlmann, Robert K. Brayton: Sequential SPFDs. ICCAD 2001: 84-90
13	EE	Rajiv V. Joshi, Wei Hwang, Andreas Kuehlmann: Design Of Provably Correct Storage Arrays. VLSI Design 2001: 196-
2000
12	EE	Viresh Paruthi, Andreas Kuehlmann: Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation. ICCD 2000: 459-464
1999
11	EE	Malay K. Ganai, Adnan Aziz, Andreas Kuehlmann: Enhancing Simulation with BDDs and ATPG. DAC 1999: 385-390
10	EE	Andreas Kuehlmann, Kenneth L. McMillan, Robert K. Brayton: Probabilistic state space search. ICCAD 1999: 574-579
9	EE	Sérgio Vale Aguiar Campos, Marcio Teixeira, Marius Minea, Andreas Kuehlmann, Edmund M. Clarke: Model Checking Semi-Continuous Time Models Using BDDs. Electr. Notes Theor. Comput. Sci. 23(2): (1999)
1997
8	EE	Andreas Kuehlmann, Florian Krohm: Equivalence Checking Using Cuts and Heaps. DAC 1997: 263-268
1996
7	EE	Florian Krohm, Andreas Kuehlmann, Arjen Mets: The use of random simulation in formal verification. ICCD 1996: 371-
1994
6	EE	Andreas Kuehlmann, David Ihsin Cheng, Arvind Srinivasan, David P. LaPotin: Error Diagnosis for Transistor-Level Verification. DAC 1994: 218-224
5		Andreas Kuehlmann, Lukas P. P. P. van Ginneken: Grammar-Based Optimization of Synthesis Scenarios. ICCD 1994: 20-25
1993
4	EE	Reinaldo A. Bergamaschi, Andreas Kuehlmann: A system for production use of high-level synthesis. IEEE Trans. VLSI Syst. 1(3): 233-243 (1993)
1992
3	EE	Reinaldo A. Bergamaschi, Donald Lobo, Andreas Kuehlmann: Control Optimization in High-Level Synthesis Using Behavioral Don't Cares. DAC 1992: 657-661
2	EE	Andreas Kuehlmann, Reinaldo A. Bergamaschi: Timing analysis in high-level synthesis. ICCAD 1992: 349-354
1		Andreas Kuehlmann, Reinaldo A. Bergamaschi: High-Level State Machine Specification and Synthesis. ICCD 1992: 536-539

Coauthor Index

1	Jacob A. Abraham	[23]
2	Christoph Albrecht	[37]
3	Nina Amla	[39]
4	Adnan Aziz	[11]
5	Jason Baumgartner	[15] [18] [23] [34] [35]
6	Reinaldo A. Bergamaschi	[1] [2] [3] [4]
7	Robert K. Brayton	[10] [14] [46]
8	Sérgio Vale Aguiar Campos	[9]
9	Donald Chai	[29] [31] [36] [42] [43]
10	Satrajit Chatterjee	[46]
11	David Ihsin Cheng	[6]
12	Philip Chong	[33] [37]
13	Edmund M. Clarke	[9]
14	Xiaoqun Du	[39]
15	Elena Dubrova	[22] [25] [40]
16	Robert W. Dutton	[16]
17	Petra Färm	[40]
18	Paul D. Franzon	[16]
19	Malay K. Ganai	[11] [17] [19]
20	Lukas P. P. P. van Ginneken	[5]
21	Seth Copen Goldstein	[16]
22	Aaron P. Hurst	[33]
23	Wei Hwang	[13]
24	HoonSang Jin	[21]
25	Rajiv V. Joshi	[13]
26	Robert Kanzelman	[34]
27	Kurt Keutzer	[20]
28	Nathan Kitchen	[38] [44] [45]
29	René Krenz	[22] [25]
30	Florian Krohm	[7] [8] [19]
31	Robert P. Kurshan	[39]
32	David P. LaPotin	[6]
33	Cong Liu	[28]
34	Donald Lobo	[3]
35	Philip Luekes	[16]
36	Igor L. Markov	[37]
37	Kenneth L. McMillan	[10] [39]
38	Arjen Mets	[7]
39	Marius Minea	[9]
40	Alan Mishchenko	[46]
41	Hari Mony	[34]
42	Matthew W. Moskewicz	[28]
43	A. Richard Newton	[42]
44	David A. Papa	[37]
45	Eric Parker	[16]
46	Viresh Paruthi	[12] [17] [19] [34]
47	Lawrence T. Pileggi (Larry T. Pileggi, Lawrence T. Pillage)	[24]
48	Kaushik Ravindran	[27]
49	Rob A. Rutenbar	[37]
50	Alberto L. Sangiovanni-Vincentelli	[26] [44]
51	Ellen Sentovich (Ellen M. Sentovich)	[27]
52	Farhana Sheikh	[20]
53	Subarnarekha Sinha	[14]
54	Fabio Somenzi	[21]
55	Arvind Srinivasan	[6]
56	Marcio Teixeira	[9]
57	Thomas N. Theis	[16]
58	Guoqiang Wang	[26]
59	Zile Wei	[42]
60	John Willis	[30]
61	Zhong Xiu	[37]
62	Qi Zhu	[44]

Colors in the list of coauthors