Issued Patents 2023
Showing 1–9 of 9 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11853716 | System and method for rounding reciprocal square root results of input floating point numbers | Casper Van Benthem | 2023-12-26 |
| 11847429 | Apparatus and method for processing floating-point numbers | Jonas Olof Gunnar Källén, Casper Van Benthem | 2023-12-19 |
| 11829694 | Verification of hardware design for component that evaluates an algebraic expression using decomposition and recombination | Rachel Edmonds | 2023-11-28 |
| 11783105 | Method and system for verifying a sorter | Simon Gaulter, Thomas Ferrere, Faizan Nazar | 2023-10-10 |
| 11763054 | Verification of hardware design for integrated circuit implementing polynomial input variable function | Robert McKerney, Max Freiburghaus | 2023-09-19 |
| 11663385 | Verification of hardware design for data transformation pipeline | — | 2023-05-30 |
| 11657198 | Verification of hardware design for data transformation component | — | 2023-05-23 |
| 11645042 | Float division by constant integer | Jonas Olof Gunnar Källén | 2023-05-09 |
| 11609741 | Apparatus and method for processing floating-point numbers | — | 2023-03-21 |