Issued Patents All Time
Showing 1–4 of 4 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10229235 | Sequential non-deterministic detection in hardware design | Akram Baransi, Michael Zajac | 2019-03-12 |
| 9141738 | Sequential non-deterministic detection in hardware design | Akram Baransi, Michael Zajac | 2015-09-22 |
| 8954909 | Automated scalable verification for hardware designs at the register transfer level | Karem A. Sakallah, Mark Liffiton | 2015-02-10 |
| 8601414 | Automated scalable verification for hardware designs at the register transfer level | Karem A. Sakallah, Mark Liffiton | 2013-12-03 |