Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Enhanced case-splitting based property checking

Enhanced case-splitting based property checking

US Patent 8997030 · Granted Mar 31, 2015

Estimated economic value: $4,156,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

System design using accurate performance models2020
Methods and systems for efficient identification of glitch failures in integrate2020
Adaptive bug-search depth for simple and deep counterexamples2019
System design using accurate performance models2019
Adaptive bug-search depth for simple and deep counterexamples2019
Three-dimensional processing system having at least one layer with circuitry ded2017
3-D stacked multiprocessor structure with vertically aligned identical layout op2017
Method for scalable liveness verification via abstraction refinement2016
3-D stacked multiprocessor structures and methods for multimodal operation of sa2016
System and program product for scalable liveness verification via abstraction re2016
3-D stacked multiprocessor structures and methods for multimodal operation of sa2016
Three-dimensional processing system having independent calibration and statistic2016