Inventor · disambiguated record
Maayan Ziv
Also filed as: ZIV MAAYAN
7 granted patents·7 citations·filing 2017–2021
75Inventor score
Top patents by PatentIndex Score
7 records- 0168US10803219B1Method and system for combined formal static analysis of a design codeCADENCE DESIGN SYSTEMS INC·Filed 2019·Granted Oct 13, 2020·2 cites·20 claims
- 0267US10599797B1System, method, and computer program product for grouping one or more failures in a formal verificationCADENCE DESIGN SYSTEMS INC·Filed 2017·Granted Mar 24, 2020·2 cites·17 claims
- 0367US10261887B1Method and system for computerized debugging assertionsCADENCE DESIGN SYSTEMS INC·Filed 2017·Granted Apr 16, 2019·1 cites·10 claims
- 0463US10769333B1System, method, and computer program product for debugging one or more observable failures in a formal verificationCADENCE DESIGN SYSTEMS INC·Filed 2018·Granted Sep 8, 2020·1 cites·14 claims
- 0560US10546084B1System, method, and computer program product for ranking and displaying violations in an electronic designCADENCE DESIGN SYSTEMS INC·Filed 2017·Granted Jan 28, 2020·1 cites·17 claims
- 0646US11138355B1Unreachable cover root cause searchCADENCE DESIGN SYSTEMS INC·Filed 2020·Granted Oct 5, 2021·0 cites·20 claims
- 0739US12080007B2Automated accessibilty assessment and rating system and method thereof2490196 ONTARIO INC·Filed 2021·Granted Sep 3, 2024·0 cites·20 claims
Join the waitlist — get patent alerts
Get an alert when Maayan Ziv files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →