Florian Krohm

According to our database, Florian Krohm authored at least 4 papers between 1992 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2002

Robust Boolean reasoning for equivalence checking and functional property verification.

Andreas Kuehlmann, Viresh Paruthi, Florian Krohm, Malay K. Ganai

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2002

1997

Equivalence Checking Using Cuts and Heaps.

Andreas Kuehlmann, Florian Krohm

Proceedings of the 34st Conference on Design Automation, 1997

1996

The use of random simulation in formal verification.

Florian Krohm, Andreas Kuehlmann, Arjen Mets

Proceedings of the 1996 International Conference on Computer Design (ICCD '96), 1996

1992

Ein retargierbarer Compiler für anwendungsspezifische Mikrocontroller.

Florian Krohm

PhD thesis, 1992