Himanshu Jain

Person

HIllsboro, OR, US

People

Patents Grantslast 30 patents

Information Patent Grant
Using runtime information from solvers to measure quality of formal...
- Patent number 10,657,307
- Issue date May 19, 2020
- Synopsys, Inc.
- Himanshu Jain
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Formal verification using cached search path information to verify...
- Patent number 10,503,853
- Issue date Dec 10, 2019
- Synopsys, Inc.
- Arunava Saha
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Invariant sharing to speed up formal verification
- Patent number 10,325,054
- Issue date Jun 18, 2019
- Synopsys, Inc.
- Himanshu Jain
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Equivalence checking between two or more circuit designs that inclu...
- Patent number 9,870,442
- Issue date Jan 16, 2018
- Synopsys, Inc.
- Himanshu Jain
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Elimination of illegal states within equivalence checking
- Patent number 9,501,597
- Issue date Nov 22, 2016
- Synopsys, Inc.
- Himanshu Jain
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Equivalence checking between two or more circuit designs that inclu...
- Patent number 9,189,581
- Issue date Nov 17, 2015
- Synopsys, Inc.
- Himanshu Jain
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Formal verification of bit-serial division and bit-serial square-ro...
- Patent number 8,732,637
- Issue date May 20, 2014
- Synopsys, Inc.
- Himanshu Jain
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
ELIMINATION OF ILLEGAL STATES WITHIN EQUIVALENCE CHECKING
- Publication number 20160012167
- Publication date Jan 14, 2016
- Synopsys, Inc.
- Himanshu Jain
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EQUIVALENCE CHECKING BETWEEN TWO OR MORE CIRCUIT DESIGNS THAT INCLU...
- Publication number 20160012177
- Publication date Jan 14, 2016
- Synopsys, Inc.
- Himanshu Jain
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INVARIANT SHARING TO SPEED UP FORMAL VERIFICATION
- Publication number 20150213167
- Publication date Jul 30, 2015
- Synopsys, Inc.
- Himanshu Jain
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
FORMAL VERIFICATION OF BIT-SERIAL DIVISION AND BIT-SERIAL SQUARE-RO...
- Publication number 20140033150
- Publication date Jan 30, 2014
- Synopsys, Inc.
- Himanshu Jain
- G06 - COMPUTING CALCULATING COUNTING

Himanshu Jain

Person

Patents Grantslast 30 patents

Using runtime information from solvers to measure quality of formal...

Formal verification using cached search path information to verify...

Invariant sharing to speed up formal verification

Equivalence checking between two or more circuit designs that inclu...

Elimination of illegal states within equivalence checking

Equivalence checking between two or more circuit designs that inclu...

Formal verification of bit-serial division and bit-serial square-ro...

Patents Applicationslast 30 patents

ELIMINATION OF ILLEGAL STATES WITHIN EQUIVALENCE CHECKING

EQUIVALENCE CHECKING BETWEEN TWO OR MORE CIRCUIT DESIGNS THAT INCLU...

INVARIANT SHARING TO SPEED UP FORMAL VERIFICATION

FORMAL VERIFICATION OF BIT-SERIAL DIVISION AND BIT-SERIAL SQUARE-RO...