Avi Ziv

Computer Science · Physical Sciences

21h-index1.7kcitations102works0.02yr avg
OpenAlex↗ORCID↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Software Testing and Debugging Techniques(32), Formal Methods in Verification(29), VLSI and Analog Circuit Testing(29), Embedded Systems Design Techniques(19), Radiation Effects in Electronics(19)

Publications102 total

Quality Evaluation of COBOL to Java Code Transformation
arXiv (Cornell University)·2025Open Access
Hybrid Cloud Connector: Offloading integration complexities
2024
Introduction to the Special Issue on Machine Learning for CAD/EDA
ACM Transactions on Design Automation of Electronic Systems·2023
Data Analytics and Machine Learning for Coverage Closure
2022
Machine Learning in the Service of Hardware Functional Verification
2022· 1 cited
Using Deep Neural Networks And Derivative Free Optimization To Accelerate Coverage Closure
2021· 4 cited
Deep Neural Network Accelerated Implicit Filtering
arXiv (Cornell University)·2021Open Access
Automatic Scalable System for the Coverage-Directed Generation (CDG) Problem
2021· 5 cited
ML for CAD - Where is the Treasure Hiding?
2020
Using DNNs and Smart Sampling for Coverage Closure Acceleration
2020· 6 cited
Using Machine Learning Clustering To Find Large Coverage Holes
2020· 2 cited
Late Breaking Results: FRIENDS - Finding Related Interesting Events via Neighbor Detection
2020· 4 cited
Session details: Simulation and verification: Where real issues meet scientific innovation
2020
Challenges and Solutions in Post-Silicon Validation of High-end Processors (Invited Tutorial)
2019
Risk Analysis Based On Design Version Control Data
2019· 2 cited
Template Aware Coverage
2017· 8 cited
Post-Silicon Validation in the SoC Era: A Tutorial Introduction
IEEE Design and Test·2017· 64 cited
Cost-effective analysis of post-silicon functional coverage events
2017· 24 cited
Solving Constraint Satisfaction Problems Containing Vectors of Unknown Size
Lecture notes in computer science·2017· 2 cited
Probabilistic bug-masking analysis for post-silicon tests in microprocessor verification
2016· 5 citedOpen Access
page 1 of 6Next →

Frequent Co-authors

Shai Fine(9), Amir Nahir(8), Allon Adir(7), Shmuel Ur(6), Laurent Sébastien Fournier(5), Eitan Marcus(5), Jehoshua Bruck(5), Michal Rimon(4), Gil Shurek(4), C. Meissner(4), Ronny Morad(3), John Schumann(3), Yoav Katz(3), Sigal Asaf(3), Eyal Bin(2), R. Emek(2), Prabhat Mishra(2), Valeria Bertacco(2), Klaus-Dieter Schubert(2), J. M. Ludden(2)