Andreas Kuehlmann

Publication Activity (10 Years)

Years Active: 1992-2017
Publications (10 Years): 1

Top Topics

Constraint Solving

Invariant Descriptors

Top Venues

Publications

Nadia Carlsten, Reed Sturtevant, Chris Wysopal, Andreas Kuehlmann, Robert K. Cunningham
Panel: Building a Business around Secure Development. SecDev (2017)
Tobias Welp, Andreas Kuehlmann
Property directed invariant refinement for program verification. DATE (2014)
Tobias Welp, Andreas Kuehlmann
Property Directed Reachability for QF_BV with mixed type atomic reasoning units. ASP-DAC (2014)
Tobias Welp, Andreas Kuehlmann
QF BV model checking with property directed reachability. DATE (2013)
Andreas Kuehlmann
The Technology and Psychology of Testing Your Code as You Develop It. TAP@TOOLS (2012)
Tobias Welp, Nathan Kitchen, Andreas Kuehlmann
Hardware Acceleration for Constraint Solving for Random Simulation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 31 (5) (2012)
Tobias Welp, Smita Krishnaswamy, Andreas Kuehlmann
Generalized SAT-sweeping for post-mapping optimization. DAC (2012)
Petra Färm, Elena Dubrova, Andreas Kuehlmann
Integrated logic synthesis using simulated annealing. ACM Great Lakes Symposium on VLSI (2011)
Tobias Welp, Andreas Kuehlmann
An approach for dynamic selection of synthesis transformations based on Markov Decision Processes. DATE (2011)
Alberto Puggelli, Tobias Welp, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli
Are logic synthesis tools robust? DAC (2011)
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)
Nathan Kitchen, Andreas Kuehlmann
A Markov Chain Monte Carlo Sampler for Mixed Boolean/Integer Constraints. CAV (2009)
Noah Ollikainen, Ellen Sentovich, Carlos Coelho, Andreas Kuehlmann, Tanja Kortemme
SAT-based protein design. ICCAD (2009)
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)
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)
Kenneth L. McMillan, Andreas Kuehlmann, Mooly Sagiv
Generalizing DPLL to Richer Logics. CAV (2009)
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)
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)
Nathan Kitchen, Andreas Kuehlmann
Stimulus generation for constrained random simulation. ICCAD (2007)
Satrajit Chatterjee, Alan Mishchenko, Robert K. Brayton, Andreas Kuehlmann
On Resolution Proofs for Combinational Equivalence. DAC (2007)
Qi Zhu, Nathan Kitchen, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli
SAT sweeping with local observability don't-cares. DAC (2006)
Andreas Kuehlmann
Integrated Design Flows - A Battered EDA Slogan or True Challenge for Tool Development and Algorithmic Research. VLSI Design (2006)
Zile Wei, Donald Chai, A. Richard Newton, Andreas Kuehlmann
Fast Boolean Matching with Don't Cares. ISQED (2006)
Donald Chai, Andreas Kuehlmann
Building a better Boolean matcher and symmetry detector. DATE (2006)
Nathan Kitchen, Andreas Kuehlmann
Temporal Decomposition for Logic Optimization. ICCD (2005)
Donald Chai, Andreas Kuehlmann
A fast pseudo-Boolean constraint solver. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 24 (3) (2005)
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)
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)
Petra Färm, Elena Dubrova, Andreas Kuehlmann
Logic optimization using rule-based randomized search. ASP-DAC (2005)
Hari Mony, Jason Baumgartner, Viresh Paruthi, Robert Kanzelman, Andreas Kuehlmann
Scalable Automated Verification via Expert-System Guided Transformations. FMCAD (2004)
Donald Chai, Andreas Kuehlmann
Circuit-Based Preprocessing of ILP and Its Applications in Leakage Minimization and Power Estimation. ICCD (2004)
Aaron P. Hurst, Philip Chong, Andreas Kuehlmann
Physical placement driven by sequential timing analysis. ICCAD (2004)
Andreas Kuehlmann
Dynamic transition relation simplification for bounded property checking. ICCAD (2004)
Jason Baumgartner, Andreas Kuehlmann
Enhanced Diameter Bounding via Structural. DATE (2004)
John Willis, Andreas Kuehlmann
Design Automation TC Newsletter. IEEE Des. Test Comput. 21 (2) (2004)
Donald Chai, Andreas Kuehlmann
A fast pseudo-boolean constraint solver. DAC (2003)
Guoqiang Wang, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli
Structural Detection of Symmetries in Boolean Functions. ICCD (2003)
René Krenz, Elena Dubrova, Andreas Kuehlmann
Fast Algorithm for Computing Spectral Transforms of Boolean and Multiple-Valued Functions on Circuit Representation. ISMVL (2003)
Kaushik Ravindran, Andreas Kuehlmann, Ellen Sentovich
Multi-Domain Clock Skew Scheduling. ICCAD (2003)
Cong Liu, Andreas Kuehlmann, Matthew W. Moskewicz
CAMA: A Multi-Valued Satisfiability Solver. ICCAD (2003)
Jason Baumgartner, Andreas Kuehlmann, Jacob A. Abraham
Property Checking via Structural Analysis. CAV (2002)
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)
René Krenz, Elena Dubrova, Andreas Kuehlmann
Circuit-Based Evaluation of the Arithmetic Transform of Boolean Functions. IWLS (2002)
Andreas Kuehlmann, Viresh Paruthi, Florian Krohm, Malay K. Ganai
Robust Boolean reasoning for equivalence checking and functional property verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 21 (12) (2002)
HoonSang Jin, Andreas Kuehlmann, Fabio Somenzi
Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis. TACAS (2002)
Jason Baumgartner, Andreas Kuehlmann
Min-Area Retiming on Dynamic Circuit Structures. ICCAD (2001)
Malay K. Ganai, Praveen Yalagandula, Adnan Aziz, Andreas Kuehlmann, Vigyan Singhal
SIVA: A System for Coverage-Directed State Space Search. J. Electron. Test. 17 (1) (2001)
Andreas Kuehlmann, Jason Baumgartner
Transformation-Based Verification Using Generalized Retiming. CAV (2001)
Subarnarekha Sinha, Andreas Kuehlmann, Robert K. Brayton
Sequential SPFDs. ICCAD (2001)
Rajiv V. Joshi, Wei Hwang, Andreas Kuehlmann
Design Of Provably Correct Storage Arrays. VLSI Design (2001)
Andreas Kuehlmann, Malay K. Ganai, Viresh Paruthi
Circuit-based Boolean Reasoning. DAC (2001)
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)
Viresh Paruthi, Andreas Kuehlmann
Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation. ICCD (2000)
Malay K. Ganai, Adnan Aziz, Andreas Kuehlmann
Enhancing Simulation with BDDs and ATPG. DAC (1999)
Sérgio Vale Aguiar Campos, Marcio Teixeira, Marius Minea, Andreas Kuehlmann, Edmund M. Clarke
Model Checking Semi-Continuous Time Models Using BDDs. Electron. Notes Theor. Comput. Sci. 23 (2) (1999)
Andreas Kuehlmann, Kenneth L. McMillan, Robert K. Brayton
Probabilistic state space search. ICCAD (1999)
Andreas Kuehlmann, Florian Krohm
Equivalence Checking Using Cuts and Heaps. DAC (1997)
Florian Krohm, Andreas Kuehlmann, Arjen Mets
The use of random simulation in formal verification. ICCD (1996)
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 J. Res. Dev. 39 (1-2) (1995)
Andreas Kuehlmann, Arvind Srinivasan, David P. LaPotin
Verity - A formal verification program for custom CMOS circuits. IBM J. Res. Dev. 39 (1-2) (1995)
Andreas Kuehlmann, David Ihsin Cheng, Arvind Srinivasan, David P. LaPotin
Error Diagnosis for Transistor-Level Verification. DAC (1994)
Andreas Kuehlmann, Lukas P. P. P. van Ginneken
Grammar-Based Optimization of Synthesis Scenarios. ICCD (1994)
Reinaldo A. Bergamaschi, Andreas Kuehlmann
A system for production use of high-level synthesis. IEEE Trans. Very Large Scale Integr. Syst. 1 (3) (1993)
Reinaldo A. Bergamaschi, Donald A. Lobo, Andreas Kuehlmann
Control Optimization in High-Level Synthesis Using Behavioral Don't Cares. DAC (1992)
Andreas Kuehlmann, Reinaldo A. Bergamaschi
Timing analysis in high-level synthesis. ICCAD (1992)
Andreas Kuehlmann, Reinaldo A. Bergamaschi
High-Level State Machine Specification and Synthesis. ICCD (1992)