Inventor · disambiguated record
Ziv Nevo
Also filed as: NEVO ZIV
14 granted patents·4 pending applications·45 citations·filing 2004–2023
88Inventor score
Top patents by PatentIndex Score
18 records- 0188US10984159B1Hardware verification based on relations between coverage eventsIBM·Filed 2020·Granted Apr 20, 2021·3 cites·20 claims
- 0282US8127261B2System for quickly specifying formal verification environmentsAUERBACH GADIEL·Filed 2009·Granted Feb 28, 2012·19 cites·22 claims
- 0372US8996339B2Incremental formal verificationCHOCKLER HANA·Filed 2011·Granted Mar 31, 2015·4 cites·17 claims
- 0470US9286426B2Method and apparatus for testingIBM·Filed 2014·Granted Mar 15, 2016·3 cites·18 claims
- 0567US8244516B2Formal verification of models using concurrent model-reduction and model-checkingARBEL ELI·Filed 2008·Granted Aug 14, 2012·8 cites·14 claims
- 0666US8417507B2Formal verification of models using concurrent model-reduction and model-checkingARBEL ELI·Filed 2012·Granted Apr 9, 2013·2 cites·18 claims
- 0760US8627273B2Model checking of liveness property in a phase abstracted modelBAUMGARTNER JASON RAYMOND·Filed 2009·Granted Jan 7, 2014·4 cites·20 claims
- 0851US12418508B2Inferring cloud network connectivity as a minimal list of firewall rulesIBM·Filed 2021·Granted Sep 16, 2025·0 cites·12 claims
- 0951US11321792B2Enforceable contract generationIBM·Filed 2020·Granted May 3, 2022·0 cites·20 claims
- 1050US8352234B2Model generation based on a constraint and an initial modelIBM·Filed 2009·Granted Jan 8, 2013·0 cites·24 claims
- 1149US7131085B2Distributed BDD reorderingIBM·Filed 2004·Granted Oct 31, 2006·2 cites·18 claims
- 1249US2024323087A1Generating optimized custom data planesIBM·Filed 2023·Application pending·0 cites
- 1344US10540469B2Verifying sequential equivalence for randomly initialized designsIBM·Filed 2017·Granted Jan 21, 2020·0 cites·19 claims
- 1442US10572624B2Modified design debugging using differential trace backIBM·Filed 2018·Granted Feb 25, 2020·0 cites·20 claims
- 1541US8554522B2Detection of design redundancyFLUR SHAKED·Filed 2009·Granted Oct 8, 2013·0 cites·14 claims
- 1641US2008132168A1Portable communication device with detachable wireless headsetSEGEV GIL·Filed 2006·Application pending·0 cites
- 1740US2008126063A1Simulation System with Guided BacktrackingBEER ILAN·Filed 2006·Application pending·0 cites
- 1825US2017150110A1Projecting an image on an irregularly shaped display surfaceNEVO ZIV·Filed 2015·Application pending·0 cites
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →