Inventor
BAUMGARTNER JASON
US6 patents
⚠️ This page may combine multiple inventors who share the name “BAUMGARTNER JASON”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
IBM
5 patentsUS7934180B2Apr 26, 2011
Incremental speculative merging
IBM8 citations82
US10579770B2Mar 3, 2020
Scalable connectivity verification using conditional cut-points
IBM3 citations67
US7913208B2Mar 22, 2011
Optimal simplification of constraint-based testbenches
IBM3 citations60
US10970454B2Apr 6, 2021
Scalable connectivity verification using conditional cut-points
IBM0 citations57
US7788618B2Aug 31, 2010
Scalable dependent state element identification
IBM0 citations49