Issued Patents All Time
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11520964 | Method and system for assertion-based formal verification using unique signature values | Ahmad S. Abo Foul, Lars Lundgren, Björn Håkan Hjort, Habeeb Farah, Eran Talmor | 2022-12-06 |
| 11379753 | Systems and methods for command interpretation in an electronic design automation environment | Tulio Paschoalin Leao, Gabriel Guedes de Azevedo Barbosa, Artur Melo Mota Costa, Alberto Manuel Arias Drake, Guilherme Seminotti Braga +3 more | 2022-07-05 |