The SCEAS System
Navigation Menu

Search the dblp DataBase


Avi Ziv: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Avi Ziv, Merav Aharoni, Sigal Asaf
    Solving Range Constraints for Binary Floating-Point Instructions. [Citation Graph (0, 0)][DBLP]
    IEEE Symposium on Computer Arithmetic, 2003, pp:158-164 [Conf]
  2. Sigal Asaf, Eitan Marcus, Avi Ziv
    Defining coverage views to improve functional coverage analysis. [Citation Graph (0, 0)][DBLP]
    DAC, 2004, pp:41-44 [Conf]
  3. Shai Fine, Shmuel Ur, Avi Ziv
    Probabilistic regression suites for functional verification. [Citation Graph (0, 0)][DBLP]
    DAC, 2004, pp:49-54 [Conf]
  4. Shai Fine, Avi Ziv
    Coverage directed test generation for functional verification using bayesian networks. [Citation Graph (0, 0)][DBLP]
    DAC, 2003, pp:286-291 [Conf]
  5. Raanan Grinwald, Eran Harel, Michael Orgad, Shmuel Ur, Avi Ziv
    User Defined Coverage - A Tool Supported Methodology for Design Verification. [Citation Graph (0, 0)][DBLP]
    DAC, 1998, pp:158-163 [Conf]
  6. Oded Lachish, Eitan Marcus, Shmuel Ur, Avi Ziv
    Hole analysis for functional coverage data. [Citation Graph (0, 0)][DBLP]
    DAC, 2002, pp:807-812 [Conf]
  7. Sanko Lan, Avi Ziv, Abbas El Gamal
    Placement and Routing for a Field Programmable Multi-Chip Module. [Citation Graph (0, 0)][DBLP]
    DAC, 1994, pp:295-300 [Conf]
  8. Yossi Malka, Avi Ziv
    Design Reliability - Estimation through Statistical Analysis of Bug Discovery Data. [Citation Graph (0, 0)][DBLP]
    DAC, 1998, pp:644-649 [Conf]
  9. Amir Nahir, Avi Ziv, Roy Emek, Tal Keidar, Nir Ronen
    Scheduling-based test-case generation for verification of multimedia SoCs. [Citation Graph (0, 0)][DBLP]
    DAC, 2006, pp:348-351 [Conf]
  10. Avi Ziv
    Cross-Product Functional Coverage Measurement with Temporal Properties-Based Assertions . [Citation Graph (0, 0)][DBLP]
    DATE, 2003, pp:10834-10841 [Conf]
  11. Avi Ziv
    Stimuli Generation with Late Binding of Values. [Citation Graph (0, 0)][DBLP]
    DATE, 2004, pp:558-563 [Conf]
  12. Amir Nahir, Yossi Shiloach, Avi Ziv
    Using Linear Programming Techniques for Scheduling-Based Random Test-Case Generation. [Citation Graph (0, 0)][DBLP]
    Haifa Verification Conference, 2006, pp:16-33 [Conf]
  13. Gilly Nativ, Steven Mittermaier, Shmuel Ur, Avi Ziv
    Cost evaluation of coverage directed test generation for the IBM mainframe. [Citation Graph (0, 0)][DBLP]
    ITC, 2001, pp:793-802 [Conf]
  14. Avi Ziv, Jehoshua Bruck
    Analysis of Checkpointing Schemes for Multiprocessor Systems. [Citation Graph (0, 0)][DBLP]
    Symposium on Reliable Distributed Systems, 1994, pp:52-61 [Conf]
  15. Allon Adir, Eli Almog, Laurent Fournier, Eitan Marcus, Michal Rimon, Michael Vinov, Avi Ziv
    Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification. [Citation Graph (0, 0)][DBLP]
    IEEE Design & Test of Computers, 2004, v:21, n:2, pp:84-93 [Journal]
  16. Eyal Bin, Roy Emek, Gil Shurek, Avi Ziv
    Using a constraint satisfaction formulation and solution techniques for random test program generation. [Citation Graph (0, 0)][DBLP]
    IBM Systems Journal, 2002, v:41, n:3, pp:386-402 [Journal]
  17. Hezi Azatchi, Laurent Fournier, Eitan Marcus, Shmuel Ur, Avi Ziv, Keren Zohar
    Advanced Analysis Techniques for Cross-Product Coverage. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 2006, v:55, n:11, pp:1367-1379 [Journal]
  18. Shai Fine, Ari Freund, Itai Jaeger, Yishay Mansour, Yehuda Naveh, Avi Ziv
    Harnessing Machine Learning to Improve the Success Rate of Stimuli Generation. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 2006, v:55, n:11, pp:1344-1355 [Journal]
  19. Avi Ziv, Jehoshua Bruck
    An On-Line Algorithm for Checkpoint Placement. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1997, v:46, n:9, pp:976-985 [Journal]
  20. Avi Ziv, Jehoshua Bruck
    Performance Optimization of Checkpointing Schemes with Task Duplication. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1997, v:46, n:12, pp:1381-1386 [Journal]
  21. Avi Ziv, Jehoshua Bruck
    Analysis of Checkpointing Schemes with Task Duplication. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1998, v:47, n:2, pp:222-227 [Journal]
  22. Avi Ziv, Laurent Fournier
    Solving the generalized mask constraint for test generation of binary floating point add operation. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:291, n:2, pp:183-201 [Journal]
  23. Francine Bacchini, Alan J. Hu, Tom Fitzpatrick, Rajeev Ranjan, David Lacey, Mercedes Tan, Andrew Piziali, Avi Ziv
    Verification Coverage: When is Enough, Enough? [Citation Graph (0, 0)][DBLP]
    DAC, 2007, pp:744-745 [Conf]

  24. Bridging pre-silicon verification and post-silicon validation. [Citation Graph (, )][DBLP]

  25. Automatic Boosting of Cross-Product Coverage Using Bayesian Networks. [Citation Graph (, )][DBLP]

  26. Using Virtual Coverage to Hit Hard-To-Reach Events. [Citation Graph (, )][DBLP]

  27. Probabilistic Alternative Regression Suites. [Citation Graph (, )][DBLP]

Search in 0.076secs, Finished in 0.078secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002