Issued Patents 2020
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10796052 | Formal verification of integrated circuit hardware designs to implement integer division | Emiliano Morini | 2020-10-06 |
| 10719646 | Verification of hardware design for data transformation pipeline with equivalent data transformation element output constraint | — | 2020-07-21 |