Publications

11 results for Andreas Kuehlmann

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