Laiz Lipiainen Santos

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 computer program product for verifying an ele...
- Patent number 9,858,372
- Issue date Jan 2, 2018
- Cadence Design Systems, Inc.
- Hudson Dyele Oliveira
- G06 - COMPUTING CALCULATING COUNTING