Avi Ziv

I am a member of the Verification Solutions and Machine Learning group at the IBM Haifa Research Laboratory, where I lead the verification solution activities of the group. Since joining IBM in 1996, I am working on different topics of simulations-based functional verification. My current work is focused on the areas of functional coverage and coverage directed generation (CDG). I also teach a course at the Technion – Israel Institute of Technology on the subject of simulation-based functional verification.

I am a graduate of the Technion – Israel Institute of Technology (B.Sc. in Computer Engineering) and Stanford University (M.Sc. and Ph.D in Electrical Engineering).

Verification Solutions Homeage

Simulation-based Verification Technologies Department Homepage