Issued Patents All Time
Showing 1–5 of 5 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12353862 | Automatic code generation of optimized RTL via redundant code removal | Theo Alan Drane, Jordan Schmerge, Samuel Coward | 2025-07-08 |
| 12050532 | Routing circuit for computer resource topology | Qiong Cai | 2024-07-30 |
| 11455451 | Verifying a hardware design for a component that implements a permutation respecting function | Robert McKemey, Sam Elliott, Max Freiburghaus | 2022-09-27 |
| 10796052 | Formal verification of integrated circuit hardware designs to implement integer division | Sam Elliott | 2020-10-06 |
| 10503852 | Formal verification of integrated circuit hardware designs to implement integer division | Sam Elliott | 2019-12-10 |