Issued Patents 2016
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9384167 | Formal verification of booth multipliers | — | 2016-07-05 |
| 9280626 | Efficiently determining Boolean satisfiability with lazy constraints | Jason R. Baumgartner, Robert L. Kanzelman, Hari Mony | 2016-03-08 |