Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Model checking of liveness property in a phase abstracted model

Model checking of liveness property in a phase abstracted model

US Patent 8627273 · Granted Jan 7, 2014

Estimated economic value: $4,729,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
Inferring cloud network connectivity as a minimal list of firewall rules2025
Detection of unintended dependencies in hardware designs with pseudo-random numb2023
Enforceable contract generation2022
Hardware verification based on relations between coverage events2021
Scalable connectivity verification using conditional cut-points2021
Grouping and partitioning of properties for logic verification2020
Initial-state and next-state value folding2020
Scalable connectivity verification using conditional cut-points2020
Modified design debugging using differential trace back2020
Verification complexity reduction via range-preserving input-to-constant convers2020
Verifying sequential equivalence for randomly initialized designs2020