Issued Patents All Time
Showing 1–4 of 4 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11657159 | Identifying security vulnerabilities using modeled attribute propagation | Matthew Michael Garcia Pardini, Bodo Hoppe, Michael P. Mullen | 2023-05-23 |
| 8495535 | Partitioning and scheduling uniform operator logic trees for hardware accelerators | Michael D. Moffitt, Matyas A. Sustik | 2013-07-23 |
| 7885801 | Modeling asynchronous behavior from primary inputs and latches | Yee Ja, Bradley Nelson | 2011-02-08 |
| 7447620 | Modeling asynchronous behavior from primary inputs and latches | Yee Ja, Bradley Nelson | 2008-11-04 |