Issued Patents All Time
Showing 1–5 of 5 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10108767 | Methods, systems, and computer program product for implementing deadlock detection with formal verification techniques in an electronic design | Michael D. Pedneau, Lars Lundgren, Pradeep Goyal | 2018-10-23 |
| 9934410 | Security data path verification | Caio Araújo Teixeira Campos, Magnus Björk, Lawrence Loh, Claudionor Coelho | 2018-04-03 |
| 9922209 | Security data path verification | Caio Araújo Teixeira Campos, Magnus Björk, Lawrence Loh, Claudionor Coelho | 2018-03-20 |
| 9734278 | Methods, systems, and articles of manufacture for automatic extraction of connectivity information for implementation of electronic designs | Guilherme Henrique de Sousa Santos, Chung-Wah Norris Ip, Marcus Vincius da Mata Gomes | 2017-08-15 |
| 9449196 | Security data path verification | Caio Araújo Teixeira Campos, Magnus Björk, Lawrence Loh, Claudionor Coelho | 2016-09-20 |