US Patent Issued to SHANGHAITECH UNIVERSITY on May 6 for "Method for implementing formal verification of optimized multiplier via SCA-SAT synergy" (Chinese Inventors)

ALEXANDRIA, Va., June 10 -- United States Patent no. 12,292,946, issued on May 6, was assigned to SHANGHAITECH UNIVERSITY (Shanghai).

"Method for implementing formal verification of optimized multiplier via SCA-SAT synergy" was invented by Rui Li (Shanghai), Lin Li (Shanghai) and Yajun Ha (Shanghai).

According to the abstract* released by the U.S. Patent & Trademark Office: "A method for implementing formal verification of an optimized multiplier via symbolic computer algebra (SCA)-satisfiability (SAT) synergy includes: systematically recovering, by a reverse engineering algorithm, an adder tree from an optimized multiplier; 2) generating, by a constraint satisfaction algorithm, a reference multiplier only by using an adder based on a con...