Ofer Peled

Publication Activity (10 Years)

Years Active: 2003-2010
Publications (10 Years): 0

Publications

Eyal Bin, Alaa Ghanayim, Karen Holtz, Eitan Marcus, Ronny Morad, Ofer Peled, Michal Rimon, Gil Shurek, Elena Tsanko
Ontology-Based Tools in the Service of Hardware Verification. SEKE (2010)
Allon Adir, Sigal Asaf, Laurent Fournier, Itai Jaeger, Ofer Peled
A Framework for the Validation of Processor Architecture Compliance. DAC (2007)
Allon Adir, Hezi Azatchi, Eyal Bin, Ofer Peled, Kirill Shoikhet
A generic micro-architectural test plan approach for microprocessor verification. DAC (2005)
Allon Adir, Eyal Bin, Ofer Peled, Avi Ziv
Piparazzi: a test program generator for micro-architecture flow verification. HLDVT (2003)