Eitan Marcus

According to our database1, Eitan Marcus authored at least 10 papers between 2001 and 2014.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
Enhancing Scenario Quality Using Quasi-Events.
Proceedings of the Hardware and Software: Verification and Testing, 2014

2010
Ontology-Based Tools in the Service of Hardware Verification.
Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

An ontology and constraint based approach to cache preloading.
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2010

2007
Constraint-Based Random Stimuli Generation for Hardware Verification.
AI Mag., 2007

2006
Advanced Analysis Techniques for Cross-Product Coverage.
IEEE Trans. Computers, 2006

2004
Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification.
IEEE Des. Test Comput., 2004

Defining coverage views to improve functional coverage analysis.
Proceedings of the 41th Design Automation Conference, 2004

2002
Adaptive test program generation: planning for the unplanned.
Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002

Hole analysis for functional coverage data.
Proceedings of the 39th Design Automation Conference, 2002

2001
Improving test quality through resource reallocation.
Proceedings of the Sixth IEEE International High-Level Design Validation and Test Workshop 2001, 2001


  Loading...