Uri Leder

Person

Lotem, IL

People

Patents Grantslast 30 patents

Information Patent Grant
Executing instruction sequences generated from software interaction...
- Patent number 12,271,669
- Issue date Apr 8, 2025
- Amazon Technologies, Inc.
- Uri Leder
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Fuzzy scoreboard
- Patent number 12,175,178
- Issue date Dec 24, 2024
- Amazon Technologies, Inc.
- Max Chvalevsky
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Interconnect flow graph for integrated circuit design
- Patent number 11,768,990
- Issue date Sep 26, 2023
- Amazon Technologies, Inc.
- Uri Leder
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Hardware-software interaction testing using formal verification
- Patent number 11,544,436
- Issue date Jan 3, 2023
- Amazon Technologies, Inc.
- Uri Leder
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Dedicated communications cache
- Patent number 11,182,103
- Issue date Nov 23, 2021
- Amazon Technologies, Inc.
- Itai Avron
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Environmental modification testing for design correctness with form...
- Patent number 10,929,584
- Issue date Feb 23, 2021
- Amazon Technologies, Inc.
- Benzi Denkberg
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Packet processing cache
- Patent number 10,911,358
- Issue date Feb 2, 2021
- Amazon Technologies, Inc.
- Guy Nakibly
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Interactive compilation of software to a hardware language to satis...
- Patent number 10,839,124
- Issue date Nov 17, 2020
- Amazon Technologies, Inc.
- Uri Leder
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Packet processing cache
- Patent number 10,298,496
- Issue date May 21, 2019
- Amazon Technologies, Inc.
- Guy Nakibly
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Controlling shared resources and context data
- Patent number 10,228,869
- Issue date Mar 12, 2019
- Amazon Technologies, Inc.
- Guy Nakibly
- G06 - COMPUTING CALCULATING COUNTING

Person

Patents Grantslast 30 patents

Executing instruction sequences generated from software interaction...

Fuzzy scoreboard

Interconnect flow graph for integrated circuit design

Hardware-software interaction testing using formal verification

Dedicated communications cache

Environmental modification testing for design correctness with form...

Packet processing cache

Interactive compilation of software to a hardware language to satis...

Packet processing cache

Controlling shared resources and context data