Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7171634 | Processing and verifying retimed sequential elements in a circuit design | Bala Iyer, Silvian Goldenberg, Prashant Saxena | 2007-01-30 |
| 6721926 | Method and apparatus for improving digital circuit design | Xinning Wang, Barbara A. Chappell | 2004-04-13 |
| 5774369 | Computer program product for enabling a computer to remove redundancies using quasi algebraic methods | Paul William Horstmann, Thomas E. Rosser | 1998-06-30 |
| 5524082 | Redundancy removal using quasi-algebraic methods | Paul William Horstmann, Thomas E. Rosser | 1996-06-04 |