Florian Krohm

Publication Activity (10 Years)

Years Active: 1996-2002
Publications (10 Years): 0

University of Duisburg-Essen, Germany (PHD)

Education History

University of Duisburg-Essen, Germany

PHD

Publications

Andreas Kuehlmann, Viresh Paruthi, Florian Krohm, Malay K. Ganai
Robust Boolean reasoning for equivalence checking and functional property verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 21 (12) (2002)
Andreas Kuehlmann, Florian Krohm
Equivalence Checking Using Cuts and Heaps. DAC (1997)
Florian Krohm, Andreas Kuehlmann, Arjen Mets
The use of random simulation in formal verification. ICCD (1996)