Andrea Iabrudi Tavares

Follow

Person

Belo Horizonte, BR

People

Patents Grantslast 30 patents

Information Patent Grant
Systems and methods for automatic formal metastability fault analys...
- Patent number 10,769,008
- Issue date Sep 8, 2020
- Cadence Design Systems, Inc.
- Alberto Manuel Arias Drake
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Methods, systems, and articles of manufacture for verifying an elec...
- Patent number 10,204,201
- Issue date Feb 12, 2019
- Cadence Design Systems, Inc.
- Lawrence Loh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Methods, systems, and articles of manufacture for graph-driven veri...
- Patent number 10,094,875
- Issue date Oct 9, 2018
- Cadence Design Systems, Inc.
- Chien-Liang Lin
- G01 - MEASURING TESTING
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
Methods, systems, and computer program product for verifying electr...
- Patent number 9,633,151
- Issue date Apr 25, 2017
- Cadence Design Systems, Inc.
- Xiaoyang Sun
- G06 - COMPUTING CALCULATING COUNTING