Ziv Nevo

Publication Activity (10 Years)

Years Active: 2002-2021
Publications (10 Years): 5

Top Topics

Industrial Applications

Topological Properties

Interesting Events

Top Venues

Publications

Raviv Gal, Eldad Haber, Wesam Ibraheem, Brian Irwin, Ziv Nevo, Avi Ziv
Automatic Scalable System for the Coverage-Directed Generation (CDG) Problem. DATE (2021)
Raviv Gal, Haim Kermany, Alexander Ivrii, Ziv Nevo, Avi Ziv
Late Breaking Results: FRIENDS - Finding Related Interesting Events via Neighbor Detection. DAC (2020)
Alexander Ivrii, Ziv Nevo, Jason Baumgartner
k-FAIR = k-LIVENESS + FAIR Revisiting SAT-based Liveness Algorithms. FMCAD (2018)
Farimah Farahmandi, Ronny Morad, Avi Ziv, Ziv Nevo, Prabhat Mishra
Cost-effective analysis of post-silicon functional coverage events. DATE (2017)
Stephen Bergman, Gabor Bobok, Walter Kowalski, Shlomit Koyfman, Shiri Moran, Ziv Nevo, Avigail Orni, Viresh Paruthi, Wolfgang Roesner, Gil Shurek, Vasantha Vuyyuru
Designer-level verification: an industrial experience story. DATE (2015)
Gadi Aleksandrowicz, Jason Baumgartner, Alexander Ivrii, Ziv Nevo
Generalized counterexamples to liveness properties. FMCAD (2013)
Hana Chockler, Alexander Ivrii, Arie Matsliah, Shiri Moran, Ziv Nevo
Incremental formal verification of hardware. FMCAD (2011)
Flavio M. de Paula, Amir Nahir, Ziv Nevo, Avigail Orni, Alan J. Hu
TAB-BackSpace: unlimited-length trace buffers with zero additional on-chip overhead. DAC (2011)
Ziv Nevo
User-Friendly Model Checking: Automatically Configuring Algorithms with RuleBase/PE. Haifa Verification Conference (2008)
Ziv Nevo, Monica Farkash
Distributed dynamic BDD reordering. DAC (2006)
Ziv Nevo, Ran El-Yaniv
On Online Learning of Decision Lists. J. Mach. Learn. Res. 3 (2002)