Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Verifying firmware binary images using a hardware design and formal assertions

Verifying firmware binary images using a hardware design and formal assertions

US Patent 11989299 · Granted May 21, 2024

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Out-of-bounds recovery circuit2025
Assessing performance of a hardware design using formal evaluation logic2024
Detecting out-of-bounds violations in a hardware design using formal verificatio2024
Livelock detection in a hardware design using formal evaluation logic2024
Formal verification tool to verify hardware design of memory unit2024
Livelock recovery circuit for detecting illegal repetition of an instruction and2023
Detecting out-of-bounds violations in a hardware design using formal verificatio2023
Out-of-bounds recovery circuit2023
Assessing performance of a hardware design using formal evaluation logic2022
Control path verification of hardware design for pipelined process2022
Livelock recovery circuit for detecting illegal repetition of an instruction and2022
Livelock detection in a hardware design using formal evaluation logic2022