Statistics
Publications
1
Citations
27
H-Index
1
Active since
2002
Affiliations
IBM (United States)(Current)
A. Kuchlmann is an author at IBM (United States) specializing in verification of integrated circuits, design simulation, and hardware equivalence checking.
Publications per year
2002–2002
1
1
The use of random simulation in formal verification
F. Krohm, A. Kuchlmann, A. Mets · 2002 · 27 citations
1–1 of 1