Georgia Penido Safe

Person

Minas Gerais, BR

People

Patents Grantslast 30 patents

Information Patent Grant
Partition-based circuit analysis and verification
- Patent number 10,990,734
- Issue date Apr 27, 2021
- Cadence Design Systems, Inc.
- Georgia Penido Safe
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System, method, and computer program product for determining suitab...
- Patent number 10,956,640
- Issue date Mar 23, 2021
- Cadence Design Systems, Inc.
- Georgia Penido Safe
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Methods, systems, and computer program product for connectivity ver...
- Patent number 10,409,945
- Issue date Sep 10, 2019
- Cadence Design Systems, Inc.
- Chung-Wah Norris Ip
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Methods, systems, and articles of manufacture for X-behavior verifi...
- Patent number 10,380,295
- Issue date Aug 13, 2019
- Cadence Design Systems, Inc.
- Chung-Wah Norris Ip
- G06 - COMPUTING CALCULATING COUNTING
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
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

Georgia Penido Safe

Person

Patents Grantslast 30 patents

Partition-based circuit analysis and verification

System, method, and computer program product for determining suitab...

Methods, systems, and computer program product for connectivity ver...

Methods, systems, and articles of manufacture for X-behavior verifi...

Isolating differences between revisions of a circuit design

Comprehending a circuit design

Comprehending a circuit design

Generalizing and inferring behaviors of a circuit design