Equivalence checking using cuts and heaps
- Andreas Kuehlmann
- Florian Krohm
- 1997
- DAC 1997
Publications
Date
Featured collections
Popular topics
11 results for Andreas Kuehlmann
Error diagnosis for transistor-level verification
- Andreas Kuehlmann
- David I. Cheng
- et al.
- 1994
- DAC 1994
Design of provably correct storage arrays
- R.V. Joshi
- W. Hwang
- et al.
- 2001
- VLSID 2001
Probabilistic state space search
- Andreas Kuehlmann
- Kenneth L. McMillan
- 1999
- ICCAD 1999
Use of random simulation in formal verification
- Florian Krohm
- Andreas Kuehlmann
- et al.
- 1996
- ICCD 1996
Grammar-based optimization of synthesis scenarios
- Andreas Kuehlmann
- Lucas P.P.P. van Ginneken
- 1994
- ICCD 1994
Timing analysis in high-level synthesis
- Andreas Kuehlmann
- Reinaldo A. Bergamaschi
- 1992
- ICCAD 1992
Model checking semi-continuous time models using BDDs
- Sérgio Campos
- Márcio Teixeira
- et al.
- 2001
- Electronic Notes in Theoretical Computer Science
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