Defining coverage views to improve functional coverage analysis
- Sigal Asaf
- Eitan Marcus
- et al.
- 2004
- DAC 2004
Conference paper
Publications
52 results for Avi Ziv
Genesys-Pro: Innovations in test program generation for functional processor verification
- Allon Adir
- Eli Almog
- et al.
- 2004
- IEEE Design and Test of Computers
PaperCross-product functional coverage measurement with temporal properties-based assertions [logic verification]
- Avi Ziv
- 2003
- DATE 2003
Conference paperEnhancing the control and efficiency of the covering process [logic verification]
- S. Fine
- A. Ziv
- 2003
- HLDVT 2003
Conference paperPiparazzi: A test program generator for micro-architecture flow verification
- A. Adir
- E. Bin
- et al.
- 2003
- HLDVT 2003
Conference paperCoverage directed test generation for functional verification using Bayesian networks
- Shai Fine
- Avi Ziv
- 2003
- DAC 2003
Conference paperCross-fertilization between hardware verification and software testing
- Shmuel Ur
- Avi Ziv
- 2002
- SEAPP 2002
Conference paperHole analysis for functional coverage data
- Oded Lachish
- Eitan Marcus
- et al.
- 2002
- Proceedings - Design Automation Conference
PaperUsing a constraint satisfaction formulation and solution techniques for random test program generation
- Eyal Bin
- Roy Emek
- et al.
- 2002
- IBM Systems Journal
PaperAnalysis of checkpointing schemes with task duplication
- Avi Ziv
- Jehoshua Bruck
- 1998
- IEEE TC
Paper