Andreas Kuehlmann

发表

An Analysis of SAT-Based Model Checking Techniques in an Industrial Environment

Robert P. Kurshan, Kenneth L. McMillan, Nina Amla, 2005, CHARME.

Timing analysis in high-level synthesis

Andreas Kuehlmann, Reinaldo A. Bergamaschi, 1992, ICCAD.

Equivalence checking using cuts and heaps

Andreas Kuehlmann, Florian Krohm, A. Kuehlmann, 1997, DAC.

Model Checking Semi-Continuous Time Models Using BDDs

Sérgio Vale Aguiar Campos, Edmund M. Clarke, Marius Minea, 2001, SMC@FLoC.

Control optimization in high-level synthesis using behavioral don't cares

Andreas Kuehlmann, Reinaldo A. Bergamaschi, Donald A. Lobo, 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.

The best of ICCAD : 20 years of excellence in computer-aided design

Andreas Kuehlmann, 2003 .

Equivalence checking combining a structural SAT-solver, BDDs, and simulation

Andreas Kuehlmann, Viresh Paruthi, 2000, Proceedings 2000 International Conference on Computer Design.

Are logic synthesis tools robust?

Alberto L. Sangiovanni-Vincentelli, Alberto Puggelli, Andreas Kuehlmann, 2011, 2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC).

SAT sweeping with local observability don't-cares

Qi Zhu, Alberto L. Sangiovanni-Vincentelli, Andreas Kuehlmann, 2006, 2006 43rd ACM/IEEE Design Automation Conference.

Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis

Fabio Somenzi, HoonSang Jin, Andreas Kuehlmann, 2002, TACAS.

SIVA: A System for Coverage-Directed State Space Search

Adnan Aziz, Praveen Yalagandula, Malay K. Ganai, 2001, J. Electron. Test..

A fast pseudo-Boolean constraint solver

Andreas Kuehlmann, Donald Chai, 2005, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Guess, solder, measure, repeat - How do I get my mixed-signal chip right?

Georges G. E. Gielen, Kenneth S. Kundert, Andreas Kuehlmann, 2009, 2009 46th ACM/IEEE Design Automation Conference.

QF BV model checking with property directed reachability

Andreas Kuehlmann, Tobias Welp, 2013, 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Generalizing DPLL to Richer Logics

Kenneth L. McMillan, Shmuel Sagiv, Andreas Kuehlmann, 2009, CAV.

Stimulus generation for constrained random simulation

Andreas Kuehlmann, Nathan Kitchen, A. Kuehlmann, 2007, 2007 IEEE/ACM International Conference on Computer-Aided Design.

Circuit-based preprocessing of ILP and its applications in leakage minimization and power estimation

Andreas Kuehlmann, Donald Chai, 2004, IEEE International Conference on Computer Design: VLSI in Computers and Processors, 2004. ICCD 2004. Proceedings..

High-level synthesis in an industrial environment

Leon Stok, Shiv Prakash, Andreas Kuehlmann, 1995, IBM J. Res. Dev..

Property Checking via Structural Analysis

Jacob A. Abraham, Jason Baumgartner, Andreas Kuehlmann, 2002, CAV.

Temporal decomposition for logic optimization

Andreas Kuehlmann, Nathan Kitchen, 2005, 2005 International Conference on Computer Design.

The use of random simulation in formal verification

Andreas Kuehlmann, Florian Krohm, Arjen Mets, 1996, Proceedings International Conference on Computer Design. VLSI in Computers and Processors.

Minimum-power retiming for dual-supply CMOS circuits

Kurt Keutzer, Farhana Sheikh, Andreas Kuehlmann, 2002, TAU '02.

IEEE COUNCIL ON ELECTRONIC DESIGN AUTOMATION Officers

Maciej Ogorzalek, David Atienza Alonso, Ljiljana Trajkovic, 2008 .

Next generation wireless-multimedia devices — who is up for the challenge?

Jan M. Rabaey, Juan C. Rey, Ikuya Kawasaki, 2008, 2008 45th ACM/IEEE Design Automation Conference.

Structural detection of symmetries in Boolean functions

Alberto L. Sangiovanni-Vincentelli, Guoqiang Wang, Andreas Kuehlmann, 2003, Proceedings 21st International Conference on Computer Design.

Transformation-Based Verification Using Generalized Retiming

Jason Baumgartner, Andreas Kuehlmann, A. Kuehlmann, 2001, CAV.

Multi-Domain Clock Skew Scheduling

Andreas Kuehlmann, Ellen Sentovich, Kaushik Ravindran, 2003, ICCAD.

Fast algorithm for computing spectral transforms of Boolean and multiple-valued functions on circuit representation

Elena Dubrova, Andreas Kuehlmann, René Krenz, 2003, 33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings..

Property directed invariant refinement for program verification

Andreas Kuehlmann, Tobias Welp, A. Kuehlmann, 2014, 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Physical placement driven by sequential timing analysis

Andreas Kuehlmann, Philip Chong, Aaron P. Hurst, 2004, IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004..

Logic optimization using rule-based randomized search

Elena Dubrova, Andreas Kuehlmann, Petra Färm, 2005, ASP-DAC.

Min-Area Retiming on Dynamic Circuit Structures

Jason Baumgartner, Andreas Kuehlmann, 2001, ICCAD.

SAT-based protein design

Tanja Kortemme, Andreas Kuehlmann, Ellen Sentovich, 2009, 2009 IEEE/ACM International Conference on Computer-Aided Design - Digest of Technical Papers.

Verifying Really Complex Systems: On earth and beyond

Rob A. Rutenbar, Anjan Bose, David E. Corman, 2008, 2008 45th ACM/IEEE Design Automation Conference.

A fast pseudo-Boolean constraint solver

Andreas Kuehlmann, Donald Chai, A. Kuehlmann, 2003, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

A system for production use of high-level synthesis

Andreas Kuehlmann, Reinaldo A. Bergamaschi, 1993, IEEE Trans. Very Large Scale Integr. Syst..

Circuit-based Boolean reasoning

Malay K. Ganai, Andreas Kuehlmann, Viresh Paruthi, 2001, Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).

Design of provably correct storage arrays

Rajiv V. Joshi, Wei Hwang, Andreas Kuehlmann, 2001, VLSI Design 2001. Fourteenth International Conference on VLSI Design.

Fast Boolean matching with don't cares

A. Richard Newton, Andreas Kuehlmann, Zile Wei, 2006, 7th International Symposium on Quality Electronic Design (ISQED'06).

Integrated Design Flows - A Battered EDA Slogan or True Challenge for Tool Development and Algorithmic Research

Andreas Kuehlmann, 2006, VLSI Design.

FPGA Synthesis and CAD for Reconfigurable Systems

Luca Benini, Stephen A. Edwards, Yunheung Paek, 2009 .

Design Automation TC Newsletter

Andreas Kuehlmann, John Willis, 1998, IEEE Des. Test Comput..

The Technology and Psychology of Testing Your Code as You Develop It

Andreas Kuehlmann, 2012, TAP@TOOLS.

EDA in flux - Should I stay or should I go?

Jan M. Rabaey, Naveen Gupta, Andreas Kuehlmann, 2009, 2009 46th ACM/IEEE Design Automation Conference.

Generalized SAT-sweeping for post-mapping optimization

Andreas Kuehlmann, Tobias Welp, Smita Krishnaswamy, 2012, DAC Design Automation Conference 2012.

High-level state machine specification and synthesis

Andreas Kuehlmann, Reinaldo A. Bergamaschi, 1992, Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computers & Processors.

Property Directed Reachability for QF_BV with mixed type atomic reasoning units

Andreas Kuehlmann, Tobias Welp, 2014, 2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC).

Formal Verification of a PowerPCTM Microprocessor

Andreas Kuehlmann, Essex Junction, David P. Appenzeller, 1995 .

Hardware Acceleration for Constraint Solving for Random Simulation

Andreas Kuehlmann, Tobias Welp, Nathan Kitchen, 2012, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Building a Better Boolean Matcher and Symmetry Detector

Andreas Kuehlmann, Donald Chai, A. Kuehlmann, 2006, Proceedings of the Design Automation & Test in Europe Conference.

IEEE COUNCIL ON ELECTRONIC DESIGN AUTOMATION

Tariq S. Durrani, Rajesh Gupta, Jon G. Rokne, 2010 .

CAMA: A Multi-Valued Satisfiability Solver

Matthew W. Moskewicz, Cong Liu, Andreas Kuehlmann, 2003, ICCAD.

Enhanced Diameter Bounding via Structural

Jason Baumgartner, Andreas Kuehlmann, 2004, DATE.

Circuit symmetries in synthesis and verification

Andreas Kuehlmann, Donald Chai, A. Kuehlmann, 2009 .

Panel: Building a Business around Secure Development

Andreas Kuehlmann, Chris Wysopal, Robert Cunningham, 2017, SecDev.

Dynamic transition relation simplification for bounded property checking

Andreas Kuehlmann, 2004, IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004..

Grammar-based optimization of synthesis scenarios

Andreas Kuehlmann, Lukas P. P. P. van Ginneken, 1994, Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computers and Processors.

An approach for dynamic selection of synthesis transformations based on Markov Decision Processes

Andreas Kuehlmann, Tobias Welp, A. Kuehlmann, 2011, 2011 Design, Automation & Test in Europe.

Multi-Domain Clock Skew Scheduling

Andreas Kuehlmann, Ellen Sentovich, Kaushik Ravindran, 2003, ICCAD 2003.

Error Diagnosis for Transistor-Level Verification

D. I. Cheng, Arvind Srinivasan, David P. LaPotin, 1994, 31st Design Automation Conference.

A Markov Chain Monte Carlo Sampler for Mixed Boolean/Integer Constraints

Andreas Kuehlmann, Nathan Kitchen, 2009, CAV.

Physical placement driven by sequential timing analysis

Andreas Kuehlmann, A. P. Hurst, P. Chong, 2004, ICCAD 2004.

Verity - A formal verification program for custom CMOS circuits

Arvind Srinivasan, David P. LaPotin, Andreas Kuehlmann, 1995, IBM J. Res. Dev..

Sequential SPFDs

Robert K. Brayton, Andreas Kuehlmann, Subarnarekha Sinha, 2001, IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE/ACM Digest of Technical Papers (Cat. No.01CH37281).

Probabilistic state space search

Robert K. Brayton, Kenneth L. McMillan, Andreas Kuehlmann, 1999, 1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051).

Robust Boolean reasoning for equivalence checking and functional property verification

Malay K. Ganai, Andreas Kuehlmann, Florian Krohm, 2002, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Circuit-Based Evaluation of the Arithmetic Transform of Boolean Functions

Elena Dubrova, Andreas Kuehlmann, René Krenz, 2002, IWLS.

Scalable Automated Verification via Expert-System Guided Transformations

Jason Baumgartner, Andreas Kuehlmann, Hari Mony, 2004, FMCAD.

Does IC design have a future in the clouds?

John Chilton, Andreas Kuehlmann, Raul Camposano, 2010, Design Automation Conference.

On Resolution Proofs for Combinational Equivalence

Robert K. Brayton, Alan Mishchenko, Andreas Kuehlmann, 2007, 2007 44th ACM/IEEE Design Automation Conference.

Early research experience with OpenAccess gear: an open source development environment for physical design

Rob A. Rutenbar, Igor L. Markov, Zhong Xiu, 2005, ISPD '05.