Max Chvalevsky

Follow

Person

Mevaseret Zion, IL

People

Patents Grantslast 30 patents

Information Patent Grant
Extending cover properties in formal verification to generate failu...
- Patent number 12,361,195
- Issue date Jul 15, 2025
- Amazon Technologies, Inc.
- Hani Assaf
- G06 - COMPUTING CALCULATING COUNTING
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