Follow
Ziv Nevo
Ziv Nevo
Senior Research Scientist, IBM Research - Israel
Verified email at il.ibm.com - Homepage
Title
Cited by
Cited by
Year
Incremental formal verification of hardware
H Chockler, A Ivrii, A Matsliah, S Moran, Z Nevo
2011 Formal Methods in Computer-Aided Design (FMCAD), 135-143, 2011
772011
Cost-effective analysis of post-silicon functional coverage events
F Farahmandi, R Morad, A Ziv, Z Nevo, P Mishra
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017 …, 2017
38*2017
TAB-BackSpace: Unlimited-length trace buffers with zero additional on-chip overhead
FM de Paula, A Nahir, Z Nevo, A Orni, AJ Hu
Proceedings of the 48th Design Automation Conference, 411-416, 2011
372011
System for quickly specifying formal verification environments
G Auerbach, M Gal, Z Nevo
US Patent 8,127,261, 2012
202012
On online learning of decision lists
Z Nevo, R El-Yaniv
Journal of Machine Learning Research 3 (Oct), 271-301, 2002
192002
Formal verification of models using concurrent model-reduction and model-checking
E Arbel, S Flur, Z Nevo, M Shamis
US Patent 8,244,516, 2012
172012
Distributed dynamic BDD reordering
Z Nevo, M Farkash
Proceedings of the 43rd annual Design Automation Conference, 223-228, 2006
142006
Incremental formal verification
H Chockler, A Ivrii, A Matsliah, S Moran, Z Nevo
US Patent 8,996,339, 2015
122015
Distributed BDD reordering
M Farkash, Z Nevo
US Patent 7,131,085, 2006
112006
Simulation System with Guided Backtracking
I Beer, E Bin, D Geist, Z Nevo, GE Shurek, A Ziv
US Patent App. 11/534,238, 2008
82008
Automatic Scalable System for the Coverage-Directed Generation (CDG) Problem
R Gal, E Haber, W Ibraheem, B Irwin, Z Nevo, A Ziv
2021 Design, Automation & Test in Europe Conference & Exhibition (DATE), 206-211, 2021
72021
Method and apparatus for testing
G Bobok, S Koyfman, S Moran, Z Nevo, G Shurek
US Patent 9,286,426, 2016
72016
Model checking of liveness property in a phase abstracted model
JR Baumgartner, S Flur, Z Nevo, PJ Roessler
US Patent 8,627,273, 2014
52014
INFERRING CLOUD NETWORK CONNECTIVITY AS A MINIMAL LIST OF FIREWALL RULES
A Sosnovich, Z Nevo, GE Shurek, S Doron, KF Yorav
US Patent App. 17/643,009, 2023
42023
Sequencing by hybridization-a simulation study of performance on genomic sequences
D Lipson, Z Nevo, A Frank, D Dotan, Z Yakhini
Proc. ISMB, poster session, 2001
42001
Model generation based on a constraint and an initial model
SK Barner, S Moran, Z Nevo, S Ruah, T Veksler
US Patent 8,352,234, 2013
32013
User-friendly model checking: Automatically configuring algorithms with rulebase/pe
Z Nevo
Hardware and Software: Verification and Testing: 4th International Haifa …, 2009
32009
Enforceable contract generation
S Nadler, Z Nevo, KF Yorav, R Shlomo, T Solomon
US Patent 11,321,792, 2022
22022
k-FAIR= k-LIVENESS+ FAIR revisiting SAT-based liveness algorithms
A Ivrii, Z Nevo, J Baumgartner
2018 Formal Methods in Computer Aided Design (FMCAD), 1-5, 2018
22018
Generalized counterexamples to liveness properties
G Aleksandrowicz, J Baumgartner, A Ivrii, Z Nevo
2013 Formal Methods in Computer-Aided Design, 169-172, 2013
22013
The system can't perform the operation now. Try again later.
Articles 1–20