Issued Patents All Time
Showing 25 most recent of 33 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 |
| 11995386 | Verification of hardware design for data transformation component | — | 2024-05-28 |
| 11954456 | Float division by constant integer | Jonas Olof Gunnar Källén | 2024-04-09 |
| 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 |
| 11531800 | Verification of hardware design for component that evaluates an algebraic expression using decomposition and recombination | Rachel Edmonds | 2022-12-20 |
| 11475193 | Control path verification of hardware design for pipelined process | Ashish Darbari | 2022-10-18 |
| 11455451 | Verifying a hardware design for a component that implements a permutation respecting function | Robert McKemey, Emiliano Morini, Max Freiburghaus | 2022-09-27 |
| 11294634 | Float division by constant integer | Jonas Olof Gunnar Källén | 2022-04-05 |
| 11294625 | System and method for rounding reciprocal square root results of input floating point numbers | Casper Van Benthem | 2022-04-05 |
| 11269594 | Apparatus and method for processing floating-point numbers | Jonas Olof Gunnar Källén, Casper Van Benthem | 2022-03-08 |
| 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 |