Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Formal verification of random priority-based arbiters using property strengthening and underapproximations

Formal verification of random priority-based arbiters using property strengthening and underapproximations

US Patent 8370553 · Granted Feb 5, 2013

Estimated economic value: $5,221,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Mapping pipeline run sources and targets in cloud infrastructures2025
Logical clock connection in an integrated circuit design2025
Predicting security response impact2024
Signal pre-routing in an integrated circuit design2024
Sharing insights between pre and post deployment to enhance cloud workload secur2024
Hydrocarbon extraction using solar energy2024
Predicting security response impact2023
Detection of unintended dependencies in hardware designs with pseudo-random numb2023
Methods and systems for identifying flaws and bugs in integrated circuits, for e2023
Genetic fuzzing for customization of security operations center rules per organi2023
Migrating infrastructure as code between different cloud providers2023
Converting formal verification testbench drivers with nondeterministic inputs to2023