Inventor · disambiguated record
Nizar Hanna
Also filed as: HANNA NIZAR
5 granted patents·4 citations·filing 2017–2020
66Inventor score
Technology areasG06F
Files withCADENCE DESIGN SYSTEMS INC5
Top patents by PatentIndex Score
5 records- 0167US10599797B1System, 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
- 0263US10769333B1System, 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
- 0360US10546084B1System, 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
- 0446US11138355B1Unreachable cover root cause searchCADENCE DESIGN SYSTEMS INC·Filed 2020·Granted Oct 5, 2021·0 cites·20 claims
- 0543US10452798B1System, method, and computer program product for filtering one or more failures in a formal verificationCADENCE DESIGN SYSTEMS INC·Filed 2017·Granted Oct 22, 2019·0 cites·20 claims
Join the waitlist — get patent alerts
Get an alert when Nizar Hanna 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 →