US Patent Issued to Imagination Technologies on May 27 for "Method and system for verifying a sorter" (British Inventors)

ALEXANDRIA, Va., June 17 -- United States Patent no. 12,314,645, issued on May 27, was assigned to Imagination Technologies Ltd. (Kings Langley, Great Britain).

"Method and system for verifying a sorter" was invented by Simon Gaulter (Hertfordshire, Great Britain), Thomas Ferrere (Hertfordshire, Great Britain), Faizan Nazar (Hertfordshire, Great Britain) and Sam Elliott (London).

According to the abstract* released by the U.S. Patent & Trademark Office: "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 significa...