Ofer Peled

According to our database, Ofer Peled authored at least 4 papers between 2003 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

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, 2010

2007

A Framework for the Validation of Processor Architecture Compliance.

Allon Adir, Sigal Asaf, Laurent Fournier, Itai Jaeger, Ofer Peled

Proceedings of the 44th Design Automation Conference, 2007

2005

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, 2005

2003

Piparazzi: a test program generator for micro-architecture flow verification.

Allon Adir, Eyal Bin, Ofer Peled, Avi Ziv

Proceedings of the Eighth IEEE International High-Level Design Validation and Test Workshop 2003, 2003