Publications

2 results for Florian Krohm

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

Equivalence checking using cuts and heaps