Ziv Nevo  Ziv Nevo photo       

contact information

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

links



2014

METHOD AND APPARATUS FOR TESTING
Gabor Bobok, Shlomit Koyfman, Shiri Moran, Ziv Nevo, Gil Shurek
US Patent 9286426


2011

INCREMENTAL FORMAL VERIFICATION
Hana Chockler, Alexander Ivrii, Arie Matsliah, Shiri Moran, Ziv Nevo
US Patent 8996339


2009

DETECTION OF DESIGN REDUNDANCY
S Flur, Z Nevo
US Patent 8554522

MODEL CHECKING OF LIVENESS PROPERTY IN A PHASE ABSTRACTED MODEL
J R Baumgartner, S Flur, Z Nevo, P J Roessler
US Patent 8627273


MODEL GENERATION BASED ON A CONSTRAINT AND AN INITIAL MODEL
S Keidar-Barner, S Moran, Z Nevo, S Ruah, T Veksler
US Patent 8352234


2008



2006

Simulation System with Guided Backtracking
I Beer, E Bin, D Geist, Z Nevo, G E Shurek, A Ziv
US Patent App. 11/534,238


2004

Distributed BDD reordering
M Farkash, Z Nevo
US Patent 7131085