Issued Patents All Time
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8621413 | System, method, and computer program product for reducing a deactivation function utilizing an optimal reduction | — | 2013-12-31 |
| 7539956 | System and computer program product for simultaneous cell identification/technology mapping | Sumit Roy | 2009-05-26 |
| 6526551 | Formal verification of a logic design through implicit enumeration of strongly connected components | Peter A. Beerel | 2003-02-25 |