Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Equivalence checking using structural analysis on data flow graphs

Equivalence checking using structural analysis on data flow graphs

US Patent 8914758 · Granted Dec 16, 2014

Estimated economic value: $5,196,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Performing automatic sign-off for clock gating verification using toggle cover p2025
Scalable formal security verification of circuit designs2023
Accelerating formal property verification across design versions using sequentia2022
Deep insight for debug using internal equivalence visualization and counter-exam2019
Invariant sharing to speed up formal verification2019
Apparatus to achieve quality of service (QOS) without requiring fabric speedup2018
Equivalence checking between two or more circuit designs that include square roo2018
Elimination of illegal states within equivalence checking2016
Apparatus to achieve quality of service (QoS) without requiring fabric speedup2016
Equivalence checking between two or more circuit designs that include division c2015
Formal verification of bit-serial division and bit-serial square-root circuit de2014
Formally checking equivalence using equivalence relationships2013