Issued Patents 2019
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10359825 | Dynamic power measurement using formal | John Alexander Osborne Netterville, Ashish Darbari | 2019-07-23 |
| 10346571 | Livelock detection in a hardware design using formal evaluation logic | Ashish Darbari | 2019-07-09 |
| 10331831 | Assessing performance of a hardware design using formal evaluation logic | Ashish Darbari | 2019-06-25 |
| 10210119 | Arbiter verification | Ashish Darbari, John Alexander Osborne Netterville | 2019-02-19 |