Ziv Nevo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
3
Active years
2006–2021
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | DATE | Automatic Scalable System for the Coverage-Directed Generation (CDG) Problem. | Raviv Gal, Eldad Haber, Wesam Ibraheem, Brian Irwin, Ziv Nevo, Avi Ziv |
| 2020 | DAC | Late Breaking Results: FRIENDS - Finding Related Interesting Events via Neighbor Detection. | Raviv Gal, Haim Kermany, Alexander Ivrii, Ziv Nevo, Avi Ziv |
| 2018 | FMCAD | k-FAIR = k-LIVENESS + FAIR Revisiting SAT-based Liveness Algorithms. | Alexander Ivrii, Ziv Nevo, Jason Baumgartner |
| 2017 | DATE | Cost-effective analysis of post-silicon functional coverage events. | Farimah Farahmandi, Ronny Morad, Avi Ziv, Ziv Nevo, Prabhat Mishra |
| 2015 | DATE | 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 |
| 2013 | FMCAD | Generalized counterexamples to liveness properties. | Gadi Aleksandrowicz, Jason Baumgartner, Alexander Ivrii, Ziv Nevo |
| 2011 | DAC | TAB-BackSpace: unlimited-length trace buffers with zero additional on-chip overhead. | Flavio M. de Paula, Amir Nahir, Ziv Nevo, Avigail Orni, Alan J. Hu |
| 2011 | FMCAD | Incremental formal verification of hardware. | Hana Chockler, Alexander Ivrii, Arie Matsliah, Shiri Moran, Ziv Nevo |
| 2006 | DAC | Distributed dynamic BDD reordering. | Ziv Nevo, Monica Farkash |