Issued Patents 2020
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10621296 | Generating SAIF efficiently from hardware platforms | Alexander John Wakefield, Solaiman Rahim, Lakshmi Narayana Koduri Hanumath Prasad | 2020-04-14 |
| 10579760 | Force/release support in emulation and formal verification | Ionut Silviu Cirjan, Dmitry Korchemny, Naphtali Yehoshua Sprei | 2020-03-03 |