Issued Patents 2011
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7984405 | Method and apparatus for determining the timing of an integrated circuit design | Yiu-Chung Mang | 2011-07-19 |
| 7904867 | Integrating a boolean SAT solver into a router | Jerry R. Burch, Robert F. Damiano, James H. Kukula | 2011-03-08 |