Issued Patents All Time
Showing 1–5 of 5 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10769008 | Systems and methods for automatic formal metastability fault analysis in an electronic design | Alberto Manuel Arias Drake, Artur Melo Mota Costa, Fabiano Peixoto, Laiz Lipiainen Santos, Lucas Ferreira de Melo Diniz +4 more | 2020-09-08 |
| 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, Breno Rodrigues Guimaraes, Fabiano Peixoto | 2019-02-12 |
| 10094875 | Methods, systems, and articles of manufacture for graph-driven verification and debugging of an electronic design | Chien-Liang Lin, Chung-Wah Norris Ip | 2018-10-09 |
| 9817930 | Method, system, and computer program product for verifying an electronic circuit design with a graph-based proof flow | Caio Araújo Teixeira Campos, Tamires Vargas Campanema Franco Santos, Fabiano Peixoto, Claudionor Coelho | 2017-11-14 |
| 9633151 | Methods, systems, and computer program product for verifying electronic designs with clock domain crossing paths | Xiaoyang Sun, Marcus Vinicius da Mata Gomes, Lawrence Loh, Fabiano Peixoto | 2017-04-25 |