Avi Ziv's Publications

H. Azatchi, E. Marcus, L. Fournier, S. Ur, A. Ziv, K. Zohar, "Advanced Analysis Techniques for Cross-Product Coverage", accepted to IEEE Trans. on Computer, Special Issue on Simulation-Based Validation.

S. Fine, A. Fruend, I. Jaeger, Y. Mansour, Y. Naveh, A. Ziv, "Harnessing Machine Learning to Improve the Success Rate of Stimuli Generation", accepted to IEEE Trans. on Computer, Special Issue on Simulation-Based Validation.

H. Azatchi, L. Fournier, A. Ziv, K. Zohar, "Advanced Analysis Techniques for Cross-Product Coverage", in High-level Design, Verification and Testing Workshop, November 2005.

S. Fine, A. Fruend, I. Jaeger, Y. Mansour, Y. Naveh, A. Ziv, "Harnessing Machine Learning to Improve the Success Rate of Stimuli Generation", in High-level Design, Verification and Testing Workshop, November 2005.

S. Asaf, E. Marcus, A. Ziv, "Defining coverage views to improve functional coverage analysis", in Proceedings of the 41st Design Automation Conference, pages 41-44, June 2004.

S. Fine, S. Ur, A. Ziv, "Probabilistic regression suites for functional verification", in Proceedings of the 41st Design Automation Conference, pages 49-54, June 2004.

A. Ziv, "Stimuli Generation with Late Binding of Values" in Proceedings of the 2004 Design, Automation and Test in Europe Conference, pages 558-563, March 2004.

A. Adir, E. Almog, L. Fournier, E. Marcus, M. Rimon, M. Vinov, A. Ziv, " Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification", in IEEE Design & Test of Computers, Vol. 21 No. 2, pages 84-93, 2004.

A. Adir, E. Bin, and A. Ziv, "Piparazzi: A Test Program Generator for Micro-architecture Flow Verification", in High-level Design, Verification and Testing Workshop, pages 23-28, November 2003.

S. Fine and A. Ziv, "Enhancing the Control and Efficiency of the Covering Process", in High-level Design, Verification and Testing Workshop, pages 96-101, November 2003.

A. Ziv, "Functional Verification Environment for Object-oriented Hardware Designs", in Forum on Design Languages (FDL), September 2003.

S. Fine and A. Ziv, "Coverage Directed Test Generation for Functional Verification using Bayesian Networks", in Proceedings of the 40th Design Automation Conference, pages 286-291, June 2003.

A. Ziv, "Cross-Product Functional Coverage Measurement with Temporal Properties-based Assertions", in Proceedings of the 2003 Design, Automation and Test in Europe Conference, pages 834-841, March 2003.

S. Ur and A. Ziv, "Cross-Fertilization between Hardware Verification and Software Testing", in Software Engineering and Applications (SEA), November 2002.

O. Lachish and A. Ziv. "Object-oriented high-level modeling of an InfiniBand to PCI-X bridge", in E. Villar and J. Mermet, editors, System Specification & Design Languages. Best of FDL'02, pages 243-253. Kluwer Academic, 2003.

E. Bin, R. Emek, G. Shurek and A. Ziv, "Using a Constraint Satisfaction Formulation and Solution Techniques for random test program generation", in IBM Systems Journal, Vol. 41 No. 3, August 2002.

E. Marcus, O. Lachish, S. Ur and A.Ziv, "Hole Analysis for Functional Coverage Data", in The 39th Design Automation Conference, pages 807-812, New Orleans, June 2002.

A .Ziv, "Using Temporal Checkers for Functional Coverage", in Microprocessor Test and Verification (MTV), Austin, June 2002.

G. Nativ, S. Mittermaier, S. Ur and A. Ziv, "Cost Evaluation of Coverage Directed Test Generation for the IBM Mainframe" in International Test Conference (ITC), pages 793-802, October 2001.

A. Hartman, S. Ur and A. Ziv, "Short Vs. Long, Size Does Make a Difference", in STARWest 2000, San Jose, May 2000,

A. Hartman, S. Ur and A. Ziv, "Short Vs. Long, Size Does Make a Difference", in High-level Design, Verification and Testing Workshop, San Diego, November 1999,

S. Ur and A. Ziv, "Off-The-Shelf Vs. Custom-Made Coverage - Which Is The One for You?", invited talk in The 2nd Quality Week Europe, November 1998.

R. Grinwald, E. Harel, M. Orgad, S. Ur and A. Ziv, "User Defined Coverage - A Tool Supported Methodology for Design Verification", in The 35th Design Automation Conference, pages 158-163, June 1998.

Y. Malka and A. Ziv, "Design Reliability - Estimation Through Statistical Analysis of Bug Discovery Data", in The 35th Design Automation Conference, pages 644-649, June 1998.

S. Ur and A. Ziv, "Off-The-Shelf Vs. Custom-Made Coverage - Which Is The One for You?", in The International Conference on Software Testing Analysis and Review (STAR), May 1998.

A. Ziv and J. Bruck, "Analysis of Checkpointing Schemes with Task Duplication", IEEE Trans. on Computer, Vol. 47, No. 2, pages 222-227, February 1998.

A. Ziv and J. Bruck, "Performance Optimization of Checkpointing Schemes with Task Duplication", IEEE Trans. on Computer, Vol. 46, No. 12, pages 1381-1386, December 1997.

A. Ziv and J. Bruck, "An On-Line Algorithm for Checkpoint Placement", IEEE Trans. on Computer, Vol. 46, No. 9, pages 976-985, September 1997.

A. Ziv and J. Bruck, "An On-Line Algorithm for Checkpoint Placement", in The 7th International Symposium on Software Reliability Engineering, pages 274-283, October 1996.

A. Ziv and J. Bruck, "Checkpointing in Parallel and Distributed Systems", in Handbook on Parallel and Distributed Computing, A. Zomaya Editor, pages 274-302, McGraw-Hill, 1996.

A. Ziv and J. Bruck, "Analysis of Checkpointing Schemes for Multiprocessor Systems", in The 13th Symposium on Reliable Distributed Systems, pages 52-61, October 1994.

A. Ziv and J. Bruck, "Efficient Checkpointing Schemes over Local Area Networks", in The 1994 IEEE Workshop on Fault-Tolerant Parallel and Distributed Systems, June 1994.

S. Lan, A. Ziv and A. El Gamal, "Placement and Routing For A Field Programmable Multi-Chip Module", in The 31st Design Automation Conference, pages 295-300, June 1994.

IBM publications