Probabilistic regression suites for functional verification
- Shai Fine
- Shmuel Ur
- et al.
- 2004
- DAC 2004
Publications
Date
Featured collections
Popular topics
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
Cross-product functional coverage measurement with temporal properties-based assertions [logic verification]
- Avi Ziv
- 2003
- DATE 2003
Enhancing the control and efficiency of the covering process [logic verification]
- S. Fine
- A. Ziv
- 2003
- HLDVT 2003
Piparazzi: A test program generator for micro-architecture flow verification
- A. Adir
- E. Bin
- et al.
- 2003
- HLDVT 2003
Coverage directed test generation for functional verification using Bayesian networks
- Shai Fine
- Avi Ziv
- 2003
- DAC 2003
Cross-fertilization between hardware verification and software testing
- Shmuel Ur
- Avi Ziv
- 2002
- SEAPP 2002
Using a constraint satisfaction formulation and solution techniques for random test program generation
- Eyal Bin
- Roy Emek
- et al.
- 2002
- IBM Systems Journal
Hole analysis for functional coverage data
- Oded Lachish
- Eitan Marcus
- et al.
- 2002
- Proceedings - Design Automation Conference
Analysis of checkpointing schemes with task duplication
- Avi Ziv
- Jehoshua Bruck
- 1998
- IEEE TC