Issued Patents 2021
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11126771 | Verification of hardware design for data transformation pipeline | — | 2021-09-21 |
| 11106847 | Verification of hardware design for integrated circuit implementing polynomial input variable function | Robert McKemey, Max Freiburghaus | 2021-08-31 |
| 11074381 | Verification of hardware design for data transformation component | — | 2021-07-27 |
| 10984162 | Verification of hardware design for data transformation pipeline with equivalent data transformation element output constraint | — | 2021-04-20 |
| 10949590 | Control path verification of hardware design for pipelined process | Ashish Darbari | 2021-03-16 |