Defining coverage views to improve functional coverage analysis
- Sigal Asaf
- Eitan Marcus
- et al.
- 2004
- DAC 2004
Publications
This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.
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