Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Scalable formal security verification of circuit designs

Scalable formal security verification of circuit designs

US Patent 11556676 · Granted Jan 17, 2023

Estimated economic value: $84,456,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
Accelerating formal property verification across design versions using sequentia2022
Efficient mechanism of fault qualification using formal verification2020
Deep insight for debug using internal equivalence visualization and counter-exam2019
Apparatus to achieve quality of service (QOS) without requiring fabric speedup2018
Sequential structure extraction by functional specification2017
Formal verification of temporal properties expressed using local variables2016
Apparatus to achieve quality of service (QoS) without requiring fabric speedup2016
Equivalence checking using structural analysis on data flow graphs2014
Formally checking equivalence using equivalence relationships2013
Methods and systems for reducing verification conditions for concurrent programs2013
Formal equivalence checking between two models of a circuit design using checkpo2012