Andreas Kuehlmann

2008
51	EE	Juan C. Rey, Andreas Kuehlmann, Jan M. Rabaey, Cormac Conroy, Ted Vucurevich, Ikuya Kawasaki, Tuna B. Tarim: Next generation wireless-multimedia devices: who is up for the challenge? DAC 2008: 353-354
50	EE	Andreas Kuehlmann, Anjan Bose, David E. Corman, Rob A. Rutenbar, Robert M. Manning, Anna Newman: Verifying really complex systems: on earth and beyond. DAC 2008: 552-553
2007
49	EE	Satrajit Chatterjee, Alan Mishchenko, Robert K. Brayton, Andreas Kuehlmann: On Resolution Proofs for Combinational Equivalence. DAC 2007: 600-605
48	EE	Nathan Kitchen, Andreas Kuehlmann: Stimulus generation for constrained random simulation. ICCAD 2007: 258-265
2006
47	EE	Qi Zhu, Nathan Kitchen, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli: SAT sweeping with local observability don't-cares. DAC 2006: 229-234
46	EE	Donald Chai, Andreas Kuehlmann: Building a better Boolean matcher and symmetry detector. DATE 2006: 1079-1084
45	EE	Zile Wei, Donald Chai, A. Richard Newton, Andreas Kuehlmann: Fast Boolean Matching with Don't Cares. ISQED 2006: 346-351
44	EE	Andreas Kuehlmann: Integrated Design Flows - A Battered EDA Slogan or True Challenge for Tool Development and Algorithmic Research. VLSI Design 2006: 41
2005
43	EE	Petra Färm, Elena Dubrova, Andreas Kuehlmann: Logic optimization using rule-based randomized search. ASP-DAC 2005: 998-1001
42	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
41	EE	Nathan Kitchen, Andreas Kuehlmann: Temporal Decomposition for Logic Optimization. ICCD 2005: 697-702
40	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
39	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
38	EE	Jason Baumgartner, Andreas Kuehlmann: Enhanced Diameter Bounding via Structural. DATE 2004: 36-41
37	EE	Hari Mony, Jason Baumgartner, Viresh Paruthi, Robert Kanzelman, Andreas Kuehlmann: Scalable Automated Verification via Expert-System Guided Transformations. FMCAD 2004: 159-173
36	EE	Aaron P. Hurst, Philip Chong, Andreas Kuehlmann: Physical placement driven by sequential timing analysis. ICCAD 2004: 379-386
35	EE	Andreas Kuehlmann: Dynamic transition relation simplification for bounded property checking. ICCAD 2004: 50-57
34	EE	Donald Chai, Andreas Kuehlmann: Circuit-Based Preprocessing of ILP and Its Applications in Leakage Minimization and Power Estimation. ICCD 2004: 387-392
33		John Willis, Andreas Kuehlmann: Design Automation TC Newsletter. IEEE Design & Test of Computers 21(2): 166- (2004)
2003
32	EE	Donald Chai, Andreas Kuehlmann: A fast pseudo-boolean constraint solver. DAC 2003: 830-835
31	EE	Cong Liu, Andreas Kuehlmann, Matthew W. Moskewicz: CAMA: A Multi-Valued Satisfiability Solver. ICCAD 2003: 326-333
30	EE	Kaushik Ravindran, Andreas Kuehlmann, Ellen Sentovich: Multi-Domain Clock Skew Scheduling. ICCAD 2003: 801-808
29	EE	Guoqiang Wang, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli: Structural Detection of Symmetries in Boolean Functions. ICCD 2003: 498-503
28	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
27		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
26	EE	Jason Baumgartner, Andreas Kuehlmann, Jacob A. Abraham: Property Checking via Structural Analysis. CAV 2002: 151-165
25		René Krenz, Elena Dubrova, Andreas Kuehlmann: Circuit-Based Evaluation of the Arithmetic Transform of Boolean Functions. IWLS 2002: 321-326
24	EE	HoonSang Jin, Andreas Kuehlmann, Fabio Somenzi: Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis. TACAS 2002: 312-326
23	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
22	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
21	EE	Andreas Kuehlmann, Jason Baumgartner: Transformation-Based Verification Using Generalized Retiming. CAV 2001: 104-117
20	EE	Andreas Kuehlmann, Malay K. Ganai, Viresh Paruthi: Circuit-based Boolean Reasoning. DAC 2001: 232-237
19	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
18	EE	Jason Baumgartner, Andreas Kuehlmann: Min-Area Retiming on Dynamic Circuit Structures. ICCAD 2001: 176-182
17	EE	Subarnarekha Sinha, Andreas Kuehlmann, Robert K. Brayton: Sequential SPFDs. ICCAD 2001: 84-90
16	EE	Rajiv V. Joshi, Wei Hwang, Andreas Kuehlmann: Design Of Provably Correct Storage Arrays. VLSI Design 2001: 196-
15	EE	Malay K. Ganai, Praveen Yalagandula, Adnan Aziz, Andreas Kuehlmann, Vigyan Singhal: SIVA: A System for Coverage-Directed State Space Search. J. Electronic Testing 17(1): 11-27 (2001)
2000
14	EE	Viresh Paruthi, Andreas Kuehlmann: Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation. ICCD 2000: 459-464
1999
13	EE	Malay K. Ganai, Adnan Aziz, Andreas Kuehlmann: Enhancing Simulation with BDDs and ATPG. DAC 1999: 385-390
12	EE	Andreas Kuehlmann, Kenneth L. McMillan, Robert K. Brayton: Probabilistic state space search. ICCAD 1999: 574-579
11	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
10	EE	Andreas Kuehlmann, Florian Krohm: Equivalence Checking Using Cuts and Heaps. DAC 1997: 263-268
1996
9	EE	Florian Krohm, Andreas Kuehlmann, Arjen Mets: The use of random simulation in formal verification. ICCD 1996: 371-
1995
8		Reinaldo A. Bergamaschi, Richard A. O'Connor, Leon Stok, Michael Z. Moricz, Shiv Prakash, Andreas Kuehlmann, D. Sreenivasa Rao: High-level synthesis in an industrial environment. IBM Journal of Research and Development 39(1-2): 131-148 (1995)
7		Andreas Kuehlmann, Arvind Srinivasan, David P. LaPotin: Verity - A formal verification program for custom CMOS circuits. IBM Journal of Research and Development 39(1-2): 149-166 (1995)
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	[26]
2	Christoph Albrecht	[40]
3	Nina Amla	[42]
4	Adnan Aziz	[13] [15]
5	Jason Baumgartner	[18] [21] [26] [37] [38]
6	Reinaldo A. Bergamaschi	[1] [2] [3] [4] [8]
7	Anjan Bose	[50]
8	Robert K. Brayton	[12] [17] [49]
9	Sérgio Vale Aguiar Campos	[11]
10	Donald Chai	[32] [34] [39] [45] [46]
11	Satrajit Chatterjee	[49]
12	David Ihsin Cheng	[6]
13	Philip Chong	[36] [40]
14	Edmund M. Clarke	[11]
15	Cormac Conroy	[51]
16	David E. Corman	[50]
17	Xiaoqun Du	[42]
18	Elena Dubrova	[25] [28] [43]
19	Robert W. Dutton	[19]
20	Petra Färm	[43]
21	Paul D. Franzon	[19]
22	Malay K. Ganai	[13] [15] [20] [22]
23	Lukas P. P. P. van Ginneken	[5]
24	Seth Copen Goldstein	[19]
25	Aaron P. Hurst	[36]
26	Wei Hwang	[16]
27	HoonSang Jin	[24]
28	Rajiv V. Joshi	[16]
29	Robert Kanzelman	[37]
30	Ikuya Kawasaki	[51]
31	Kurt Keutzer	[23]
32	Nathan Kitchen	[41] [47] [48]
33	René Krenz	[25] [28]
34	Florian Krohm	[9] [10] [22]
35	Robert P. Kurshan	[42]
36	David P. LaPotin	[6] [7]
37	Cong Liu	[31]
38	Donald Lobo	[3]
39	Philip Luekes	[19]
40	Robert M. Manning	[50]
41	Igor L. Markov	[40]
42	Kenneth L. McMillan	[12] [42]
43	Arjen Mets	[9]
44	Marius Minea	[11]
45	Alan Mishchenko	[49]
46	Hari Mony	[37]
47	Michael Z. Moricz	[8]
48	Matthew W. Moskewicz	[31]
49	Anna Newman	[50]
50	A. Richard Newton	[45]
51	Richard A. O'Connor	[8]
52	David A. Papa	[40]
53	Eric Parker	[19]
54	Viresh Paruthi	[14] [20] [22] [37]
55	Lawrence T. Pileggi (Larry T. Pileggi, Lawrence T. Pillage)	[27]
56	Shiv Prakash	[8]
57	Jan M. Rabaey	[51]
58	D. Sreenivasa Rao	[8]
59	Kaushik Ravindran	[30]
60	Juan C. Rey	[51]
61	Rob A. Rutenbar	[40] [50]
62	Alberto L. Sangiovanni-Vincentelli	[29] [47]
63	Ellen Sentovich (Ellen M. Sentovich)	[30]
64	Farhana Sheikh	[23]
65	Vigyan Singhal	[15]
66	Subarnarekha Sinha	[17]
67	Fabio Somenzi	[24]
68	Arvind Srinivasan	[6] [7]
69	Leon Stok	[8]
70	Tuna B. Tarim	[51]
71	Marcio Teixeira	[11]
72	Thomas N. Theis	[19]
73	Ted Vucurevich	[51]
74	Guoqiang Wang	[29]
75	Zile Wei	[45]
76	John Willis	[33]
77	Zhong Xiu	[40]
78	Praveen Yalagandula	[15]
79	Qi Zhu	[47]

Colors in the list of coauthors