Issued Patents 2018
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10078716 | Scalable logic verification by identifying unate primary inputs | Jason R. Baumgartner, Raj Kumar Gajavelly, Pradeep Kumar Nalla | 2018-09-18 |
| 9922153 | Scalable logic verification by identifying unate primary inputs | Jason R. Baumgartner, Raj Kumar Gajavelly, Pradeep Kumar Nalla | 2018-03-20 |