Claudionor José Nunes Coelho JR.

Person

Nova Lima / Minas Gerais, BR

People

Patents Grantslast 30 patents

Information Patent Grant
Method, system, and computer program product for verifying an elect...
- Patent number 9,817,930
- Issue date Nov 14, 2017
- Cadence Design Systems Inc.
- Caio Araujo Texeira Campos
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Security data path verification
- Patent number 9,449,196
- Issue date Sep 20, 2016
- Jasper Design Automation, Inc.
- Victor Markus Purri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Manipulation of traces for debugging a circuit design
- Patent number 9,081,927
- Issue date Jul 14, 2015
- Jasper Design Automation, Inc.
- Claudionor José Nunes Coelho
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Manipulation of traces for debugging behaviors of a circuit design
- Patent number 8,990,745
- Issue date Mar 24, 2015
- Jasper Design Automation, Inc.
- Claudionor José Nunes Coelho
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Generating properties for circuit designs
- Patent number 8,572,527
- Issue date Oct 29, 2013
- Jasper Design Automation, Inc.
- Claudionor José Nunes Coelho
- 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

Patents Applicationslast 30 patents

Information Patent Application
MANIPULATION OF TRACES FOR DEBUGGING A CIRCUIT DESIGN
- Publication number 20150100932
- Publication date Apr 9, 2015
- Jasper Design Automation, Inc.
- Claudionor José Nunes Coelho
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MANIPULATION OF TRACES FOR DEBUGGING BEHAVIORS OF A CIRCUIT DESIGN
- Publication number 20150100933
- Publication date Apr 9, 2015
- Jasper Design Automation, Inc.
- Claudionor José Nunes Coelho
- G06 - COMPUTING CALCULATING COUNTING

Claudionor José Nunes Coelho JR.

Person

Patents Grantslast 30 patents

Method, system, and computer program product for verifying an elect...

Security data path verification

Manipulation of traces for debugging a circuit design

Manipulation of traces for debugging behaviors of a circuit design

Generating properties for circuit designs

Comprehending a circuit design

Comprehending a circuit design

Patents Applicationslast 30 patents

MANIPULATION OF TRACES FOR DEBUGGING A CIRCUIT DESIGN

MANIPULATION OF TRACES FOR DEBUGGING BEHAVIORS OF A CIRCUIT DESIGN