Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Hardware-software interaction testing using formal verification

Hardware-software interaction testing using formal verification

US Patent 11544436 · Granted Jan 3, 2023

Estimated economic value: $177,580,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Configurable system counter based on a hardware clock frequency2025
Secure monitors for memory page protection2025
Extending cover properties in formal verification to generate failure traces tha2025
Extending cover properties in formal verification to generate failure traces tha2025
Link down resilience2025
Executing instruction sequences generated from software interactions as part of 2025
Executing instruction sequences generated from software interactions as part of 2025
Extending measured boot for secure link establishment2025
Combination boot for an integrated circuit2025
Secure monitors for memory page protection2025
Fuzzy scoreboard2024
Fuzzy scoreboard2024