Inventor
KUKULA JAMES H
US8 patents
⚠️ This page may combine multiple inventors who share the name “KUKULA JAMES H”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
SYNOPSYS INC
6 patentsUS7904867B2Mar 8, 2011
Integrating a boolean SAT solver into a router
SYNOPSYS INC53 citations92
US7149987B2Dec 12, 2006
Method and apparatus for performing generator-based verification
SYNOPSYS INC20 citations90
US6059837AMay 9, 2000
Method and system for automata-based approach to state reachability of interacting extended finite state machines
SYNOPSYS INC29 citations88
US7254793B2Aug 7, 2007
Latch modeling technique for formal verification
SYNOPSYS INC11 citations80
US7343575B2Mar 11, 2008
Phase abstraction for formal verification
SYNOPSYS INC7 citations70
US7890894B2Feb 15, 2011
Phase abstraction for formal verification
SYNOPSYS INC5 citations59