Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Proof based bounded model checking

Proof based bounded model checking

US Patent 8201116 · 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
Optimization of arithmetic expressions2024
Business change detection from street level imagery2021
Hardware verification based on relations between coverage events2021
Grouping and partitioning of properties for logic verification2020
Verification complexity reduction via range-preserving input-to-constant convers2020
Verifying sequential equivalence for randomly initialized designs2020
Symbolic execution of alternative branches2019
Scalable liveness verification2019
Business change detection from street level imagery2019
Scalable logic verification by identifying unate primary inputs2018
Scalable logic verification by identifying unate primary inputs2018