Inventor
Breno Rodrigues Guimaraes
Inventor
Belo Horizonte, BR
Overview
Patents· 4 as inventor
Public. Assignee & technology derived from the patent record. Each patent links to its LexDana page.
G06Fprimary
G06FElectric digital data processing100%
PatentTitleYear
10,482,206System, method, and computer program product for providing feedback during formal verification201910,204,201Methods, systems, and articles of manufacture for verifying an electronic design using hierarchical clock domain crossing verification techniques201910,078,714Data propagation analysis for debugging a circuit design20189,665,682'Methods, systems, and articles of manufacture for enhancing formal verification with counter acceleration for electronic designs'2017Career & activity timeline
Assembled from patent assignee/location history and declaration credentials.
2017–2019Patents assigned to CADENCE DESIGN SYSTEMS INC (4)· patent assignee history
2017–2018Based in Minas Gerais, BR· patent location history
2018Patents assigned to COELHO JR CLAUDIONOR (1)· patent assignee history
2018Patents assigned to GUIMARAES BRENO RODRIGUES (1)· patent assignee history
2018Patents assigned to PEIXOTO FABIANO (1)· patent assignee history
2018Patents assigned to SUN XIAOYANG (1)· patent assignee history
2019Based in Belo Horizonte, BR· patent location history
Inventor activity
Assignee and location history derived from the patent record.
Assignees
| Assignee | Patents | Span |
|---|---|---|
| CADENCE DESIGN SYSTEMS INC | 4 | 2017–2019 |
| COELHO JR CLAUDIONOR | 1 | 2018 |
| GUIMARAES BRENO RODRIGUESself | 1 | 2018 |
| PEIXOTO FABIANO | 1 | 2018 |
| SUN XIAOYANG | 1 | 2018 |
Locations
| Location | Patents | Span |
|---|---|---|
| Belo Horizonte, BR | 2 | 2019 |
| Minas Gerais, BR | 2 | 2017–2018 |