Joseph E. Higgins

Follow

Person

Albany, CA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Trace based method for design navigation
- Patent number 7,137,078
- Issue date Nov 14, 2006
- Jasper Design Automation, Inc.
- Vigyan Singhal
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for guiding and optimizing formal verification fo...
- Patent number 7,065,726
- Issue date Jun 20, 2006
- Jasper Design Automation, Inc.
- Vigyan Singhal
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for verifying properties of a circuit model
- Patent number 7,020,856
- Issue date Mar 28, 2006
- Jasper Design Automation, Inc.
- Vigyan Singhal
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System chip synthesis
- Patent number 7,013,438
- Issue date Mar 14, 2006
- Cadence Design Systems, Inc.
- Alexander Saldanha
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for rapidly determining the functional equivalence between t...
- Patent number 6,993,730
- Issue date Jan 31, 2006
- Tempus Fugit, Inc.
- Joseph E. Higgins
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for determining the functional equivalence between two circu...
- Patent number 6,611,947
- Issue date Aug 26, 2003
- Jasper Design Automation, Inc.
- Joseph E. Higgins
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Trace based method for design navigation
- Publication number 20040194046
- Publication date Sep 30, 2004
- TEMPUS FUGIT INC.
- Vigyan Singhal
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method for verifying properties of a circuit model
- Publication number 20030208730
- Publication date Nov 6, 2003
- TEMPUS FUGIT INC.
- Vigyan Singhal
- G06 - COMPUTING CALCULATING COUNTING