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