Inventor
ELLIOTT SAM
GB33 patents
Patents
33 patentsUS11657198B2May 23, 2023
Verification of hardware design for data transformation component
IMAGINATION TECH LTD4 citations85
US11074381B2Jul 27, 2021
Verification of hardware design for data transformation component
IMAGINATION TECH LTD6 citations83
US10719646B2Jul 21, 2020
Verification of hardware design for data transformation pipeline with equivalent data transformation element output constraint
IMAGINATION TECH LTD4 citations83
US11995386B2May 28, 2024
Verification of hardware design for data transformation component
IMAGINATION TECH LTD2 citations72
US11126771B2Sep 21, 2021
Verification of hardware design for data transformation pipeline
IMAGINATION TECH LTD2 citations72
US10984162B2Apr 20, 2021
Verification of hardware design for data transformation pipeline with equivalent data transformation element output constraint
IMAGINATION TECH LTD3 citations72
US10229236B2Mar 12, 2019
Verification of hardware designs to implement floating point power functions
IMAGINATION TECH LTD2 citations72
US12373621B2Jul 29, 2025
Verification of hardware design for data transformation component
IMAGINATION TECH LTD0 citations62
US11853716B2Dec 26, 2023
System and method for rounding reciprocal square root results of input floating point numbers
IMAGINATION TECH LTD0 citations62
US11663385B2May 30, 2023
Verification of hardware design for data transformation pipeline
IMAGINATION TECH LTD0 citations62
US11475193B2Oct 18, 2022
Control path verification of hardware design for pipelined process
IMAGINATION TECH LTD0 citations62
US11294625B2Apr 5, 2022
System and method for rounding reciprocal square root results of input floating point numbers
IMAGINATION TECH LTD0 citations62
US10949590B2Mar 16, 2021
Control path verification of hardware design for pipelined process
IMAGINATION TECH LTD0 citations62
US10460058B2Oct 29, 2019
Verification of hardware designs to implement floating point power functions
IMAGINATION TECH LTD1 citations62
US12265797B2Apr 1, 2025
Apparatus and method for processing floating-point numbers
IMAGINATION TECH LTD0 citations59
US12197835B2Jan 14, 2025
Verification of hardware design for integrated circuit implementing polynomial input variable function
IMAGINATION TECH LTD0 citations59
US11847429B2Dec 19, 2023
Apparatus and method for processing floating-point numbers
IMAGINATION TECH LTD0 citations59
US11269594B2Mar 8, 2022
Apparatus and method for processing floating-point numbers
IMAGINATION TECH LTD0 citations59
US11106847B2Aug 31, 2021
Verification of hardware design for integrated circuit implementing polynomial input variable function
IMAGINATION TECH LTD0 citations59
US11455451B2Sep 27, 2022
Verifying a hardware design for a component that implements a permutation respecting function
IMAGINATION TECH LTD0 citations58
US12314645B2May 27, 2025
Method and system for verifying a sorter
IMAGINATION TECH LTD1 citations56
US11829694B2Nov 28, 2023
Verification of hardware design for component that evaluates an algebraic expression using decomposition and recombination
IMAGINATION TECH LTD0 citations56
US11531800B2Dec 20, 2022
Verification of hardware design for component that evaluates an algebraic expression using decomposition and recombination
IMAGINATION TECH LTD0 citations56
US11954456B2Apr 9, 2024
Float division by constant integer
IMAGINATION TECH LTD0 citations54
US11783105B2Oct 10, 2023
Method and system for verifying a sorter
IMAGINATION TECH LTD0 citations54
US11763054B2Sep 19, 2023
Verification of hardware design for integrated circuit implementing polynomial input variable function
IMAGINATION TECH LTD0 citations54
US11645042B2May 9, 2023
Float division by constant integer
IMAGINATION TECH LTD0 citations54
US11294634B2Apr 5, 2022
Float division by constant integer
IMAGINATION TECH LTD0 citations53
US10325044B2Jun 18, 2019
Control path verification of hardware design for pipelined process
IMAGINATION TECH LTD0 citations52
US11609741B2Mar 21, 2023
Apparatus and method for processing floating-point numbers
IMAGINATION TECH LTD0 citations51
US10796052B2Oct 6, 2020
Formal verification of integrated circuit hardware designs to implement integer division
IMAGINATION TECH LTD0 citations48
US10503852B2Dec 10, 2019
Formal verification of integrated circuit hardware designs to implement integer division
IMAGINATION TECH LTD0 citations48
US12190035B2Jan 7, 2025
Verification of hardware design for an integrated circuit that implements a function that is polynomial in one or more sub-functions
IMAGINATION TECH LTD0 citations46