Andreas Kuehlmann

	2012
63		Tobias Welp, Smita Krishnaswamy, Andreas Kuehlmann: Generalized SAT-sweeping for post-mapping optimization. DAC 2012: 814-819
62		Andreas Kuehlmann: The Technology and Psychology of Testing Your Code as You Develop It. TAP 2012: 1
61		Tobias Welp, Nathan Kitchen, Andreas Kuehlmann: Hardware Acceleration for Constraint Solving for Random Simulation. IEEE Trans. on CAD of Integrated Circuits and Systems 31(5): 779-789 (2012)
	2011
60		Petra Färm, Elena Dubrova, Andreas Kuehlmann: Integrated logic synthesis using simulated annealing. ACM Great Lakes Symposium on VLSI 2011: 407-410
59		Alberto Puggelli, Tobias Welp, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli: Are logic synthesis tools robust? DAC 2011: 633-638
58		Tobias Welp, Andreas Kuehlmann: An approach for dynamic selection of synthesis transformations based on Markov Decision Processes. DATE 2011: 1533-1536
	2010
57		Andreas Kuehlmann, Raul Camposano, James Colgan, John Chilton, Samuel George, Rean Griffith, Paul Leventis, Deepak Singh: Does IC design have a future in the clouds? DAC 2010: 412-414
	2009
56		Nathan Kitchen, Andreas Kuehlmann: A Markov Chain Monte Carlo Sampler for Mixed Boolean/Integer Constraints. CAV 2009: 446-461
55		Kenneth L. McMillan, Andreas Kuehlmann, Mooly Sagiv: Generalizing DPLL to Richer Logics. CAV 2009: 462-476
54		Geoffrey Ying, Andreas Kuehlmann, Kenneth S. Kundert, Georges G. E. Gielen, Eric Grimme, Martin O'Leary, Sandeep Tare, Warren Wong: Guess, solder, measure, repeat: how do I get my mixed-signal chip right? DAC 2009: 520-521
53		Eshel Haritan, Andreas Kuehlmann, Tina Jones, John Epperheimer, Jan M. Rabaey, Rahul Razdan, Naveen Gupta: EDA in flux: should I stay or should I go? DAC 2009: 91-92
52		Noah Ollikainen, Ellen Sentovich, Carlos Coelho, Andreas Kuehlmann, Tanja Kortemme: SAT-based protein design. ICCAD 2009: 128-135
	2008
51		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		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		Satrajit Chatterjee, Alan Mishchenko, Robert K. Brayton, Andreas Kuehlmann: On Resolution Proofs for Combinational Equivalence. DAC 2007: 600-605
48		Nathan Kitchen, Andreas Kuehlmann: Stimulus generation for constrained random simulation. ICCAD 2007: 258-265
	2006
47		Qi Zhu, Nathan Kitchen, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli: SAT sweeping with local observability don't-cares. DAC 2006: 229-234
46		Donald Chai, Andreas Kuehlmann: Building a better Boolean matcher and symmetry detector. DATE 2006: 1079-1084
45		Zile Wei, Donald Chai, A. Richard Newton, Andreas Kuehlmann: Fast Boolean Matching with Don't Cares. ISQED 2006: 346-351
44		Andreas Kuehlmann: Integrated Design Flows - A Battered EDA Slogan or True Challenge for Tool Development and Algorithmic Research. VLSI Design 2006: 41
	2005
43		Petra Färm, Elena Dubrova, Andreas Kuehlmann: Logic optimization using rule-based randomized search. ASP-DAC 2005: 998-1001
42		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		Nathan Kitchen, Andreas Kuehlmann: Temporal Decomposition for Logic Optimization. ICCD 2005: 697-702
40		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		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		Jason Baumgartner, Andreas Kuehlmann: Enhanced Diameter Bounding via Structural. DATE 2004: 36-41
37		Hari Mony, Jason Baumgartner, Viresh Paruthi, Robert Kanzelman, Andreas Kuehlmann: Scalable Automated Verification via Expert-System Guided Transformations. FMCAD 2004: 159-173
36		Aaron P. Hurst, Philip Chong, Andreas Kuehlmann: Physical placement driven by sequential timing analysis. ICCAD 2004: 379-386
35		Andreas Kuehlmann: Dynamic transition relation simplification for bounded property checking. ICCAD 2004: 50-57
34		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		Donald Chai, Andreas Kuehlmann: A fast pseudo-boolean constraint solver. DAC 2003: 830-835
31		Cong Liu, Andreas Kuehlmann, Matthew W. Moskewicz: CAMA: A Multi-Valued Satisfiability Solver. ICCAD 2003: 326-333
30		Kaushik Ravindran, Andreas Kuehlmann, Ellen Sentovich: Multi-Domain Clock Skew Scheduling. ICCAD 2003: 801-808
29		Guoqiang Wang, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli: Structural Detection of Symmetries in Boolean Functions. ICCD 2003: 498-503
28		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		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		HoonSang Jin, Andreas Kuehlmann, Fabio Somenzi: Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis. TACAS 2002: 312-326
23		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		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		Andreas Kuehlmann, Jason Baumgartner: Transformation-Based Verification Using Generalized Retiming. CAV 2001: 104-117
20		Andreas Kuehlmann, Malay K. Ganai, Viresh Paruthi: Circuit-based Boolean Reasoning. DAC 2001: 232-237
19		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		Jason Baumgartner, Andreas Kuehlmann: Min-Area Retiming on Dynamic Circuit Structures. ICCAD 2001: 176-182
17		Subarnarekha Sinha, Andreas Kuehlmann, Robert K. Brayton: Sequential SPFDs. ICCAD 2001: 84-90
16		Rajiv V. Joshi, Wei Hwang, Andreas Kuehlmann: Design Of Provably Correct Storage Arrays. VLSI Design 2001: 196-
15		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		Viresh Paruthi, Andreas Kuehlmann: Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation. ICCD 2000: 459-464
	1999
13		Malay K. Ganai, Adnan Aziz, Andreas Kuehlmann: Enhancing Simulation with BDDs and ATPG. DAC 1999: 385-390
12		Andreas Kuehlmann, Kenneth L. McMillan, Robert K. Brayton: Probabilistic state space search. ICCAD 1999: 574-579
11		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): 75-87 (1999)
	1997
10		Andreas Kuehlmann, Florian Krohm: Equivalence Checking Using Cuts and Heaps. DAC 1997: 263-268
	1996
9		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		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		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		Reinaldo A. Bergamaschi, Donald Lobo, Andreas Kuehlmann: Control Optimization in High-Level Synthesis Using Behavioral Don't Cares. DAC 1992: 657-661
2		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	Raul Camposano	[57]
11	Donald Chai	[32] [34] [39] [45] [46]
12	Satrajit Chatterjee	[49]
13	David Ihsin Cheng	[6]
14	John Chilton	[57]
15	Philip Chong	[36] [40]
16	Edmund M. Clarke	[11]
17	Carlos Coelho	[52]
18	James Colgan	[57]
19	Cormac Conroy	[51]
20	David E. Corman	[50]
21	Xiaoqun Du	[42]
22	Elena Dubrova	[25] [28] [43] [60]
23	Robert W. Dutton	[19]
24	John Epperheimer	[53]
25	Petra Färm	[43] [60]
26	Paul D. Franzon	[19]
27	Malay K. Ganai	[13] [15] [20] [22]
28	Samuel George	[57]
29	Georges G. E. Gielen	[54]
30	Lukas P. P. P. van Ginneken	[5]
31	Seth Copen Goldstein	[19]
32	Rean Griffith	[57]
33	Eric Grimme	[54]
34	Naveen Gupta	[53]
35	Eshel Haritan	[53]
36	Aaron P. Hurst	[36]
37	Wei Hwang	[16]
38	HoonSang Jin	[24]
39	Tina Jones	[53]
40	Rajiv V. Joshi	[16]
41	Robert Kanzelman	[37]
42	Ikuya Kawasaki	[51]
43	Kurt Keutzer	[23]
44	Nathan Kitchen	[41] [47] [48] [56] [61]
45	Tanja Kortemme	[52]
46	René Krenz	[25] [28]
47	Smita Krishnaswamy	[63]
48	Florian Krohm	[9] [10] [22]
49	Kenneth S. Kundert	[54]
50	Robert P. Kurshan	[42]
51	David P. LaPotin	[6] [7]
52	Paul Leventis	[57]
53	Cong Liu	[31]
54	Donald Lobo	[3]
55	Philip Luekes	[19]
56	Robert M. Manning	[50]
57	Igor L. Markov	[40]
58	Kenneth L. McMillan	[12] [42] [55]
59	Arjen Mets	[9]
60	Marius Minea	[11]
61	Alan Mishchenko	[49]
62	Hari Mony	[37]
63	Michael Z. Moricz	[8]
64	Matthew W. Moskewicz	[31]
65	Anna Newman	[50]
66	A. Richard Newton	[45]
67	Richard A. O'Connor	[8]
68	Martin O'Leary	[54]
69	Noah Ollikainen	[52]
70	David A. Papa	[40]
71	Eric Parker	[19]
72	Viresh Paruthi	[14] [20] [22] [37]
73	Lawrence T. Pileggi (Larry T. Pileggi, Lawrence T. Pillage)	[27]
74	Shiv Prakash	[8]
75	Alberto Puggelli	[59]
76	Jan M. Rabaey	[51] [53]
77	D. Sreenivasa Rao	[8]
78	Kaushik Ravindran	[30]
79	Rahul Razdan	[53]
80	Juan C. Rey	[51]
81	Rob A. Rutenbar	[40] [50]
82	Shmuel Sagiv (Mooly Sagiv)	[55]
83	Alberto L. Sangiovanni-Vincentelli	[29] [47] [59]
84	Ellen Sentovich (Ellen M. Sentovich)	[30] [52]
85	Farhana Sheikh	[23]
86	Deepak Singh	[57]
87	Vigyan Singhal	[15]
88	Subarnarekha Sinha	[17]
89	Fabio Somenzi	[24]
90	Arvind Srinivasan	[6] [7]
91	Leon Stok	[8]
92	Sandeep Tare	[54]
93	Tuna B. Tarim	[51]
94	Marcio Teixeira	[11]
95	Thomas N. Theis	[19]
96	Ted Vucurevich	[51]
97	Guoqiang Wang	[29]
98	Zile Wei	[45]
99	Tobias Welp	[58] [59] [61] [63]
100	John Willis	[33]
101	Warren Wong	[54]
102	Zhong Xiu	[40]
103	Praveen Yalagandula	[15]
104	Geoffrey Ying	[54]
105	Qi Zhu	[47]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page