PATLY.AI
Patent AnalyticsExaminers
Menu
ExaminersSearch
Rankings
InventorsThe most prolific and the fastest-rising inventorsPlacesCities and countries with the most patentsCompaniesEvery company and institution that filesLaw firmsEvery firm and agent that prosecutesExaminer leaderboardsExaminers ranked on every measure
More
TrendsOfficeCompare

Application

18967676 · Method for Implementing Formal Verification of Optimized Multiplier via SCA-SAT Synergy

Save

Filed 2024-12-04 · Granted · Patent 12292946 (2025-05-06) The official file ↗The patent and its PDF ↗ · Art unit 2182 · Examiner Tan V Mai Easy · CPC G06F 17/16 · SHANGHAITECH UNIVERSITY · Bayramoglu Law Offices LLC

Office actions
0
first was Notice of allowance
RCEs
0
no appeal
To first action
3.0 mo
to disposition 5.0 mo
Statutes raised
·
0 actions read
Unlock the prosecution timelineIncluded in Pro, from $29 a month. Cancel any time.

See plans Sign in