Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Method for scalable derivation of an implication-based reachable state set overapproximation

Method for scalable derivation of an implication-based reachable state set overapproximation

US Patent 8201117 · Granted Jun 12, 2012

Estimated economic value: $5,600,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Equivalence checking of synthesized logic designs using generated synthesis hist2025
Detection of unintended dependencies in hardware designs with pseudo-random numb2023
Scalable connectivity verification using conditional cut-points2021
Grouping and partitioning of properties for logic verification2020
Methods and systems for efficient identification of glitch failures in integrate2020
Initial-state and next-state value folding2020
Scalable connectivity verification using conditional cut-points2020
Verification complexity reduction via range-preserving input-to-constant convers2020
Scalable liveness verification2019
System and method to reduce human activity damage-induced power outage2019
Adaptive bug-search depth for simple and deep counterexamples2019
Adaptive bug-search depth for simple and deep counterexamples2019