INTERNATIONAL PATENT: SHANGHAITECH UNIVERSITY, 上海科技大学 FILES APPLICATION FOR "FORMAL VERIFICATION METHOD FOR REALIZING OPTIMIZED MULTIPLIER BY COOPERATION OF SCA AND SAT"

GENEVA, July 28 -- SHANGHAITECH UNIVERSITY (393 Middle Huaxia RoadPudong New Area, Shanghai 201210), 上海科技大学 (中国上海市浦东新区华夏中路393号) filed a patent application (PCT/CN2024/085485) for "FORMAL VERIFICATION METHOD FOR REALIZING OPTIMIZED MULTIPLIER BY COOPERATION OF SCA AND SAT" on Apr 02, 2024. With publication no. WO/2025/152272, the details related to the patent application was published on Jul 24, 2025.

Notably, the patent application was submitted under the International Patent Classification (IPC) system, which is managed by the World Intellectual Property Organization (WIPO).

Inventor(s): LI, Rui (393...