Ziv Nevo  Ziv Nevo photo       

contact information

Research staff member
Haifa Research Lab, Haifa, Israel
  +972dash4dash829dash6535

links



2017

Cost-Effective Analysis of Post-Silicon Functional Coverage Events
Farimah Farahmandi, Ronny Morad, Avi Ziv, Ziv Nevo, Prabhat Mishra
Design Automation and Test in Europe, 2017
Abstract


2015

Designer-level verification: an industrial experience story
Stephen Bergman, Gabor Bobok, Walter Kowalski, Shlomit Koyfman, Shiri Moran, Ziv Nevo, Avigail Orni, Viresh Paruthi, Wolfgang Roesner, Gil Shurek, Vasantha Vuyyuru
Proceedings of the 2015 Design, Automation \& Test in Europe Conference \& Exhibition, DATE 2015, Grenoble, France, March 9-13, 2015, pp. 410--411


2013

Generalized Counterexamples to Liveness Properties
Gadi Aleksandrowicz, Jason Baumgartner, Alexander Ivrii, Ziv Nevo
Formal Methods in Computer-Aided Design, IEEE, ACM, 2013


2011

Incremental Formal Verification of Hardware
Hana Chockler, Alexander Ivrii, Arie Matsliah, Shiri Moran, Ziv Nevo
FMCAD 2011

TAB-BackSpace: unlimited-length trace buffers with zero additional on-chip overhead
F M Paula de, A Nahir, Z Nevo, A Orni, A J Hu
Design Automation Conference (DAC), 2011 48th, pp. 411--416, ACM/EDAC/IEEE


2009

User-friendly model checking: Automatically configuring algorithms with RuleBase/PE
Z Nevo
Hardware and Software: Verification and Testing, 210--214, Springer, 2009


2006

Distributed dynamic BDD reordering
Z Nevo, M Farkash
Design Automation Conference, 2006 43rd, pp. 223--228, ACM/IEEE


2003

On online learning of decision lists
Ziv Nevo, Ran El-Yaniv
J. Mach. Learn. Res.3, 271--301, JMLR.org, 2003
Abstract


2001