Skip to content

Avi Ziv

  • PhD
  • Research Staff Member
  • IBM Haifa Research Labs
  • 15h-indexImpact measure calculated using publication and citation counts. Updated daily.
  • 866CitationsNumber of citations received by Avi's publications. Updated daily.

Other IDs

Research interests

Functional verification

Co-authors (119)

  • Nyasha Masamba
  • Joaquim Massapina
  • Michael Grant

Publications (5)

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

    • Farahmandi F
    • Morad R
    • Ziv A
    • et al.
    N/AReaders
    6Citations
    Get full text
  • Post-Silicon Validation in the SoC Era: A Tutorial Introduction

    • Mishra P
    • Morad R
    • Ziv A
    • et al.
    N/AReaders
    6Citations
    Get full text
  • Solving constraints on the invisible bits of the intermediate result for floating-point verification

    • Aharoni M
    • Asaf S
    • Maharik R
    • et al.
    N/AReaders
    5Citations
  • Solving the generalized mask constraint for test generation of binary floating point add operation

    • Ziv A
    • Fournier L
    N/AReaders
    8Citations
    Get full text
  • On the optimality and efficiency of common random numbers

    • Gal S
    • Rubinstein R
    • Ziv A
    N/AReaders
    7Citations
    Get full text

Professional experience

Research Staff Member

IBM

October 1996 - Present

Education

PhD

Stanford University

September 1992 - June 1995(3 years)

MSc

Stanford University

September 1990 - June 1992(2 years)

BSc

Technion - Israel Institute of Technology

October 1987 - March 1990(2 years)