| |
| 2002 | ||
|---|---|---|
| 3 | EE | Andreas Kuehlmann, Viresh Paruthi, Florian Krohm, Malay K. Ganai: Robust Boolean reasoning for equivalence checking and functional property verification. IEEE Trans. on CAD of Integrated Circuits and Systems 21(12): 1377-1394 (2002) |
| 1997 | ||
| 2 | EE | Andreas Kuehlmann, Florian Krohm: Equivalence Checking Using Cuts and Heaps. DAC 1997: 263-268 |
| 1996 | ||
| 1 | EE | Florian Krohm, Andreas Kuehlmann, Arjen Mets: The use of random simulation in formal verification. ICCD 1996: 371- |
| 1 | Malay K. Ganai | [3] |
| 2 | Andreas Kuehlmann | [1] [2] [3] |
| 3 | Arjen Mets | [1] |
| 4 | Viresh Paruthi | [3] |