dblp.uni-trier.dewww.uni-trier.de

Andreas Kuehlmann

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
51EEJuan 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
50EEAndreas 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
49EESatrajit Chatterjee, Alan Mishchenko, Robert K. Brayton, Andreas Kuehlmann: On Resolution Proofs for Combinational Equivalence. DAC 2007: 600-605
48EENathan Kitchen, Andreas Kuehlmann: Stimulus generation for constrained random simulation. ICCAD 2007: 258-265
2006
47EEQi Zhu, Nathan Kitchen, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli: SAT sweeping with local observability don't-cares. DAC 2006: 229-234
46EEDonald Chai, Andreas Kuehlmann: Building a better Boolean matcher and symmetry detector. DATE 2006: 1079-1084
45EEZile Wei, Donald Chai, A. Richard Newton, Andreas Kuehlmann: Fast Boolean Matching with Don't Cares. ISQED 2006: 346-351
44EEAndreas Kuehlmann: Integrated Design Flows - A Battered EDA Slogan or True Challenge for Tool Development and Algorithmic Research. VLSI Design 2006: 41
2005
43EEPetra Färm, Elena Dubrova, Andreas Kuehlmann: Logic optimization using rule-based randomized search. ASP-DAC 2005: 998-1001
42EENina 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
41EENathan Kitchen, Andreas Kuehlmann: Temporal Decomposition for Logic Optimization. ICCD 2005: 697-702
40EEZhong 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
39EEDonald Chai, Andreas Kuehlmann: A fast pseudo-Boolean constraint solver. IEEE Trans. on CAD of Integrated Circuits and Systems 24(3): 305-317 (2005)
2004
38EEJason Baumgartner, Andreas Kuehlmann: Enhanced Diameter Bounding via Structural. DATE 2004: 36-41
37EEHari Mony, Jason Baumgartner, Viresh Paruthi, Robert Kanzelman, Andreas Kuehlmann: Scalable Automated Verification via Expert-System Guided Transformations. FMCAD 2004: 159-173
36EEAaron P. Hurst, Philip Chong, Andreas Kuehlmann: Physical placement driven by sequential timing analysis. ICCAD 2004: 379-386
35EEAndreas Kuehlmann: Dynamic transition relation simplification for bounded property checking. ICCAD 2004: 50-57
34EEDonald 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
32EEDonald Chai, Andreas Kuehlmann: A fast pseudo-boolean constraint solver. DAC 2003: 830-835
31EECong Liu, Andreas Kuehlmann, Matthew W. Moskewicz: CAMA: A Multi-Valued Satisfiability Solver. ICCAD 2003: 326-333
30EEKaushik Ravindran, Andreas Kuehlmann, Ellen Sentovich: Multi-Domain Clock Skew Scheduling. ICCAD 2003: 801-808
29EEGuoqiang Wang, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli: Structural Detection of Symmetries in Boolean Functions. ICCD 2003: 498-503
28EERené 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
26EEJason 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
24EEHoonSang Jin, Andreas Kuehlmann, Fabio Somenzi: Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis. TACAS 2002: 312-326
23EEFarhana 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
22EEAndreas 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
21EEAndreas Kuehlmann, Jason Baumgartner: Transformation-Based Verification Using Generalized Retiming. CAV 2001: 104-117
20EEAndreas Kuehlmann, Malay K. Ganai, Viresh Paruthi: Circuit-based Boolean Reasoning. DAC 2001: 232-237
19EEAndreas 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
18EEJason Baumgartner, Andreas Kuehlmann: Min-Area Retiming on Dynamic Circuit Structures. ICCAD 2001: 176-182
17EESubarnarekha Sinha, Andreas Kuehlmann, Robert K. Brayton: Sequential SPFDs. ICCAD 2001: 84-90
16EERajiv V. Joshi, Wei Hwang, Andreas Kuehlmann: Design Of Provably Correct Storage Arrays. VLSI Design 2001: 196-
15EEMalay 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
14EEViresh Paruthi, Andreas Kuehlmann: Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation. ICCD 2000: 459-464
1999
13EEMalay K. Ganai, Adnan Aziz, Andreas Kuehlmann: Enhancing Simulation with BDDs and ATPG. DAC 1999: 385-390
12EEAndreas Kuehlmann, Kenneth L. McMillan, Robert K. Brayton: Probabilistic state space search. ICCAD 1999: 574-579
11EESé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
10EEAndreas Kuehlmann, Florian Krohm: Equivalence Checking Using Cuts and Heaps. DAC 1997: 263-268
1996
9EEFlorian 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
6EEAndreas 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
4EEReinaldo A. Bergamaschi, Andreas Kuehlmann: A system for production use of high-level synthesis. IEEE Trans. VLSI Syst. 1(3): 233-243 (1993)
1992
3EEReinaldo A. Bergamaschi, Donald Lobo, Andreas Kuehlmann: Control Optimization in High-Level Synthesis Using Behavioral Don't Cares. DAC 1992: 657-661
2EEAndreas 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

1Jacob A. Abraham [26]
2Christoph Albrecht [40]
3Nina Amla [42]
4Adnan Aziz [13] [15]
5Jason Baumgartner [18] [21] [26] [37] [38]
6Reinaldo A. Bergamaschi [1] [2] [3] [4] [8]
7Anjan Bose [50]
8Robert K. Brayton [12] [17] [49]
9Sérgio Vale Aguiar Campos [11]
10Donald Chai [32] [34] [39] [45] [46]
11Satrajit Chatterjee [49]
12David Ihsin Cheng [6]
13Philip Chong [36] [40]
14Edmund M. Clarke [11]
15Cormac Conroy [51]
16David E. Corman [50]
17Xiaoqun Du [42]
18Elena Dubrova [25] [28] [43]
19Robert W. Dutton [19]
20Petra Färm [43]
21Paul D. Franzon [19]
22Malay K. Ganai [13] [15] [20] [22]
23Lukas P. P. P. van Ginneken [5]
24Seth Copen Goldstein [19]
25Aaron P. Hurst [36]
26Wei Hwang [16]
27HoonSang Jin [24]
28Rajiv V. Joshi [16]
29Robert Kanzelman [37]
30Ikuya Kawasaki [51]
31Kurt Keutzer [23]
32Nathan Kitchen [41] [47] [48]
33René Krenz [25] [28]
34Florian Krohm [9] [10] [22]
35Robert P. Kurshan [42]
36David P. LaPotin [6] [7]
37Cong Liu [31]
38Donald Lobo [3]
39Philip Luekes [19]
40Robert M. Manning [50]
41Igor L. Markov [40]
42Kenneth L. McMillan [12] [42]
43Arjen Mets [9]
44Marius Minea [11]
45Alan Mishchenko [49]
46Hari Mony [37]
47Michael Z. Moricz [8]
48Matthew W. Moskewicz [31]
49Anna Newman [50]
50A. Richard Newton [45]
51Richard A. O'Connor [8]
52David A. Papa [40]
53Eric Parker [19]
54Viresh Paruthi [14] [20] [22] [37]
55Lawrence T. Pileggi (Larry T. Pileggi, Lawrence T. Pillage) [27]
56Shiv Prakash [8]
57Jan M. Rabaey [51]
58D. Sreenivasa Rao [8]
59Kaushik Ravindran [30]
60Juan C. Rey [51]
61Rob A. Rutenbar [40] [50]
62Alberto L. Sangiovanni-Vincentelli [29] [47]
63Ellen Sentovich (Ellen M. Sentovich) [30]
64Farhana Sheikh [23]
65Vigyan Singhal [15]
66Subarnarekha Sinha [17]
67Fabio Somenzi [24]
68Arvind Srinivasan [6] [7]
69Leon Stok [8]
70Tuna B. Tarim [51]
71Marcio Teixeira [11]
72Thomas N. Theis [19]
73Ted Vucurevich [51]
74Guoqiang Wang [29]
75Zile Wei [45]
76John Willis [33]
77Zhong Xiu [40]
78Praveen Yalagandula [15]
79Qi Zhu [47]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)