Inventor

FOSTER HARRY D

US3 patents

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

HEWLETT PACKARD DEVELOPMENT CO

1 patent

US6742166B2May 25, 2004

System and method for evaluating functional coverage linked to a verification test plan

HEWLETT PACKARD DEVELOPMENT CO44 citations86

JASPER DESIGN AUTOMATION INC

1 patent

US7237208B1Jun 26, 2007

Managing formal verification complexity of designs with datapaths

JASPER DESIGN AUTOMATION INC14 citations81

HEWLETT PACKARD CO

1 patent

US6321173B1Nov 20, 2001

System and method for efficient verification of functional equivalence between design models

HEWLETT PACKARD CO15 citations79