Issued Patents All Time
Showing 26–27 of 27 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8171437 | Automated convergence of ternary simulation by saturation of deep gates | Jason R. Baumgartner, Geert Janssen, Hari Mony | 2012-05-01 |
| 8146034 | Efficient Redundancy Identification, Redundancy Removal, and Sequential Equivalence Checking within Designs Including Memory Arrays. | Jason R. Baumgartner, Robert L. Kanzelman, Hari Mony | 2012-03-27 |