Issued Patents 2018
Showing 1–4 of 4 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10078716 | Scalable logic verification by identifying unate primary inputs | Jason R. Baumgartner, Alexander Ivrii, Pradeep Kumar Nalla | 2018-09-18 |
| 10073938 | Integrated circuit design verification | Anand B. Arunagiri, Sujeet Kumar, Pradeep Kumar Nalla | 2018-09-11 |
| 9934873 | Delayed equivalence identification | Ashutosh Misra, Pradeep Kumar Nalla, Rahul M. Rao | 2018-04-03 |
| 9922153 | Scalable logic verification by identifying unate primary inputs | Jason R. Baumgartner, Alexander Ivrii, Pradeep Kumar Nalla | 2018-03-20 |