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 | Victor Markus Purri, Michael D. Pedneau, Lars Lundgren | 2018-10-23 |
| 10031990 | System, method, and computer program product for analyzing X-propagation failures in formal verification | Deepak Yadav, Jasmeet Singh Narula | 2018-07-24 |
| 9873185 | Rapid curing of resin bonded grinding wheels | Shivanand Borkar, Ritesh Jaiswal | 2018-01-23 |