Publications

11 results for Andreas Kuehlmann

Design of provably correct storage arrays
- - R.V. Joshi
  - W. Hwang
  - et al.
- 2001
- VLSID 2001
Conference paper
Model checking semi-continuous time models using BDDs
- - Sérgio Campos
  - Márcio Teixeira
  - et al.
- 2001
- Electronic Notes in Theoretical Computer Science
Workshop paper
Probabilistic state space search
- - Andreas Kuehlmann
  - Kenneth L. McMillan
- 1999
- ICCAD 1999
Conference paper
Equivalence checking using cuts and heaps
- - Andreas Kuehlmann
  - Florian Krohm
- 1997
- DAC 1997
Conference paper
Use of random simulation in formal verification
- - Florian Krohm
  - Andreas Kuehlmann
  - et al.
- 1996
- ICCD 1996
Conference paper
Verity - a formal verification program for custom CMOS circuits
- - Andreas Kuehlmann
  - A. Srinivasan
  - et al.
- 1995
- IBM J. Res. Dev
Paper
High-level synthesis in an industrial environment
- - Reinaldo A. Bergamaschi
  - R.A. O'Connor
  - et al.
- 1995
- IBM J. Res. Dev
Paper
Grammar-based optimization of synthesis scenarios
- - Andreas Kuehlmann
  - Lucas P.P.P. van Ginneken
- 1994
- ICCD 1994
Conference paper
Error diagnosis for transistor-level verification
- - Andreas Kuehlmann
  - David I. Cheng
  - et al.
- 1994
- DAC 1994
Conference paper
A System for Production Use of High-Level Synthesis
- - Reinaldo A. Bergamaschi
  - Andreas Kuehlmann
- 1993
- IEEE Transactions on VLSI Systems
Paper