Eyal Bin

Publications (3)0 Total impact

• Conference Proceeding: Ontology-Based Tools in the Service of Hardware Verification.

  Eyal Bin, Alaa Ghanayim, Karen Holtz, Eitan Marcus, Ronny Morad, Ofer Peled, Michal Rimon, Gil Shurek, Elena Tsanko
  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.

  Rajiv Bhatia, Eyal Bin, Eitan Marcus, Gil Shurek
  IEEE International High Level Design Validation and Test Workshop, HLDVT 2010, Anaheim, CA, USA, 10-12 June 2010; 01/2010
• Source

  Available from: uci.edu

  Conference Proceeding: A generic micro-architectural test plan approach for microprocessor verification.

  Allon Adir, Hezi Azatchi, Eyal Bin, Ofer Peled, Kirill Shoikhet
  Proceedings of the 42nd Design Automation Conference, DAC 2005, San Diego, CA, USA, June 13-17, 2005; 01/2005