Issued Patents All Time
Showing 26–27 of 27 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9280496 | Formal verification of arbiters | Gadiel Auerbach, Viresh Paruthi | 2016-03-08 |
| 8370553 | Formal verification of random priority-based arbiters using property strengthening and underapproximations | Gadiel Auerbach, David J. Levitt, Viresh Paruthi | 2013-02-05 |