Defining coverage views to improve functional coverage analysis
- Sigal Asaf
- Eitan Marcus
- et al.
- 2004
- DAC 2004
Publications
Date
Featured collections
Popular topics
10 results for Eitan Marcus
Advanced analysis techniques for cross-product coverage
- Hezi Azatchi
- Laurent Fournier
- et al.
- 2006
- IEEE TC
Ontology-based tools in the service of hardware verification
- Eyal Bin
- Alaa Ghanayim
- et al.
- 2010
- SEKE 2010
An ontology and constraint based approach to cache preloading
- Rajiv Bhatia
- Eyal Bin
- et al.
- 2010
- HLDVT 2010
Constraint-based random stimuli generation for hardware verification
- Yehuda Naveli
- Michal Rimon
- et al.
- 2006
- AAAI/IAAI 2006
Adaptive test program generation: Planning for the unplanned
- A. Adir
- R. Emek
- et al.
- 2002
- HLDVT 2002
Improving test quality through resource reallocation
- A. Adir
- E. Marcus
- et al.
- 2001
- HLDVT 2001
Constraint-based random stimuli generation for hardware verification
- Yehuda Naveh
- Michal Rimon
- et al.
- 2007
- AI Magazine
Genesys-Pro: Innovations in test program generation for functional processor verification
- Allon Adir
- Eli Almog
- et al.
- 2004
- IEEE Design and Test of Computers
Hole analysis for functional coverage data
- Oded Lachish
- Eitan Marcus
- et al.
- 2002
- Proceedings - Design Automation Conference