Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Functional verification of power gated designs by compositional reasoning

Functional verification of power gated designs by compositional reasoning

US Patent 8086972 · Granted Dec 27, 2011

Estimated economic value: $5,499,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Inferring cloud network connectivity as a minimal list of firewall rules2025
Enforceable contract generation2022
Model-driven and automated system for shared resource solution design2021
System level test generation using DNN translation from unit level test2021
Feature vector aggregation for malware detection2020
Verification of UML state machines2016
Dominant-state-based coverage metric2014
Software equivalence checking2014
Automatic parity checking identification2013
Reducing observability of memory elements in circuits2013
Reducing observability of memory elements in circuits2013
Soft error verification in hardware designs2013