Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9405872 | System and method for reducing power of a circuit using critical signal analysis | Solaiman Rahim, Shekaripuram V. Venkatesh, Siddharth Guha, Fahim Rahim | 2016-08-02 |
| 8881077 | Method, system and computer program for hardware design debugging | Andreas Veneris | 2014-11-04 |
| 8751984 | Method, system and computer program for hardware design debugging | Andreas Veneris | 2014-06-10 |
| 7725871 | SAT-based technology mapping framework | Gregg William Baeckler, Jinyong Yuan | 2010-05-25 |
| 7386828 | SAT-based technology mapping framework | Gregg William Baeckler, Jinyong Yuan | 2008-06-10 |