Avi Ziv

80 papers A* 19A 11B 2C 2Misc 1Journal 20Unranked 23
YearRankTypeTitle / Venue / Authors
2025 J jnl
Automated Validation of LLM-based Evaluators for Software Engineering Artifacts.
CoRR
Ora Nova Fandina, Eitan Farchi, Shmulik Froimovich, Rami Katan, Alice Podolsky, Orna Raz, Avi Ziv
2025 J jnl
LaajMeter: A Framework for LaaJ Evaluation.
CoRR
Gal Amram, Eitan Farchi, Shmulik Froimovich, Raviv Gal, Avi Ziv
2025 J jnl
Quality Evaluation of COBOL to Java Code Transformation.
CoRR
Shmulik Froimovich, Raviv Gal, Wesam Ibraheem, Avi Ziv
2024 Misc conf
Hybrid Cloud Connector: Offloading integration complexities.
SYSTOR
Ronen I. Kat, Doron Chen, Michael Factor, Chris Giblin, Avi Ziv, Aleksander Slominski
2023 J jnl
Introduction to the Special Issue on Machine Learning for CAD/EDA.
ACM Trans. Design Autom. Electr. Syst.
Yibo Lin, Avi Ziv, Haoxing Ren
2023 A* conf
Neural Network Accelerated Implicit Filtering: Integrating Neural Network Surrogates With Provably Convergent Derivative Free Optimization Methods.
ICML
Brian Irwin, Eldad Haber, Raviv Gal, Avi Ziv
2021 A conf
Automatic Scalable System for the Coverage-Directed Generation (CDG) Problem.
DATE
Raviv Gal, Eldad Haber, Wesam Ibraheem, Brian Irwin, Ziv Nevo, Avi Ziv
2021 J jnl
Deep Neural Network Accelerated Implicit Filtering.
CoRR
Brian Irwin, Eldad Haber, Raviv Gal, Avi Ziv
2021 — conf
Using Deep Neural Networks And Derivative Free Optimization To Accelerate Coverage Closure.
MLCAD
Raviv Gal, Eldad Haber, Brian Irwin, Marwa Mouallem, Bilal Saleh, Avi Ziv
2020 A* conf
Late Breaking Results: FRIENDS - Finding Related Interesting Events via Neighbor Detection.
DAC
Raviv Gal, Haim Kermany, Alexander Ivrii, Ziv Nevo, Avi Ziv
2020 — conf
ML for CAD - Where is the Treasure Hiding?
MLCAD
Raviv Gal, David Z. Pan, Haoxing Ren, Manish Pandey, Marilyn Wolf, Avi Ziv
2020 — conf
Using DNNs and Smart Sampling for Coverage Closure Acceleration.
MLCAD
Raviv Gal, Eldad Haber, Avi Ziv
2020 — conf
Using Machine Learning Clustering To Find Large Coverage Holes.
MLCAD
Raviv Gal, Giora Simchoni, Avi Ziv
2019 B conf
Challenges and Solutions in Post-Silicon Validation of High-end Processors (Invited Tutorial).
FMCAD
Avi Ziv
2019 J jnl
How To Catch A Lion In The Desert - On The Solution Of The Coverage Directed Generation (CDG) Problem.
CoRR
Raviv Gal, Eldad Haber, Brian Irwin, Bilal Saleh, Avi Ziv
2017 A conf
Cost-effective analysis of post-silicon functional coverage events.
DATE
Farimah Farahmandi, Ronny Morad, Avi Ziv, Ziv Nevo, Prabhat Mishra
2017 J jnl
Post-Silicon Validation in the SoC Era: A Tutorial Introduction.
IEEE Des. Test
Prabhat Mishra, Ronny Morad, Avi Ziv, Sandip Ray
2017 A conf
Solving Constraint Satisfaction Problems Containing Vectors of Unknown Size.
CP
Erez Bilgory, Eyal Bin, Avi Ziv
2017 A* conf
Template Aware Coverage: Taking Coverage Analysis to the Next Level.
DAC
Raviv Gal, Einat Kermany, Bilal Saleh, Avi Ziv, Michael L. Behm, Bryan G. Hickerson
2016 A* conf
Probabilistic bug-masking analysis for post-silicon tests in microprocessor verification.
DAC
Doowon Lee, Tom Kolan, Arkadiy Morgenshtein, Vitali Sokhin, Ronny Morad, Avi Ziv, Valeria Bertacco
2015 — conf
The Verification Cockpit - Creating the Dream Playground for Data Analytics over the Verification Process.
Haifa Verification Conference
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
2014 — conf
Enhancing Scenario Quality Using Quasi-Events.
Haifa Verification Conference
Yoav Katz, Eitan Marcus, Avi Ziv
2014 A* conf
Verification of Transactional Memory in POWER8.
DAC
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, Mike Schiffli, Brett St. Onge, Brian W. Thompto, Elena Tsanko, Avi Ziv
2013 A conf
Hybrid checking for microarchitectural validation of microprocessor designs on acceleration platforms.
ICCAD
Debapriya Chatterjee, Biruk Mammo, Doowon Lee, Raviv Gal, Ronny Morad, Amir Nahir, Avi Ziv, Valeria Bertacco
2012 — conf
A Novel Approach for Implementing Microarchitectural Verification Plans in Processor Designs.
Haifa Verification Conference
Yoav Katz, Michal Rimon, Avi Ziv
2012 A conf
Approximating checkers for simulation acceleration.
DATE
Biruk Mammo, Debapriya Chatterjee, Dmitry Pidan, Amir Nahir, Avi Ziv, Ronny Morad, Valeria Bertacco
2012 A* conf
Checking architectural outputs instruction-by-instruction on acceleration platforms.
DAC
Debapriya Chatterjee, Anatoly Koyfman, Ronny Morad, Avi Ziv, Valeria Bertacco
2012 J jnl
Concurrent Generation of Concurrent Programs for Post-Silicon Validation.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Allon Adir, Amir Nahir, Avi Ziv
2012 A conf
Generating instruction streams using abstract CSP.
DATE
Yoav Katz, Michal Rimon, Avi Ziv
2012 — conf
Optimizing test-generation to the execution platform.
ASP-DAC
Amir Nahir, Avi Ziv, Subrat Panda
2011 J jnl
A probabilistic analysis of coverage methods.
ACM Trans. Design Autom. Electr. Syst.
Laurent Fournier, Avi Ziv, Ekaterina Kutsy, Ofer Strichman
2011 A conf
A unified methodology for pre-silicon verification and post-silicon validation.
DATE
Allon Adir, Shady Copty, Shimon Landa, Amir Nahir, Gil Shurek, Avi Ziv, Charles Meissner, John Schumann
2011 J jnl
Automatic boosting of cross-product coverage using Bayesian networks.
Int. J. Softw. Tools Technol. Transf.
Dorit Baras, Shai Fine, Laurent Fournier, Dan Geiger, Avi Ziv
2011 — ed.
Hardware and Software: Verification and Testing - 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
Haifa Verification Conference
Kedar S. Namjoshi, Andreas Zeller, Avi Ziv
2011 A* conf
Learning microarchitectural behaviors to improve stimuli generation quality.
DAC
Yoav Katz, Michal Rimon, Avi Ziv, Gai Shaked
2011 A* conf
Leveraging pre-silicon verification resources for the post-silicon validation of the IBM POWER7 processor.
DAC
Allon Adir, Amir Nahir, Gil Shurek, Avi Ziv, Charles Meissner, John Schumann
2011 — conf
Reverse Coverage Analysis.
Haifa Verification Conference
Ariel J. Birnbaum, Laurent Fournier, Steven Mittermaier, Avi Ziv
2011 A* conf
Threadmill: a post-silicon exerciser for multi-threaded processors.
DAC
Allon Adir, Maxim Golubev, Shimon Landa, Amir Nahir, Gil Shurek, Vitali Sokhin, Avi Ziv
2010 A* conf
Bridging pre-silicon verification and post-silicon validation.
DAC
Amir Nahir, Avi Ziv, Rajesh Galivanche, Alan J. Hu, Miron Abramovici, Albert Camilleri, Bob Bentley, Harry Foster, Valeria Bertacco, Shakti Kapoor
2010 — conf
Reaching Coverage Closure in Post-silicon Validation.
Haifa Verification Conference
Allon Adir, Amir Nahir, Avi Ziv, Charles Meissner, John Schumann
2009 J jnl
Using Bayesian networks and virtual coverage to hit hard-to-reach events.
Int. J. Softw. Tools Technol. Transf.
Shai Fine, Laurent Fournier, Avi Ziv
2008 J jnl
A probabilistic alternative to regression suites.
Theor. Comput. Sci.
Shady Copty, Shai Fine, Shmuel Ur, Elad Yom-Tov, Avi Ziv
2008 — conf
Automatic Boosting of Cross-Product Coverage Using Bayesian Networks.
Haifa Verification Conference
Dorit Baras, Laurent Fournier, Avi Ziv
2008 — conf
Ensuring Functional Closure of a Multi-core SoC through Verification Planning, Implementation and Execution.
MTV
Alan Hunter, Andrew Piziali, Avi Ziv, Kelly Larson, Shankar Hemmady
2008 — conf
Special session - What's so intelligent about testbenches?
HLDVT
Avi Ziv, Chris Wilson, Adnan Hamid, Joerg Grosse
2007 — ed.
Hardware and Software, Verification and Testing, Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers
Haifa Verification Conference
Eyal Bin, Avi Ziv, Shmuel Ur
2007 — conf
Using Virtual Coverage to Hit Hard-To-Reach Events.
Haifa Verification Conference
Laurent Fournier, Avi Ziv
2007 A* conf
Verification Coverage: When is Enough, Enough?
DAC
Francine Bacchini, Alan J. Hu, Tom Fitzpatrick, Rajeev Ranjan, David Lacey, Mercedes Tan, Andrew Piziali, Avi Ziv
2006 J jnl
Advanced Analysis Techniques for Cross-Product Coverage.
IEEE Trans. Computers
Hezi Azatchi, Laurent Fournier, Eitan Marcus, Shmuel Ur, Avi Ziv, Keren Zohar
2006 J jnl
Harnessing Machine Learning to Improve the Success Rate of Stimuli Generation.
IEEE Trans. Computers
Shai Fine, Ari Freund, Itai Jaeger, Yishay Mansour, Yehuda Naveh, Avi Ziv
2006 A* conf
Scheduling-based test-case generation for verification of multimedia SoCs.
DAC
Amir Nahir, Avi Ziv, Roy Emek, Tal Keidar, Nir Ronen
2006 — conf
Using Linear Programming Techniques for Scheduling-Based Random Test-Case Generation.
Haifa Verification Conference
Amir Nahir, Yossi Shiloach, Avi Ziv
2005 — conf
Advanced analysis techniques for cross-product coverage.
HLDVT
Hezi Azatchi, Laurent Fournier, Avi Ziv, Keren Zohar
2005 — conf
Harnessing machine learning to improve the success rate of stimuli generation.
HLDVT
Shai Fine, Ari Freund, Itai Jaeger, Yehuda Naveh, Avi Ziv, Yishay Mansour
2005 — conf
Panel: Functional coverage - is your design exposed?
HLDVT
Andrew Piziali, Avi Ziv
2004 A* conf
Defining coverage views to improve functional coverage analysis.
DAC
Sigal Asaf, Eitan Marcus, Avi Ziv
2004 — conf
Enhancing the efficiency of Bayesian network based coverage directed test generation.
HLDVT
Markus Braun, Shai Fine, Avi Ziv
2004 J jnl
Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification.
IEEE Des. Test Comput.
Allon Adir, Eli Almog, Laurent Fournier, Eitan Marcus, Michal Rimon, Michael Vinov, Avi Ziv
2004 — conf
Probabilistic Alternative Regression Suites.
ISoLA (Preliminary proceedings)
Shady Copty, Shai Fine, Shmuel Ur, Avi Ziv
2004 A* conf
Probabilistic regression suites for functional verification.
DAC
Shai Fine, Shmuel Ur, Avi Ziv
2004 A conf
Stimuli Generation with Late Binding of Values.
DATE
Avi Ziv
2003 A* conf
Coverage directed test generation for functional verification using bayesian networks.
DAC
Shai Fine, Avi Ziv
2003 A conf
Cross-Product Functional Coverage Measurement with Temporal Properties-Based Assertions .
DATE
Avi Ziv
2003 — conf
Enhancing the control and efficiency of the covering process [logic verification].
HLDVT
Shai Fine, Avi Ziv
2003 C conf
Functional Verification Environment for Object-oriented Hardware Designs.
FDL
Avi Ziv
2003 — conf
Panel: What's the next 'big thing' in simulation-based verification?
HLDVT
Moshe Levinger, Avi Ziv, Brian Bailey, Jacob Abraham, Bob Bentley, William H. Joyner, Yaron Kas
2003 — conf
Piparazzi: a test program generator for micro-architecture flow verification.
HLDVT
Allon Adir, Eyal Bin, Ofer Peled, Avi Ziv
2003 C conf
Solving Range Constraints for Binary Floating-Point Instructions.
IEEE Symposium on Computer Arithmetic
Avi Ziv, Merav Aharoni, Sigal Asaf
2003 J jnl
Solving the generalized mask constraint for test generation of binary floating point add operation.
Theor. Comput. Sci.
Avi Ziv, Laurent Fournier
2002 A* conf
Hole analysis for functional coverage data.
DAC
Oded Lachish, Eitan Marcus, Shmuel Ur, Avi Ziv
2002 J jnl
Using a constraint satisfaction formulation and solution techniques for random test program generation.
IBM Syst. J.
Eyal Bin, Roy Emek, Gil Shurek, Avi Ziv
2001 A conf
Cost evaluation of coverage directed test generation for the IBM mainframe.
ITC
Gilly Nativ, Steven Mittermaier, Shmuel Ur, Avi Ziv
1998 J jnl
Analysis of Checkpointing Schemes with Task Duplication.
IEEE Trans. Computers
Avi Ziv, Jehoshua Bruck
1998 A* conf
Design Reliability - Estimation through Statistical Analysis of Bug Discovery Data.
DAC
Yossi Malka, Avi Ziv
1998 A* conf
User Defined Coverage - A Tool Supported Methodology for Design Verification.
DAC
Raanan Grinwald, Eran Harel, Michael Orgad, Shmuel Ur, Avi Ziv
1997 J jnl
An On-Line Algorithm for Checkpoint Placement.
IEEE Trans. Computers
Avi Ziv, Jehoshua Bruck
1997 J jnl
Performance Optimization of Checkpointing Schemes with Task Duplication.
IEEE Trans. Computers
Avi Ziv, Jehoshua Bruck
1996 A conf
An on-line algorithm for checkpoint placement.
ISSRE
Avi Ziv, Jehoshua Bruck
1994 B conf
Analysis of Checkpointing Schemes for Multiprocessor Systems.
SRDS
Avi Ziv, Jehoshua Bruck
1994 A* conf
Placement and Routing for a Field Programmable Multi-Chip Module.
DAC
Sanko Lan, Avi Ziv, Abbas El Gamal