Publications

10 results for Eitan Marcus

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 Naveh
  - Michal Rimon
  - et al.
- 2007
- AI Magazine
Constraint-based random stimuli generation for hardware verification
- - Yehuda Naveli
  - Michal Rimon
  - et al.
- 2006
- AAAI/IAAI 2006
Advanced analysis techniques for cross-product coverage
- - Hezi Azatchi
  - Laurent Fournier
  - et al.
- 2006
- IEEE TC
Defining coverage views to improve functional coverage analysis
- - Sigal Asaf
  - Eitan Marcus
  - et al.
- 2004
- DAC 2004
Genesys-Pro: Innovations in test program generation for functional processor verification
- - Allon Adir
  - Eli Almog
  - et al.
- 2004
- IEEE Design and Test of Computers
Adaptive test program generation: Planning for the unplanned
- - A. Adir
  - R. Emek
  - et al.
- 2002
- HLDVT 2002
Hole analysis for functional coverage data
- - Oded Lachish
  - Eitan Marcus
  - et al.
- 2002
- Proceedings - Design Automation Conference
Improving test quality through resource reallocation
- - A. Adir
  - E. Marcus
  - et al.
- 2001
- HLDVT 2001