Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Methods and systems to discover special outcomes in an instruction set architecture via formal methods

Methods and systems to discover special outcomes in an instruction set architecture via formal methods

US Patent 11853195 · Granted Dec 26, 2023

Estimated economic value: $6,691,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Hardware-based implementation of secure hash algorithms2025
Reservation mechanism for nodes with phase constraints2025
Hardware-based message block padding for hash algorithms2025
Reservation mechanism for node with token constraints for preventing node starva2025
Systems and methods for dynamic control of a secure mode of operation in a proce2025
Comparing hash values computed at function entry and exit for increased security2024
Secure memory isolation for secure endpoints2024
Method and system for on demand control of hardware support for software pointer2024
Systems and methods for dynamic control of a secure mode of operation in a proce2023
Test error scenario generation for computer processing system components2023
Detection of unintended dependencies in hardware designs with pseudo-random numb2023
Converting formal verification testbench drivers with nondeterministic inputs to2023