| 12197835 |
Verification of hardware design for integrated circuit implementing polynomial input variable function |
Sam Elliott, Max Freiburghaus |
2025-01-14 |
| 12032886 |
Verifying a hardware design for a multi-stage component |
— |
2024-07-09 |
| 11531522 |
Selecting an ith largest or a pth smallest number from a set of n m-bit numbers |
Thomas Rose |
2022-12-20 |
| 11520958 |
Verifying a hardware design for a multi-stage component |
— |
2022-12-06 |
| 11455451 |
Verifying a hardware design for a component that implements a permutation respecting function |
Sam Elliott, Emiliano Morini, Max Freiburghaus |
2022-09-27 |
| 11422802 |
Iterative estimation hardware |
Thomas Rose, Max Freiburghaus |
2022-08-23 |
| 11106847 |
Verification of hardware design for integrated circuit implementing polynomial input variable function |
Sam Elliott, Max Freiburghaus |
2021-08-31 |