Issued Patents 2018
Showing 1–1 of 1 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 | Victor Markus Purri, Lars Lundgren, Pradeep Goyal | 2018-10-23 |