Issued Patents 2005
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 6848084 | Method and apparatus for verification of memories at multiple abstraction levels | Manish Pandey, Mitchell Hines | 2005-01-25 |
| 6842884 | Combinational equivalence checking methods and systems with internal don't cares | Yung-Te Lai, Chioumin M. Chang, Kung-Chien Chen | 2005-01-11 |