The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
May. 27, 2025
Filed:
Oct. 06, 2023
Applicant:
Imagination Technologies Limited, Kings Langley, GB;
Inventors:
Simon Gaulter, Hertfordshire, GB;
Thomas Ferrere, Hertfordshire, GB;
Faizan Nazar, Hertfordshire, GB;
Sam Elliott, London, GB;
Assignee:
Imagination Technologies Limited, Kings Langley, GB;
Attorneys:
Primary Examiner:
Assistant Examiner:
Int. Cl.
CPC ...
G06F 30/30 (2020.01); G06F 30/33 (2020.01);
U.S. Cl.
CPC ...
G06F 30/33 (2020.01);
Abstract
Methods and systems of verifying a hardware design for a sorter are disclosed. The methods include generating a modified version of the hardware design of the sorter accepting extended inputs and performing formal verification comprising: implementing a constraint that the least significant bits of each input in a set of extended inputs represent a unique value; and formally verifying aspects of the modified version of the hardware design of the sorter for the set of extended inputs.