Inventor · disambiguated record
Joseph E. Higgins
Also filed as: HIGGINS JOSEPH E
5 granted patents·155 citations·filing 2000–2003
84Inventor score
Technology areasG06F
Top patents by PatentIndex Score
5 records- 0182US7065726B1System and method for guiding and optimizing formal verification for a circuit designJASPER DESIGN AUTOMATION INC·Filed 2003·Granted Jun 20, 2006·36 cites·26 claims
- 0279US7020856B2Method for verifying properties of a circuit modelJASPER DESIGN AUTOMATION INC·Filed 2003·Granted Mar 28, 2006·27 cites·25 claims
- 0379US6611947B1Method for determining the functional equivalence between two circuit models in a distributed computing environmentJASPER DESIGN AUTOMATION INC·Filed 2000·Granted Aug 26, 2003·37 cites·16 claims
- 0477US7137078B2Trace based method for design navigationJASPER DESIGN AUTOMATION INC·Filed 2003·Granted Nov 14, 2006·30 cites·14 claims
- 0570US6993730B1Method for rapidly determining the functional equivalence between two circuit modelsTEMPUS FUGIT INC·Filed 2001·Granted Jan 31, 2006·25 cites·22 claims
Join the waitlist — get patent alerts
Get an alert when Joseph E. Higgins files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →