Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Dynamic power measurement using formal

Dynamic power measurement using formal

US Patent 10359825 · Granted Jul 23, 2019

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Out-of-bounds recovery circuit2025
Out-of-bounds recovery circuit2025
Assessing performance of a hardware design using formal evaluation logic2024
Assessing performance of a hardware design using formal evaluation logic2024
Detecting out-of-bounds violations in a hardware design using formal verificatio2024
Detecting out-of-bounds violations in a hardware design using formal verificatio2024
Livelock detection in a hardware design using formal evaluation logic2024
Livelock detection in a hardware design using formal evaluation logic2024
Verifying firmware binary images using a hardware design and formal assertions2024
Formal verification tool to verify hardware design of memory unit2024
Formal verification tool to verify hardware design of memory unit2024
Livelock recovery circuit for detecting illegal repetition of an instruction and2023