Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8266563 | Multi-mode redundancy removal | Stephen M. Plaza, Prashant Saxena, Pei-Hsin Ho | 2012-09-11 |
| 7092858 | Method and apparatus for formally constraining random simulation | James H. Kukula, Rajeev Ranjan | 2006-08-15 |
| 6059837 | Method and system for automata-based approach to state reachability of interacting extended finite state machines | James H. Kukula | 2000-05-09 |