Issued Patents All Time
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8117576 | Method for using an equivalence checker to reduce verification effort in a system having analog blocks | Kevin Dewayne Jones | 2012-02-14 |
| 7392492 | Multi-format consistency checking tool | Qiang Hong, Jing Jiang, Kevin Dewayne Jones, Thomas J. Sheffler, Paul Wong | 2008-06-24 |
| 7360187 | Mixed mode verifier | Kevin Dewayne Jones, Thomas J. Sheffler, Qiang Hong, Paul Wong, Jing Jiang | 2008-04-15 |