Issued Patents 2020
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10796051 | Adaptive model interface for a plurality of EDA programs | Abner Luis Panho Marciano, Matheus Nogueira Fonseca, Thamara Karen Cunha Andrade, Fabiano Peixoto, Rodolfo Santos Teixeira +2 more | 2020-10-06 |
| 10706195 | System, method, and computer program product for over-constraint/deadcode detection in a formal verification | Luis Humberto Rezende Barbosa, Caio Alves Furtado, Breno Augusto Dias Vitorino, Mirlaine Aparecida Crepalde, Rodrigo da Silva Mantini Viana +1 more | 2020-07-07 |