Issued Patents All Time
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10990734 | Partition-based circuit analysis and verification | Georgia Penido Safe, Vincent Gregory Reynolds, Julio Alexandre Silva Rezende | 2021-04-27 |
| 10409945 | Methods, systems, and computer program product for connectivity verification of electronic designs | Chung-Wah Norris Ip, Georgia Penido Safe, Guilherme Henrique de Sousa Santos | 2019-09-10 |
| 9858372 | Methods, systems, and computer program product for verifying an electronic design | Hudson Dyele Oliveira, Abner Luis Panho Marciano, Guilherme Seminotti Braga, Caio Texeira Campos, Breno Rodrigues Guimares +3 more | 2018-01-02 |