Maayan Ziv

Follow

Person

Haifa, IL

People

Patents Grantslast 30 patents

Information Patent Grant
Unreachable cover root cause search
- Patent number 11,138,355
- Issue date Oct 5, 2021
- Cadence Design Systems, Inc.
- Craig Franklin Deaton
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for combined formal static analysis of a design code
- Patent number 10,803,219
- Issue date Oct 13, 2020
- Cadence Design Systems, Inc.
- Maayan Ziv
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System, method, and computer program product for debugging one or m...
- Patent number 10,769,333
- Issue date Sep 8, 2020
- Cadence Design Systems, Inc.
- Maayan Ziv
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System, method, and computer program product for grouping one or mo...
- Patent number 10,599,797
- Issue date Mar 24, 2020
- Cadence Design Systems, Inc.
- Nizar Hanna
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System, method, and computer program product for ranking and displa...
- Patent number 10,546,084
- Issue date Jan 28, 2020
- Cadence Design Systems, Inc.
- Nizar Hanna
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for computerized debugging assertions
- Patent number 10,261,887
- Issue date Apr 16, 2019
- Cadence Design Systems, Inc.
- Yonatan Ashkenazi
- G06 - COMPUTING CALCULATING COUNTING