Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Explaining partially illegal combinations in combinatorial models

Explaining partially illegal combinations in combinatorial models

US Patent 9454466 · Granted Sep 27, 2016

Estimated economic value: $3,712,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
Validating inter-partition communication in microservice decomposition2025
Optimization of arithmetic expressions2024
Hybrid clustering and pairwise comparison document matching2022
Method and apparatus for test modeling2021
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
Method and apparatus for test modeling2019
Scalable liveness verification2019
Scalable logic verification by identifying unate primary inputs2018