Issued Patents 1997
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 5680332 | Measurement of digital circuit simulation test coverage utilizing BDDs and state bins | Richard Raimi | 1997-10-21 |
| 5638381 | Apparatus and method for deriving correspondence between storage elements of a first circuit model and storage elements of a second circuit model | Hyunwoo Cho | 1997-06-10 |