Inventor

SHIPLE THOMAS R

US2 patents

⚠️ This page may combine multiple inventors who share the name “SHIPLE THOMAS R”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

SYNOPSYS INC

1 patent

US6059837AMay 9, 2000

Method and system for automata-based approach to state reachability of interacting extended finite state machines

SYNOPSYS INC29 citations88

PLAZA STEPHEN M

1 patent

US8266563B2Sep 11, 2012

Multi-mode redundancy removal

PLAZA STEPHEN M8 citations73