Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Formal equivalence checking between two models of a circuit design using checkpoints

Formal equivalence checking between two models of a circuit design using checkpoints

US Patent 8201119 · Granted Jun 12, 2012

Estimated economic value: $7,891,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Scalable formal security verification of circuit designs2023
Efficient mechanism of fault qualification using formal verification2020
Formally checking equivalence using equivalence relationships2013
Method and apparatus for performing formal verification using data-flow graphs2011
Method and apparatus for formally checking equivalence using equivalence relatio2011
Formally proving the functional equivalence of pipelined designs containing memo2010
Method and apparatus for production of data-flow-graphs by symbolic simulation2009
Method and apparatus for performing formal verification using data-flow graphs2009
Method and apparatus for formally comparing stream-based designs2009
Formally proving the functional equivalence of pipelined designs containing memo2008
Method and apparatus for formally checking equivalence using equivalence relatio2008
Method and apparatus for initial state extraction2007