Thomas R. Shiple

Follow

Person

Lexington, MA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Multi-mode redundancy removal
- Patent number 8,266,563
- Issue date Sep 11, 2012
- Synopsys, Inc.
- Stephen M. Plaza
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for formally constraining random simulation
- Patent number 7,092,858
- Issue date Aug 15, 2006
- Synopsys, Inc.
- James Herbert Kukula
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for automata-based approach to state reachability...
- Patent number 6,059,837
- Issue date May 9, 2000
- Synopsys, Inc.
- James H. Kukula
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Multi-Mode Redundancy Removal
- Publication number 20110126167
- Publication date May 26, 2011
- Synopsys, Inc.
- Stephen M. Plaza
- G06 - COMPUTING CALCULATING COUNTING