Ziv Nevo

According to our database, Ziv Nevo authored at least 11 papers between 2002 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2021

Automatic Scalable System for the Coverage-Directed Generation (CDG) Problem.

Raviv Gal, Eldad Haber, Wesam Ibraheem, Brian Irwin, Ziv Nevo, Avi Ziv

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

2020

Late Breaking Results: FRIENDS - Finding Related Interesting Events via Neighbor Detection.

Raviv Gal, Haim Kermany, Alexander Ivrii, Ziv Nevo, Avi Ziv

Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

2018

k-FAIR = k-LIVENESS + FAIR Revisiting SAT-based Liveness Algorithms.

Alexander Ivrii, Ziv Nevo, Jason Baumgartner

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

2017

Cost-effective analysis of post-silicon functional coverage events.

Farimah Farahmandi, Ronny Morad, Avi Ziv, Ziv Nevo, Prabhat Mishra

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

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, 2015

2013

Generalized counterexamples to liveness properties.

Gadi Aleksandrowicz, Jason Baumgartner, Alexander Ivrii, Ziv Nevo

Proceedings of the Formal Methods in Computer-Aided Design, 2013

2011

Incremental formal verification of hardware.

Hana Chockler, Alexander Ivrii, Arie Matsliah, Shiri Moran, Ziv Nevo

Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 2011

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

Proceedings of the 48th Design Automation Conference, 2011

2008

User-Friendly Model Checking: Automatically Configuring Algorithms with RuleBase/PE.

Ziv Nevo

Proceedings of the Hardware and Software: Verification and Testing, 2008

2006

Distributed dynamic BDD reordering.

Ziv Nevo, Monica Farkash

Proceedings of the 43rd Design Automation Conference, 2006

2002

On Online Learning of Decision Lists.

Ziv Nevo, Ran El-Yaniv

J. Mach. Learn. Res., 2002