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