F. Krohm

Publications

683

Citations

H-Index

1997

Active since

Affiliations

IBM Research - Thomas J. Watson Research Center(Current)

IBM (United States)

F. Krohm is an author at IBM Research - Thomas J. Watson Research Center specializing in formal verification, formal methods, and automated reasoning.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationProgram AnalysisSoftware AnalysisComputer EngineeringHardware Security

Publications per year

1997–2005

Publications

Robust Boolean reasoning for equivalence checking and functional property verification

Andreas Kuehlmann, Viresh Paruthi, F. Krohm et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2002 · 324 citations

Engineering, Verification, Computer-aided Verification +17

Equivalence checking using cuts and heaps

Andreas Kuehlmann, F. Krohm · 1997 · 250 citations

Circuit Complexity, Engineering, Verification +18

Equivalence Checking Using Cuts And Heaps

Andreas Kuehlmann, F. Krohm · Proceedings of the 34th Design Automation Conference · 2005 · 82 citations

Engineering, Automated Reasoning, Verification +9

The use of random simulation in formal verification

F. Krohm, A. Kuchlmann, A. Mets · 2002 · 27 citations

Hardware Modeling, Engineering, Hardware Verification Language +20

Rows per page

1–4 of 4