Kathryn Drews Kranen

Person

Menlo Park, 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
Guided exploration of circuit design states
- Patent number 9,372,949
- Issue date Jun 21, 2016
- Cadence Design Systems, Inc.
- Ziyad Hanna
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Constraining traces in formal verification
- Patent number 8,863,049
- Issue date Oct 14, 2014
- Jasper Design Automation, Inc.
- Lars Lundgren
- 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
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

Kathryn Drews Kranen

Person

Patents Grantslast 30 patents

Isolating differences between revisions of a circuit design

Guided exploration of circuit design states

Constraining traces in formal verification

Indexing behaviors and recipes of a circuit design

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