Eitan Marcus

Defining coverage views to improve functional coverage analysis

Avi Ziv, Sigal Asaf, Eitan Marcus, 2004, Proceedings. 41st Design Automation Conference, 2004..

Constraint-Based Random Stimuli Generation for Hardware Verification

Yehuda Naveh, Itai Jaeger, Yoav Katz, 2006, AI Mag..

Views to Improve Functional Coverage Analysis

Avi Ziv, Sigal Asaf, Eitan Marcus, 2004 .

Hole analysis for functional coverage data

Avi Ziv, Oded Lachish, Shmuel Ur, 2002, DAC '02.

Ontology-Based Tools in the Service of Hardware Verification

Elena Tsanko, Ofer Peled, Gil Shurek, 2010, SEKE.

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

Allon Adir, Avi Ziv, Laurent Fournier, 2004, IEEE Design & Test of Computers.

Improving test quality through resource reallocation

Allon Adir, Michal Rimon, Eitan Marcus, 2001, Sixth IEEE International High-Level Design Validation and Test Workshop.

Adaptive test program generation: planning for the unplanned

Allon Adir, Eitan Marcus, Roy Emek, 2002, Seventh IEEE International High-Level Design Validation and Test Workshop, 2002..

An ontology and constraint based approach to cache preloading

Rajiv Bhatia, Gil Shurek, Eyal Bin, 2010, 2010 IEEE International High Level Design Validation and Test Workshop (HLDVT).

Enhancing Scenario Quality Using Quasi-Events

Avi Ziv, Yoav Katz, Eitan Marcus, 2014, Haifa Verification Conference.