Issued Patents 2019
Showing 1–4 of 4 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10503852 | Formal verification of integrated circuit hardware designs to implement integer division | Emiliano Morini | 2019-12-10 |
| 10460058 | Verification of hardware designs to implement floating point power functions | — | 2019-10-29 |
| 10325044 | Control path verification of hardware design for pipelined process | Ashish Darbari | 2019-06-18 |
| 10229236 | Verification of hardware designs to implement floating point power functions | — | 2019-03-12 |