Inventor
NEVO ZIV
IL14 patents
⚠️ This page may combine multiple inventors who share the name “NEVO ZIV”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
IBM
8 patentsUS10984159B1Apr 20, 2021
Hardware verification based on relations between coverage events
IBM3 citations69
US9286426B2Mar 15, 2016
Method and apparatus for testing
IBM3 citations69
US7131085B2Oct 31, 2006
Distributed BDD reordering
IBM2 citations60
US12418508B2Sep 16, 2025
Inferring cloud network connectivity as a minimal list of firewall rules
IBM0 citations56
US8352234B2Jan 8, 2013
Model generation based on a constraint and an initial model
IBM0 citations49
US11321792B2May 3, 2022
Enforceable contract generation
IBM0 citations48
US10572624B2Feb 25, 2020
Modified design debugging using differential trace back
IBM0 citations38
US10540469B2Jan 21, 2020
Verifying sequential equivalence for randomly initialized designs
IBM0 citations37