Eitan Marcus

11 papers A* 3C 1Journal 3Unranked 4
YearRankTypeTitle / Venue / Authors
2014 — conf
Enhancing Scenario Quality Using Quasi-Events.
Haifa Verification Conference
Yoav Katz, Eitan Marcus, Avi Ziv
2010 — conf
An ontology and constraint based approach to cache preloading.
HLDVT
Rajiv Bhatia, Eyal Bin, Eitan Marcus, Gil Shurek
2010 C conf
Ontology-Based Tools in the Service of Hardware Verification.
SEKE
Eyal Bin, Alaa Ghanayim, Karen Holtz, Eitan Marcus, Ronny Morad, Ofer Peled, Michal Rimon, Gil Shurek, Elena Tsanko
2007 J jnl
Constraint-Based Random Stimuli Generation for Hardware Verification.
AI Mag.
Yehuda Naveh, Michal Rimon, Itai Jaeger, Yoav Katz, Michael Vinov, Eitan Marcus, Gil Shurek
2006 J jnl
Advanced Analysis Techniques for Cross-Product Coverage.
IEEE Trans. Computers
Hezi Azatchi, Laurent Fournier, Eitan Marcus, Shmuel Ur, Avi Ziv, Keren Zohar
2006 A* conf
Constraint-Based Random Stimuli Generation for Hardware Verification.
AAAI
Yehuda Naveh, Michal Rimon, Itai Jaeger, Yoav Katz, Michael Vinov, Eitan Marcus, Gil Shurek
2004 A* conf
Defining coverage views to improve functional coverage analysis.
DAC
Sigal Asaf, Eitan Marcus, Avi Ziv
2004 J jnl
Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification.
IEEE Des. Test Comput.
Allon Adir, Eli Almog, Laurent Fournier, Eitan Marcus, Michal Rimon, Michael Vinov, Avi Ziv
2002 — conf
Adaptive test program generation: planning for the unplanned.
HLDVT
Allon Adir, Roy Emek, Eitan Marcus
2002 A* conf
Hole analysis for functional coverage data.
DAC
Oded Lachish, Eitan Marcus, Shmuel Ur, Avi Ziv
2001 — conf
Improving test quality through resource reallocation.
HLDVT
Allon Adir, Eitan Marcus, Michal Rimon, Amir Voskoboynik