Issued Patents All Time
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10956640 | System, method, and computer program product for determining suitability for formal verification | Georgia Penido Safe, Yumi Monma, Felipe Althoff, Fernanda Augusta Braga, Lucas Martins Chaves +3 more | 2021-03-23 |
| 10706195 | System, method, and computer program product for over-constraint/deadcode detection in a formal verification | Luis Humberto Rezende Barbosa, Raquel Lara dos Santos Pereira, Caio Alves Furtado, Breno Augusto Dias Vitorino, Rodrigo da Silva Mantini Viana +1 more | 2020-07-07 |
| 10289798 | System, method, and computer program product for property clustering associated with formal verification of an electronic circuit design | Ronalu Augusta Nunes Barcelos, Hudson Dyele Pinheiro de Oliveira, Lucas Luz Reckziegel, Glauber Tadeu de Sousa Carmo, Augusto Amaral Mafra +3 more | 2019-05-14 |