Issued Patents 2018
Showing 1–3 of 3 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 |