Placement and Routing for a Field Programmable Multi-Chip Module. - Sanko Lan; Avi Ziv; Abbas El Gamal (DAC, 1994)

Analysis of Checkpointing Schemes for Multiprocessor Systems. - Avi Ziv; Jehoshua Bruck (SRDS, 1994)

An on-line algorithm for checkpoint placement. - Avi Ziv; Jehoshua Bruck (ISSRE, 1996)

Performance Optimization of Checkpointing Schemes with Task Duplication. - Avi Ziv; Jehoshua Bruck (IEEE Trans. Computers, 1997)

User Defined Coverage - A Tool Supported Methodology for Design Verification. - Raanan Grinwald; Eran Harel; Michael Orgad; Shmuel Ur; Avi Ziv (DAC, 1998)

Design Reliability - Estimation through Statistical Analysis of Bug Discovery Data. - Yossi Malka; Avi Ziv (DAC, 1998)

Analysis of Checkpointing Schemes with Task Duplication. - Avi Ziv; Jehoshua Bruck (IEEE Trans. Computers, 1998)

Cost evaluation of coverage directed test generation for the IBM mainframe. - Gilly Nativ; Steven Mittermaier; Shmuel Ur; Avi Ziv (ITC, 2001)

Hole analysis for functional coverage data. - Oded Lachish; Eitan Marcus; Shmuel Ur; Avi Ziv (DAC, 2002)

Using a constraint satisfaction formulation and solution techniques for random test program generation. - Eyal Bin; Roy Emek; Gil Shurek; Avi Ziv (IBM Syst. J., 2002)

Solving Range Constraints for Binary Floating-Point Instructions. - Avi Ziv; Merav Aharoni; Sigal Asaf (IEEE Symposium on Computer Arithmetic, 2003)

Coverage directed test generation for functional verification using bayesian networks. - Shai Fine; Avi Ziv (DAC, 2003)

Cross-Product Functional Coverage Measurement with Temporal Properties-Based Assertions . - Avi Ziv (DATE, 2003)

Functional Verification Environment for Object-oriented Hardware Designs. - Avi Ziv (FDL, 2003)

Piparazzi: a test program generator for micro-architecture flow verification. - Allon Adir; Eyal Bin; Ofer Peled; Avi Ziv (HLDVT, 2003)

Enhancing the control and efficiency of the covering process [logic verification]. - Shai Fine; Avi Ziv (HLDVT, 2003)

Panel: What's the next 'big thing' in simulation-based verification? - Moshe Levinger; Avi Ziv; Brian Bailey; Jacob Abraham; Bob Bentley; William H. Joyner; Yaron Kas (HLDVT, 2003)

Solving the generalized mask constraint for test generation of binary floating point add operation. - Avi Ziv; Laurent Fournier (Theor. Comput. Sci., 2003)

Defining coverage views to improve functional coverage analysis. - Sigal Asaf; Eitan Marcus; Avi Ziv (DAC, 2004)

Probabilistic regression suites for functional verification. - Shai Fine; Shmuel Ur; Avi Ziv (DAC, 2004)

Stimuli Generation with Late Binding of Values. - Avi Ziv (DATE, 2004)

Enhancing the efficiency of Bayesian network based coverage directed test generation. - Markus Braun; Shai Fine; Avi Ziv (HLDVT, 2004)

Probabilistic Alternative Regression Suites. - Shady Copty; Shai Fine; Shmuel Ur; Avi Ziv (ISoLA (Preliminary proceedings), 2004)

Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification. - Allon Adir; Eli Almog; Laurent Fournier; Eitan Marcus; Michal Rimon; Michael Vinov; Avi Ziv (IEEE Des. Test Comput., 2004)

Advanced analysis techniques for cross-product coverage. - Hezi Azatchi; Laurent Fournier; Avi Ziv; Keren Zohar (HLDVT, 2005)

Harnessing machine learning to improve the success rate of stimuli generation. - Shai Fine; Ari Freund 001; Itai Jaeger; Yehuda Naveh; Avi Ziv; Yishay Mansour (HLDVT, 2005)

Panel: Functional coverage - is your design exposed? - Andrew Piziali; Avi Ziv (HLDVT, 2005)

Scheduling-based test-case generation for verification of multimedia SoCs. - Amir Nahir; Avi Ziv; Roy Emek; Tal Keidar; Nir Ronen (DAC, 2006)

Using Linear Programming Techniques for Scheduling-Based Random Test-Case Generation. - Amir Nahir; Yossi Shiloach; Avi Ziv (Haifa Verification Conference, 2006)

Advanced Analysis Techniques for Cross-Product Coverage. - Hezi Azatchi; Laurent Fournier; Eitan Marcus; Shmuel Ur; Avi Ziv; Keren Zohar (IEEE Trans. Computers, 2006)

Verification Coverage: When is Enough, Enough? - Francine Bacchini; Alan J. Hu; Tom Fitzpatrick; Rajeev Ranjan; David Lacey; Mercedes Tan; Andrew Piziali; Avi Ziv (DAC, 2007)

Using Virtual Coverage to Hit Hard-To-Reach Events. - Laurent Fournier; Avi Ziv (Haifa Verification Conference, 2007)

Special session - What's so intelligent about testbenches? - Avi Ziv; Chris Wilson; Adnan Hamid; Joerg Grosse (HLDVT, 2008)

Automatic Boosting of Cross-Product Coverage Using Bayesian Networks. - Dorit Baras; Laurent Fournier; Avi Ziv (Haifa Verification Conference, 2008)

Ensuring Functional Closure of a Multi-core SoC through Verification Planning, Implementation and Execution. - Alan Hunter 002; Andrew Piziali; Avi Ziv; Kelly Larson; Shankar Hemmady (MTV, 2008)

A probabilistic alternative to regression suites. - Shady Copty; Shai Fine; Shmuel Ur; Elad Yom-Tov; Avi Ziv (Theor. Comput. Sci., 2008)

Using Bayesian networks and virtual coverage to hit hard-to-reach events. - Shai Fine; Laurent Fournier; Avi Ziv (Int. J. Softw. Tools Technol. Transf., 2009)

Bridging pre-silicon verification and post-silicon validation. - Amir Nahir; Avi Ziv; Rajesh Galivanche; Alan J. Hu; Miron Abramovici; Albert Camilleri; Bob Bentley; Harry Foster; Valeria Bertacco; Shakti Kapoor (DAC, 2010)

Reaching Coverage Closure in Post-silicon Validation. - Allon Adir; Amir Nahir; Avi Ziv; Charles Meissner; John Schumann (Haifa Verification Conference, 2010)

Threadmill: a post-silicon exerciser for multi-threaded processors. - Allon Adir; Maxim Golubev; Shimon Landa; Amir Nahir; Gil Shurek; Vitali Sokhin; Avi Ziv (DAC, 2011)

Leveraging pre-silicon verification resources for the post-silicon validation of the IBM POWER7 processor. - Allon Adir; Amir Nahir; Gil Shurek; Avi Ziv; Charles Meissner; John Schumann (DAC, 2011)

Learning microarchitectural behaviors to improve stimuli generation quality. - Yoav Katz; Michal Rimon; Avi Ziv; Gai Shaked (DAC, 2011)

A unified methodology for pre-silicon verification and post-silicon validation. - Allon Adir; Shady Copty; Shimon Landa; Amir Nahir; Gil Shurek; Avi Ziv; Charles Meissner; John Schumann (DATE, 2011)

Reverse Coverage Analysis. - Ariel J. Birnbaum; Laurent Fournier; Steven Mittermaier; Avi Ziv (Haifa Verification Conference, 2011)

Automatic boosting of cross-product coverage using Bayesian networks. - Dorit Baras; Shai Fine; Laurent Fournier; Dan Geiger; Avi Ziv (Int. J. Softw. Tools Technol. Transf., 2011)

A probabilistic analysis of coverage methods. - Laurent Fournier; Avi Ziv; Ekaterina Kutsy; Ofer Strichman (ACM Trans. Design Autom. Electr. Syst., 2011)

Optimizing test-generation to the execution platform. - Amir Nahir; Avi Ziv; Subrat Panda (ASP-DAC, 2012)

Checking architectural outputs instruction-by-instruction on acceleration platforms. - Debapriya Chatterjee; Anatoly Koyfman; Ronny Morad; Avi Ziv; Valeria Bertacco (DAC, 2012)

Generating instruction streams using abstract CSP. - Yoav Katz; Michal Rimon; Avi Ziv (DATE, 2012)

Approximating checkers for simulation acceleration. - Biruk Mammo; Debapriya Chatterjee; Dmitry Pidan; Amir Nahir; Avi Ziv; Ronny Morad; Valeria Bertacco (DATE, 2012)

A Novel Approach for Implementing Microarchitectural Verification Plans in Processor Designs. - Yoav Katz; Michal Rimon; Avi Ziv (Haifa Verification Conference, 2012)

Concurrent Generation of Concurrent Programs for Post-Silicon Validation. - Allon Adir; Amir Nahir; Avi Ziv (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2012)

Hybrid checking for microarchitectural validation of microprocessor designs on acceleration platforms. - Debapriya Chatterjee; Biruk Mammo; Doowon Lee; Raviv Gal; Ronny Morad; Amir Nahir; Avi Ziv; Valeria Bertacco (ICCAD, 2013)

Verification of Transactional Memory in POWER8. - Allon Adir; Dave Goodman; Daniel Hershcovich; Oz Hershkovitz; Bryan G. Hickerson; Karen Holtz; Wisam Kadry; Anatoly Koyfman; John M. Ludden; Charles Meissner; Amir Nahir; Randall R. Pratt; et al. (DAC, 2014)

Enhancing Scenario Quality Using Quasi-Events. - Yoav Katz; Eitan Marcus; Avi Ziv (Haifa Verification Conference, 2014)

The Verification Cockpit - Creating the Dream Playground for Data Analytics over the Verification Process. - Moab Arar; Michael L. Behm; Odellia Boni; Raviv Gal; Alex Goldin; Maxim Ilyaev; Einat Kermany; John R. Reysa; Bilal Saleh; Klaus-Dieter Schubert; Gil Shurek; Avi Ziv (Haifa Verification Conference, 2015)

Probabilistic bug-masking analysis for post-silicon tests in microprocessor verification. - Doowon Lee; Tom Kolan; Arkadiy Morgenshtein; Vitali Sokhin; Ronny Morad; Avi Ziv; Valeria Bertacco (DAC, 2016)

Solving Constraint Satisfaction Problems Containing Vectors of Unknown Size. - Erez Bilgory; Eyal Bin; Avi Ziv (CP, 2017)

Template Aware Coverage: Taking Coverage Analysis to the Next Level. - Raviv Gal; Einat Kermany; Bilal Saleh; Avi Ziv; Michael L. Behm; Bryan G. Hickerson (DAC, 2017)

Cost-effective analysis of post-silicon functional coverage events. - Farimah Farahmandi; Ronny Morad; Avi Ziv; Ziv Nevo; Prabhat Mishra 001 (DATE, 2017)

Post-Silicon Validation in the SoC Era: A Tutorial Introduction. - Prabhat Mishra 001; Ronny Morad; Avi Ziv; Sandip Ray (IEEE Des. Test, 2017)

Challenges and Solutions in Post-Silicon Validation of High-end Processors (Invited Tutorial). - Avi Ziv (FMCAD, 2019)

How To Catch A Lion In The Desert - On The Solution Of The Coverage Directed Generation (CDG) Problem. - Raviv Gal; Eldad Haber; Brian Irwin; Bilal Saleh; Avi Ziv (CoRR, 2019)

Late Breaking Results: FRIENDS - Finding Related Interesting Events via Neighbor Detection. - Raviv Gal; Haim Kermany; Alexander Ivrii; Ziv Nevo; Avi Ziv (DAC, 2020)

Using DNNs and Smart Sampling for Coverage Closure Acceleration. - Raviv Gal; Eldad Haber; Avi Ziv (MLCAD, 2020)

ML for CAD - Where is the Treasure Hiding? - Raviv Gal; David Z. Pan; Haoxing Ren; Manish Pandey; Marilyn Wolf; Avi Ziv (MLCAD, 2020)

Using Machine Learning Clustering To Find Large Coverage Holes. - Raviv Gal; Giora Simchoni; Avi Ziv (MLCAD, 2020)

Automatic Scalable System for the Coverage-Directed Generation (CDG) Problem. - Raviv Gal; Eldad Haber; Wesam Ibraheem; Brian Irwin; Ziv Nevo; Avi Ziv (DATE, 2021)

Using Deep Neural Networks And Derivative Free Optimization To Accelerate Coverage Closure. - Raviv Gal; Eldad Haber; Brian Irwin; Marwa Mouallem; Bilal Saleh; Avi Ziv (MLCAD, 2021)

Deep Neural Network Accelerated Implicit Filtering. - Brian Irwin; Eldad Haber; Raviv Gal; Avi Ziv (CoRR, 2021)

Neural Network Accelerated Implicit Filtering: Integrating Neural Network Surrogates With Provably Convergent Derivative Free Optimization Methods. - Brian Irwin; Eldad Haber; Raviv Gal; Avi Ziv (ICML, 2023)

Introduction to the Special Issue on Machine Learning for CAD/EDA. - Yibo Lin; Avi Ziv; Haoxing Ren (ACM Trans. Design Autom. Electr. Syst., 2023)

Hybrid Cloud Connector: Offloading integration complexities. - Ronen I. Kat; Doron Chen; Michael Factor; Chris Giblin; Avi Ziv; Aleksander Slominski (SYSTOR, 2024)

Quality Evaluation of COBOL to Java Code Transformation. - Shmulik Froimovich; Raviv Gal; Wesam Ibraheem; Avi Ziv (CoRR, 2025)

Automated Validation of LLM-based Evaluators for Software Engineering Artifacts. - Ora Nova Fandina; Eitan Farchi; Shmulik Froimovich; Rami Katan; Alice Podolsky; Orna Raz; Avi Ziv (CoRR, 2025)

LaajMeter: A Framework for LaaJ Evaluation. - Gal Amram; Eitan Farchi; Shmulik Froimovich; Raviv Gal; Avi Ziv (CoRR, 2025)