Inventor
LEDER URI
IL13 patents
⚠️ This page may combine multiple inventors who share the name “LEDER URI”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
AMAZON TECH INC
12 patentsUS10298496B1May 21, 2019
Packet processing cache
AMAZON TECH INC32 citations93
US10228869B1Mar 12, 2019
Controlling shared resources and context data
AMAZON TECH INC16 citations84
US10929584B1Feb 23, 2021
Environmental modification testing for design correctness with formal verification
AMAZON TECH INC7 citations82
US10839124B1Nov 17, 2020
Interactive compilation of software to a hardware language to satisfy formal verification constraints
AMAZON TECH INC7 citations82
US11544436B1Jan 3, 2023
Hardware-software interaction testing using formal verification
AMAZON TECH INC4 citations71
US10911358B1Feb 2, 2021
Packet processing cache
AMAZON TECH INC2 citations71
US11182103B1Nov 23, 2021
Dedicated communications cache
AMAZON TECH INC1 citations60
US12175178B1Dec 24, 2024
Fuzzy scoreboard
AMAZON TECH INC0 citations48
US11768990B1Sep 26, 2023
Interconnect flow graph for integrated circuit design
AMAZON TECH INC0 citations46
US12306719B1May 20, 2025
Link down resilience
AMAZON TECH INC0 citations45
US12271669B1Apr 8, 2025
Executing instruction sequences generated from software interactions as part of formal verification of a design under test
AMAZON TECH INC0 citations41
US12361195B1Jul 15, 2025
Extending cover properties in formal verification to generate failure traces that reach end-of-test
AMAZON TECH INC0 citations40