Issued Patents All Time
Showing 1–5 of 5 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8205187 | Generalizing and inferring behaviors of a circuit design | Claudionor Coelho, Chung-Wah Norris Ip, Rajeev Ranjan, Kathryn Drews Kranen, Georgia Penido Safe | 2012-06-19 |
| 7237208 | Managing formal verification complexity of designs with datapaths | Chung-Wah Norris Ip, Lawrence Loh, Howard Wong-Toi | 2007-06-26 |
| 6742166 | System and method for evaluating functional coverage linked to a verification test plan | Robert J. Porter, Nathan Zelle | 2004-05-25 |
| 6591403 | System and method for specifying hardware description language assertions targeting a diverse set of verification tools | Bradley Forrest Bass | 2003-07-08 |
| 6321173 | System and method for efficient verification of functional equivalence between design models | — | 2001-11-20 |