Eitan Marcus

Genesys-pro: innovations in test program generation for functional processor verification

Allon Adir, Eli Almog, Laurent Sébastien Fournier et al. · IEEE Design & Test of Computers · 2004 · 180 citations

Engineering, Computer Engineering, Computer Science +15

Constraint-based random stimuli generation for hardware verification

Y. Naveh, Michal Rimon, Itai Jaeger et al. · 2006 · 51 citations

Computing, Computer Engineering, Computer Science +17

Hole analysis for functional coverage data

Oded Lachish, Eitan Marcus, Shmuel Ur et al. · Proceedings - ACM IEEE Design Automation Conference · 2002 · 50 citations

Computing, Data Science, Feature Engineering +7

Advanced Analysis Techniques for Cross-Product Coverage

Hezi Azatchi, Laurent Sébastien Fournier, Eitan Marcus et al. · IEEE Transactions on Computers · 2006 · 21 citations

Engineering, Computer Engineering, Design +12

Hole analysis for functional coverage data

O. Lachish, Eitan Marcus, Shmuel Ur et al. · Proceedings 2002 Design Automation Conference (IEEE Cat. No.02CH37324) · 2002 · 21 citations

Computing, Data Science, Feature Engineering +7