Issued Patents 2025
Showing 1–5 of 5 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12373621 | Verification of hardware design for data transformation component | — | 2025-07-29 |
| 12314645 | Method and system for verifying a sorter | Simon Gaulter, Thomas Ferrere, Faizan Nazar | 2025-05-27 |
| 12265797 | Apparatus and method for processing floating-point numbers | Jonas Olof Gunnar Källén, Casper Van Benthem | 2025-04-01 |
| 12197835 | Verification of hardware design for integrated circuit implementing polynomial input variable function | Robert McKemey, Max Freiburghaus | 2025-01-14 |
| 12190035 | Verification of hardware design for an integrated circuit that implements a function that is polynomial in one or more sub-functions | Rachel Edmonds | 2025-01-07 |