Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Livelock recovery circuit for detecting illegal repetition of an instruction and transitioning to a known state

Livelock recovery circuit for detecting illegal repetition of an instruction and transitioning to a known state

US Patent 11847456 · Granted Dec 19, 2023

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
Detecting out-of-bounds violations in a hardware design using formal verificatio2023