Harry D. Foster

Follow

Person

Plano, TX, US

People

Patents Grantslast 30 patents

Information Patent Grant
Generalizing and inferring behaviors of a circuit design
- Patent number 8,205,187
- Issue date Jun 19, 2012
- Jasper Design Automation, Inc.
- Claudionor José Nunes Coelho
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Managing formal verification complexity of designs with datapaths
- Patent number 7,237,208
- Issue date Jun 26, 2007
- Jasper Design Automation, Inc.
- Chung-Wah N. Ip
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for evaluating functional coverage linked to a ve...
- Patent number 6,742,166
- Issue date May 25, 2004
- Hewlett-Packard Development Company, L.P.
- Harry D. Foster
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for specifying hardware description language asse...
- Patent number 6,591,403
- Issue date Jul 8, 2003
- Hewlett-Packard Development Company, L.P.
- Bradley Forrest Bass
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for efficient verification of functional equivale...
- Patent number 6,321,173
- Issue date Nov 20, 2001
- Hewlett-Packard Company
- Harry D. Foster
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
System and method for evaluating functional coverage linked to a ve...
- Publication number 20030018945
- Publication date Jan 23, 2003
- Harry D. Foster
- G06 - COMPUTING CALCULATING COUNTING