Issued Patents 2003
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 6609229 | Method for automatically generating checkers for finding functional defects in a description of a circuit | Jean-Charles Giomi, Kalyana C. Mulam, Paul Andrew Wilcox, David Lansing Dill, Paul II Estrada +5 more | 2003-08-19 |
| 6505339 | Behavioral synthesis links to logic synthesis | Ronald A. Miller, Donald Benton MacMillen, David W. Knapp | 2003-01-07 |