Fernanda Augusta Braga

Follow

Person

Castro Valley, CA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Applying a hierarchical proof to formal verification based path sen...
- Patent number 11,507,492
- Issue date Nov 22, 2022
- Cadence Design Systems, Inc.
- Fernanda Augusta Braga
- 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