Publications (3)0 Total impact
-
Conference Proceeding: 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 - July 3, 2010; 01/2010 -
Conference Proceeding: An ontology and constraint based approach to cache preloading.
IEEE International High Level Design Validation and Test Workshop, HLDVT 2010, Anaheim, CA, USA, 10-12 June 2010; 01/2010 -
Conference Proceeding: A generic micro-architectural test plan approach for microprocessor verification.
Proceedings of the 42nd Design Automation Conference, DAC 2005, San Diego, CA, USA, June 13-17, 2005; 01/2005
Institutions
-
2005
-
University of Haifa
Haifa, Haifa District, Israel
-