Uri Leder — 14 Patents at Amazon

Uri Leder has been granted 14 US patents while listed as an inventor at Amazon. The first was granted in 1985 and the most recent in July 2025. Uri Leder ranks #332,869 of 4,157,543 US inventors in our database (top 8.0%). Patent records list Uri Leder in Timrat, CA, IL.

Issued Patents All Time

Showing 1–14 of 14 patents

Patent #	Title	Co-Inventors	Date	Approx Value ⓘ
12361195	Extending cover properties in formal verification to generate failure traces that reach end-of-test	Hani Assaf, Max Chvalevsky, Yefim Fainstein	2025-07-15
12306719	Link down resilience	Roi Ben Haim, Guy Nakibly, Sergey Kleyman, Ariel Pescovsky, Muhamad Grefat	2025-05-20
12271669	Executing instruction sequences generated from software interactions as part of formal verification of a design under test	Ori Ariel, Assaf Fainer, Simaan Bahouth, Max Chvalevsky, Itai Kahana	2025-04-08
12175178	Fuzzy scoreboard	Max Chvalevsky	2024-12-24	$349,111,000
11768990	Interconnect flow graph for integrated circuit design	Ori Ariel, Max Chvalevsky, Benzi Denkberg, Guy Nakibly	2023-09-26	$315,766,000
11544436	Hardware-software interaction testing using formal verification	Ori Cohen, Benzi Denkberg, Max Chvalevsky	2023-01-03	$177,580,000
11182103	Dedicated communications cache	Itai Avron, Adi Habusha, Svetlana Kantorovych	2021-11-23	$277,323,000
10929584	Environmental modification testing for design correctness with formal verification	Benzi Denkberg, Ori Weber	2021-02-23	$259,688,000
10911358	Packet processing cache	Guy Nakibly, Benzi Denkberg, Erez Izenberg, Nafea Bshara, Ofer Frishman	2021-02-02	$198,978,000
10839124	Interactive compilation of software to a hardware language to satisfy formal verification constraints	Adi Habusha, Ofer Naaman, Tzachi Zidenberg, Ohad Gdalyahu	2020-11-17	$333,504,000
10298496	Packet processing cache	Guy Nakibly, Benzi Denkberg, Erez Izenberg, Nafea Bshara, Ofer Frishman	2019-05-21	$97,494,000
10228869	Controlling shared resources and context data	Guy Nakibly, Benzi Denkberg, Ofer Frishman, Erez Izenberg, Nafea Bshara	2019-03-12	$137,472,000
RE32700	Convertible platen for graphics plotter	Pernie E. Westly	1988-06-21
4512505	Convertible platen for graphics plotter	Pernie E. Westly	1985-04-23	$1,596,000

Uri Leder — 14 Patents

Issued Patents All Time

Patent Widget