All Stories

  1. Hybrid Cloud Connector: Offloading integration complexities

    Article • September 2024, ACM (Association for Computing Machinery)

    Avi Ziv

  2. Cost-effective analysis of post-silicon functional coverage events

    Article • March 2017, Institute of Electrical & Electronics Engineers (IEEE)

    Avi Ziv

  3. Template Aware Coverage

    Article • January 2017, ACM (Association for Computing Machinery)

    Avi Ziv

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

    Article • June 2016, ACM (Association for Computing Machinery)

    Avi Ziv

  5. Enhancing Scenario Quality Using Quasi-Events

    Article • January 2014, Springer Science + Business Media

    Avi Ziv

  6. Hybrid checking for microarchitectural validation of microprocessor designs on acceleration platforms

    Article • November 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Avi Ziv

  7. A Novel Approach for Implementing Microarchitectural Verification Plans in Processor Designs

    Article • January 2013, Springer Science + Business Media

    Avi Ziv

  8. Optimizing test-generation to the execution platform

    Article • January 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Avi Ziv

  9. Checking architectural outputs instruction-by-instruction on acceleration platforms

    Article • January 2012, ACM (Association for Computing Machinery)

    Avi Ziv

  10. Reverse Coverage Analysis

    Article • January 2012, Springer Science + Business Media

    Avi Ziv

  11. A probabilistic analysis of coverage methods

    Article • ACM Transactions on Design Automation of Electronic Systems, October 2011, ACM (Association for Computing Machinery)

    Avi Ziv

  12. Learning microarchitectural behaviors to improve stimuli generation quality

    Article • January 2011, ACM (Association for Computing Machinery)

    Avi Ziv

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

    Article • January 2011, ACM (Association for Computing Machinery)

    Avi Ziv

  14. Reaching Coverage Closure in Post-silicon Validation

    Article • January 2011, Springer Science + Business Media

    Avi Ziv

  15. Threadmill

    Article • January 2011, ACM (Association for Computing Machinery)

    Avi Ziv

  16. Bridging pre-silicon verification and post-silicon validation

    Article • January 2010, ACM (Association for Computing Machinery)

    Avi Ziv

  17. Automatic Boosting of Cross-Product Coverage Using Bayesian Networks

    Article • January 2009, Springer Science + Business Media

    Avi Ziv

  18. Special session - What’s so intelligent about testbenches?

    Article • November 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Avi Ziv

  19. A probabilistic alternative to regression suites

    Article • Theoretical Computer Science, September 2008, Elsevier

    Avi Ziv

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

    Article • January 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Avi Ziv

  21. Verification Coverage: When is Enough, Enough?

    Article • June 2007, CrossRef Test Account

    Avi Ziv

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

    Article • January 2006, Institute of Electrical & Electronics Engineers (IEEE)

    Avi Ziv

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

    Article • January 2006, ACM (Association for Computing Machinery)

    Avi Ziv

  24. Probabilistic regression suites for functional verification

    Article • January 2004, ACM (Association for Computing Machinery)

    Avi Ziv

  25. Defining coverage views to improve functional coverage analysis

    Article • January 2004, ACM (Association for Computing Machinery)

    Avi Ziv

  26. Coverage directed test generation for functional verification using bayesian networks

    Article • January 2003, ACM (Association for Computing Machinery)

    Avi Ziv

  27. Coverage directed test generation for functional verification using bayesian networks

    Article • January 2003, ACM (Association for Computing Machinery)

    Avi Ziv

  28. Hole analysis for functional coverage data

    Article • January 2002, ACM (Association for Computing Machinery)

    Avi Ziv

  29. Hole analysis for functional coverage data

    Article • January 2002, ACM (Association for Computing Machinery)

    Avi Ziv

  30. Design reliability---estimation through statistical analysis of bug discovery data

    Article • January 1998, ACM (Association for Computing Machinery)

    Avi Ziv

  31. User defined coverage---a tool supported methodology for design verification

    Article • January 1998, ACM (Association for Computing Machinery)

    Avi Ziv

  32. Placement and routing for a field programmable multi-chip module

    Article • January 1994, ACM (Association for Computing Machinery)

    Avi Ziv

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

    Article • Springer Science + Business Media

    Avi Ziv

  34. Using Virtual Coverage to Hit Hard-To-Reach Events

    Article • Springer Science + Business Media

    Avi Ziv

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

    Article • Springer Science + Business Media

    Avi Ziv