Regina Mara Amaral Fonseca

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
System, method, and computer program product for property clusterin...
- Patent number 10,289,798
- Issue date May 14, 2019
- Cadence Design Systems, Inc.
- Ronalu Augusta Nunes Barcelos
- G06 - COMPUTING CALCULATING COUNTING