Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Determining invariants in a model

Determining invariants in a model

US Patent 8996435 · Granted Mar 31, 2015

Estimated economic value: $4,156,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
Hardware verification based on relations between coverage events2021
Grouping and partitioning of properties for logic verification2020
User authentication based on predictive applications2020
Verification complexity reduction via range-preserving input-to-constant convers2020
Verifying sequential equivalence for randomly initialized designs2020
Scalable liveness verification2019
Method, system and product for using a predictive model to predict if inputs rea2019
Transaction authentication based on metadata2019
Scalable logic verification by identifying unate primary inputs2018
Scalable logic verification by identifying unate primary inputs2018