Rajeev Kumar Ranjan

Person

Sunnyvale, CA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Isolating differences between revisions of a circuit design
- Patent number 9,477,802
- Issue date Oct 25, 2016
- Cadence Design Systems, Inc.
- Chung-Wah Norris Ip
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system to perform performance checks
- Patent number 9,342,638
- Issue date May 17, 2016
- Cadence Design Systems, Inc.
- Antonio Celso Caldeira
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Formal verification coverage metrics for circuit design properties
- Patent number 9,177,089
- Issue date Nov 3, 2015
- Cadence Design Systems, Inc.
- Ziyad E. Hanna
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Formal verification coverage metrics of covered events for circuit...
- Patent number 9,158,874
- Issue date Oct 13, 2015
- Cadence Design Systems, Inc.
- Rajeev K. Ranjan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Indexing behaviors and recipes of a circuit design
- Patent number 8,831,925
- Issue date Sep 9, 2014
- Jasper Design Automation, Inc.
- Kathryn Drews Kranen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Formal verification coverage metrics for circuit design properties
- Patent number 8,826,201
- Issue date Sep 2, 2014
- Jasper Design Automation, Inc.
- Ziyad E. Hanna
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Indexing behaviors and recipes of a circuit design
- Patent number 8,731,894
- Issue date May 20, 2014
- Jasper Design Automation, Inc.
- Kathryn Drews Kranen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Comprehending waveforms of a circuit design
- Patent number 8,630,824
- Issue date Jan 14, 2014
- Jasper Design Automation, Inc.
- Chung-Wah Norris Ip
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Comprehending a circuit design
- Patent number 8,527,911
- Issue date Sep 3, 2013
- Jasper Design Automation, Inc.
- Kathryn Drews Kranen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Comprehending a circuit design
- Patent number 8,458,621
- Issue date Jun 4, 2013
- Jasper Design Automation, Inc.
- Kathryn Drews Kranen
Information Patent Grant
Generalizing and inferring behaviors of a circuit design
- Patent number 8,205,187
- Issue date Jun 19, 2012
- Jasper Design Automation, Inc.
- Claudionor José Nunes Coelho
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
FORMAL VERIFICATION COVERAGE METRICS FOR CIRCUIT DESIGN PROPERTIES
- Publication number 20150135150
- Publication date May 14, 2015
- Ziyad E. Hanna
- G06 - COMPUTING CALCULATING COUNTING

Rajeev Kumar Ranjan

Person

Patents Grantslast 30 patents

Isolating differences between revisions of a circuit design

Method and system to perform performance checks

Formal verification coverage metrics for circuit design properties

Formal verification coverage metrics of covered events for circuit...

Indexing behaviors and recipes of a circuit design

Formal verification coverage metrics for circuit design properties

Indexing behaviors and recipes of a circuit design

Comprehending waveforms of a circuit design

Comprehending a circuit design

Comprehending a circuit design

Generalizing and inferring behaviors of a circuit design

Patents Applicationslast 30 patents

FORMAL VERIFICATION COVERAGE METRICS FOR CIRCUIT DESIGN PROPERTIES