Inventor
KANZELMAN ROBERT
US5 patents
⚠️ This page may combine multiple inventors who share the name “KANZELMAN ROBERT”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
IBM
4 patentsUS7934180B2Apr 26, 2011
Incremental speculative merging
IBM8 citations82
US10789403B1Sep 29, 2020
Grouping and partitioning of properties for logic verification
IBM3 citations67
US7913208B2Mar 22, 2011
Optimal simplification of constraint-based testbenches
IBM3 citations60
US7788618B2Aug 31, 2010
Scalable dependent state element identification
IBM0 citations49