Statistics
Publications
4
Citations
100
H-Index
4
Active since
2005
Affiliations
Synopsys (United States)(Current)
Alfred Koelbl is an author at Synopsys (United States) specializing in model checking, computer science, and hardware modeling for digital systems.
Publications per year
2005–2009
4
4
Solver technology for system-level to RTL equivalence checking
Alfred Koelbl, R. Jacoby, Himanshu Jain et al. · 2009 · 37 citations
1–4 of 4