Concepedia

Avi Ziv

AZ

39

Publications

1.5K

Citations

21

H-Index

1984

Active since

Affiliations

IBM Research - Haifa(Current)

IBM (United States)

California Institute of Technology

University of Michigan

University of Florida

Avi Ziv is an author at IBM Research - Haifa specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceSoftware TestingComputer EngineeringFormal VerificationVerificationSystems EngineeringProgram AnalysisSoftware AnalysisSoftware Engineering

Publications per year

1984–2017

39

Publications

39

Coverage directed test generation for functional verification using bayesian networks

Shai Fine, Avi Ziv · 2003 · 222 citations

Engineering, Verification, Test Data Generation +22

Genesys-pro: innovations in test program generation for functional processor verification

Allon Adir, Eli Almog, Laurent Sébastien Fournier et al. · IEEE Design & Test of Computers · 2004 · 178 citations

Engineering, Hardware Verification Language, Verification +20

An on-line algorithm for checkpoint placement

Avi Ziv, Jehoshua Bruck · IEEE Transactions on Computers · 1997 · 112 citations

Cluster Computing, Engineering, Computer Architecture +19

Using a constraint satisfaction formulation and solution techniques for random test program generation

Eyal Bin, R. Emek, Gil Shurek et al. · IBM Systems Journal · 2002 · 88 citations

User defined coverage---a tool supported methodology for design verification

Raanan Grinwald, Eran Harel, Michael Orgad et al. · 1998 · 84 citations · Full text

Software Maintenance, Engineering, Verification +23

Rows per page

1–5 of 39