Avi Ziv

发表

Analysis of checkpointing schemes for multiprocessor systems

Jehoshua Bruck, Avi Ziv, Jehoshua Bruck, 1994, Proceedings of IEEE 13th Symposium on Reliable Distributed Systems.

Solving range constraints for binary floating-point instructions

Avi Ziv, Sigal Asaf, Merav Aharoni, 2003, Proceedings 2003 16th IEEE Symposium on Computer Arithmetic.

How to catch a lion in the desert: on the solution of the coverage directed generation (CDG) problem

Avi Ziv, Raviv Gal, Eldad Haber, 2019, ArXiv.

Functional Verification Environment for Object-oriented Hardware Designs

Avi Ziv, 2003, FDL.

Functional verification of the IBM POWER7 microprocessor and POWER7 multiprocessor systems

Klaus-Dieter Schubert, Avi Ziv, Bishop Brock, 2011 .

Piparazzi: a test program generator for micro-architecture flow verification

Allon Adir, Avi Ziv, Ofer Peled, 2003, Eighth IEEE International High-Level Design Validation and Test Workshop.

Automatic Boosting of Cross-Product Coverage Using Bayesian Networks

Avi Ziv, Laurent Fournier, Dorit Baras, 2008, Haifa Verification Conference.

Stimuli generation with late binding of values

Avi Ziv, 2004, Proceedings Design, Automation and Test in Europe Conference and Exhibition.

Probabilistic bug-masking analysis for post-silicon tests in microprocessor verification

Tom Kolan, Vitali Sokhin, Avi Ziv, 2016, 2016 53nd ACM/EDAC/IEEE Design Automation Conference (DAC).

Coverage directed test generation for functional verification using Bayesian networks

Avi Ziv, Shai Fine, S. Fine, 2003, Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).

Reverse Coverage Analysis

Avi Ziv, Laurent Fournier, Ariel Birnbaum, 2011, Haifa Verification Conference.

Verification of transactional memory in POWER8

Elena Tsanko, Allon Adir, Avi Ziv, 2014, 2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC).

Harnessing Machine Learning to Improve the Success Rate of Stimuli Generation

Yishay Mansour, Avi Ziv, Yehuda Naveh, 2005, IEEE Transactions on Computers.

Using Bayesian networks and virtual coverage to hit hard-to-reach events

Avi Ziv, Laurent Fournier, Shai Fine, 2009, International Journal on Software Tools for Technology Transfer.

Optimizing test-generation to the execution platform

Avi Ziv, Amir Nahir, Subrat Panda, 2012, 17th Asia and South Pacific Design Automation Conference.

What's the next 'big thing' in simulation-based verification?

Avi Ziv, Brian Bailey, Moshe Levinger, 2003, Eighth IEEE International High-Level Design Validation and Test Workshop.

Defining coverage views to improve functional coverage analysis

Avi Ziv, Sigal Asaf, Eitan Marcus, 2004, Proceedings. 41st Design Automation Conference, 2004..

An interpolating decision procedure for transitive relations with uninterpreted functions

Avi Ziv, 2009 .

Challenges and Solutions in Post-Silicon Validation of High-end Processors (Invited Tutorial)

Avi Ziv, 2019, 2019 Formal Methods in Computer Aided Design (FMCAD).

Proceedings of the 2nd international Haifa verification conference on Hardware and software, verification and testing

Andreas Zeller, Kedar S. Namjoshi, Avi Ziv, 2006 .

Using Virtual Coverage to Hit Hard-To-Reach Events

Avi Ziv, Laurent Fournier, 2007, Haifa Verification Conference.

User defined coverage—a tool supported methodology for design verification

Avi Ziv, Shmuel Ur, Raanan Grinwald, 1998, DAC.

Hardware and Software, Verification and Testing, Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers

Avi Ziv, Shmuel Ur, Eyal Bin, 2007, Haifa Verification Conference.

A Novel Approach for Implementing Microarchitectural Verification Plans in Processor Designs

Avi Ziv, Yoav Katz, Michal Rimon, 2012, Haifa Verification Conference.

A unified methodology for pre-silicon verification and post-silicon validation

Allon Adir, Avi Ziv, Gil Shurek, 2011, 2011 Design, Automation & Test in Europe.

Views to Improve Functional Coverage Analysis

Avi Ziv, Sigal Asaf, Eitan Marcus, 2004 .

Performance Optimization of Checkpointing Schemes with Task Duplication

Jehoshua Bruck, Avi Ziv, 1997, IEEE Trans. Computers.

Cost-effective analysis of post-silicon functional coverage events

Avi Ziv, Prabhat Mishra, Farimah Farahmandi, 2017, Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017.

Analysis of Checkpointing Schemes with Task Duplication

Jehoshua Bruck, Avi Ziv, 1998, IEEE Trans. Computers.

Generating instruction streams using abstract CSP

Avi Ziv, Yoav Katz, Michal Rimon, 2012, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Probabilistic regression suites for functional verification

Avi Ziv, Shai Fine, Shmuel Ur, 2004, Proceedings. 41st Design Automation Conference, 2004..

Hole analysis for functional coverage data

Avi Ziv, Oded Lachish, Shmuel Ur, 2002, DAC '02.

Harnessing machine learning to improve the success rate of stimuli generation

Yishay Mansour, Avi Ziv, Yehuda Naveh, 2005, Tenth IEEE International High-Level Design Validation and Test Workshop, 2005..

Ensuring Functional Closure of a Multi-core SoC through Verification Planning, Implementation and Execution

Avi Ziv, Alan Hunter, Shankar Hemmady, 2008, 2008 Ninth International Workshop on Microprocessor Test and Verification.

Approximating checkers for simulation acceleration

Avi Ziv, Valeria Bertacco, Biruk Mammo, 2012, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).

A probabilistic analysis of coverage methods

Ofer Strichman, Avi Ziv, Laurent Fournier, 2011, TODE.

An on-line algorithm for checkpoint placement

Jehoshua Bruck, Avi Ziv, 1996, Proceedings of ISSRE '96: 7th International Symposium on Software Reliability Engineering.

Scheduling-based test-case generation for verification of multimedia SoCs

Avi Ziv, Amir Nahir, Roy Emek, 2006, 2006 43rd ACM/IEEE Design Automation Conference.

Cost evaluation of coverage directed test generation for the IBM mainframe

Avi Ziv, Shmuel Ur, Steven Mittermaier, 2001, Proceedings International Test Conference 2001 (Cat. No.01CH37260).

Advanced analysis techniques for cross-product coverage

Avi Ziv, Laurent Fournier, Hezi Azatchi, 2005, Tenth IEEE International High-Level Design Validation and Test Workshop, 2005..

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

Avi Ziv, Gil Shurek, Eyal Bin, 2002, IBM Syst. J..

Session details: Tools and methods for the verification of processors and processor-based systems

Avi Ziv, Erich Marschner, Raghuram Tupuri, 2005, Design Automation Conference.

Learning microarchitectural behaviors to improve stimuli generation quality

Avi Ziv, Yoav Katz, Michal Rimon, 2011, 2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC).

Cross-product functional coverage measurement with temporal properties-based assertions [logic verification]

Avi Ziv, 2003, 2003 Design, Automation and Test in Europe Conference and Exhibition.

Verification Coverage: When is Enough, Enough?

Alan J. Hu, Avi Ziv, Francine Bacchini, 2007, 2007 44th ACM/IEEE Design Automation Conference.

Special session - What’s so intelligent about testbenches?

Chris Wilson, Avi Ziv, Adnan Hamid, 2008, 2008 IEEE International High Level Design Validation and Test Workshop.

Solving the generalized mask constraint for test generation of binary floating point add operation

Avi Ziv, Laurent Fournier, L. Fournier, 2003, Theor. Comput. Sci..

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

Allon Adir, Avi Ziv, Laurent Fournier, 2004, IEEE Design & Test of Computers.

Bridging pre-silicon verification and post-silicon validation

Alan J. Hu, Avi Ziv, Valeria Bertacco, 2010, Design Automation Conference.

Using Linear Programming Techniques for Scheduling-Based Random Test-Case Generation

Avi Ziv, Amir Nahir, Yossi Shiloach, 2006, Haifa Verification Conference.

Threadmill: A post-silicon exerciser for multi-threaded processors

Vitali Sokhin, Allon Adir, Avi Ziv, 2011, 2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC).

A probabilistic alternative to regression suites

Avi Ziv, Elad Yom-Tov, Shai Fine, 2004, Theor. Comput. Sci..

Session details: Verification coverage: when is enough enough

Avi Ziv, Francine Bacchini, Andrew Piziali, 2007, DAC '07.

Checking architectural outputs instruction-by-instruction on acceleration platforms

Avi Ziv, Valeria Bertacco, Ronny Morad, 2012, DAC Design Automation Conference 2012.

Object-Oriented High-Level Modeling of an Infiniband to PCI-X Bridge

Avi Ziv, Oded Lachish, 2003 .

Enhancing the control and efficiency of the covering process [logic verification]

Avi Ziv, Shai Fine, 2003, Eighth IEEE International High-Level Design Validation and Test Workshop.

Panel: Functional coverage - is your design exposed?

Avi Ziv, Andrew Piziali, 2005, HLDVT.

Design reliability-estimation through statistical analysis of bug discovery data

Avi Ziv, Yossi Malka, A. Ziv, 1998, Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).

Automatic boosting of cross-product coverage using Bayesian networks

Avi Ziv, Laurent Fournier, Dan Geiger, 2009, International Journal on Software Tools for Technology Transfer.

Post-Silicon Validation in the SoC Era: A Tutorial Introduction

Sandip Ray, Avi Ziv, Prabhat Mishra, 2017, IEEE Design & Test.

Enhancing the efficiency of Bayesian network based coverage directed test generation

Avi Ziv, Markus Braun, Shai Fine, 2004, Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940).

Template Aware Coverage - taking coverage analysis to the next level

Avi Ziv, Raviv Gal, Bilal Saleh, 2017, 2017 54th ACM/EDAC/IEEE Design Automation Conference (DAC).

Reaching Coverage Closure in Post-silicon Validation

Allon Adir, Avi Ziv, Amir Nahir, 2010, Haifa Verification Conference.

Leveraging pre-silicon verification resources for the post-silicon validation of the IBM POWER7 processor

Allon Adir, Avi Ziv, Gil Shurek, 2011, 2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC).

An On-Line Algorithm for Checkpoint Placement

Jehoshua Bruck, Avi Ziv, 1997, IEEE Trans. Computers.

Hardware and Software: Verification and Testing - 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers

Kedar S. Namjoshi, Avi Ziv, Andreas Zeller, 2011, Haifa Verification Conference.

Solving Constraint Satisfaction Problems Containing Vectors of Unknown Size

Avi Ziv, Eyal Bin, Erez Bilgory, 2017, CP.

An Online Algorithm for Checkpointing Placement

Jehoshua Bruck, Avi Ziv, 1995 .

The Verification Cockpit - Creating the Dream Playground for Data Analytics over the Verification Process

Klaus-Dieter Schubert, Avi Ziv, Raviv Gal, 2015, Haifa Verification Conference.

Concurrent Generation of Concurrent Programs for Post-Silicon Validation

Allon Adir, Avi Ziv, Amir Nahir, 2012, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Placement and Routing for a Field Programmable Multi-Chip Module

Avi Ziv, Abbas El Gamal, Sanko Lan, 1994, 31st Design Automation Conference.

Enhancing Scenario Quality Using Quasi-Events

Avi Ziv, Yoav Katz, Eitan Marcus, 2014, Haifa Verification Conference.

Hybrid checking for microarchitectural validation of microprocessor designs on acceleration platforms

Avi Ziv, Valeria Bertacco, Biruk Mammo, 2013, 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

Automatic Scalable System for the Coverage-Directed Generation (CDG) Problem

Avi Ziv, Eldad Haber, Raviv Gal, 2021, 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Using Deep Neural Networks And Derivative Free Optimization To Accelerate Coverage Closure

Avi Ziv, Eldad Haber, Raviv Gal, 2021, 2021 ACM/IEEE 3rd Workshop on Machine Learning for CAD (MLCAD).

Deep Neural Network Accelerated Implicit Filtering pdf

Avi Ziv, Eldad Haber, Raviv Gal, 2021, ArXiv.