Inventor

ESTRADA PAUL II

US3 patents

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

O IN DESIGN AUTOMATION

1 patent

US6292765B1Sep 18, 2001

Method for automatically searching for functional defects in a description of a circuit

O IN DESIGN AUTOMATION67 citations94

LY TAI AN

1 patent

US7007249B2Feb 28, 2006

Method for automatically generating checkers for finding functional defects in a description of circuit

LY TAI AN21 citations91

HO CHIAN-MIN RICHARD

1 patent

US7478028B2Jan 13, 2009

Method for automatically searching for functional defects in a description of a circuit

HO CHIAN-MIN RICHARD21 citations88