Issued Patents 2022
Showing 1–6 of 6 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 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 |
| 11294625 | System and method for rounding reciprocal square root results of input floating point numbers | Casper Van Benthem | 2022-04-05 |
| 11294634 | Float division by constant integer | Jonas Olof Gunnar Källén | 2022-04-05 |
| 11269594 | Apparatus and method for processing floating-point numbers | Jonas Olof Gunnar Källén, Casper Van Benthem | 2022-03-08 |