Issued Patents All Time
Showing 1–5 of 5 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11507720 | Systems and methods for signal observability rating | Matheus Nogueira Fonseca, Thamara Karen Cunha Andrade, Lars Lundgren | 2022-11-22 |
| 10482206 | System, method, and computer program product for providing feedback during formal verification | Caio Araujo Teixeira Campos, Björn Håkan Hjort | 2019-11-19 |
| 10204201 | Methods, systems, and articles of manufacture for verifying an electronic design using hierarchical clock domain crossing verification techniques | Lawrence Loh, Artur Melo Mota Costa, Fabiano Peixoto, Andrea Iabrudi Tavares | 2019-02-12 |
| 10078714 | Data propagation analysis for debugging a circuit design | Fabiano Peixoto, Xiaoyang Sun, Claudionor Coelho | 2018-09-18 |
| 9665682 | Methods, systems, and articles of manufacture for enhancing formal verification with counter acceleration for electronic designs | Abner Luis Panho Marciano, Fabiano Peixoto | 2017-05-30 |