Piparazzi: a test program generator for micro-architecture flow verification. - Allon Adir; Eyal Bin; Ofer Peled; Avi Ziv (HLDVT, 2003)

A generic micro-architectural test plan approach for microprocessor verification. - Allon Adir; Hezi Azatchi; Eyal Bin; Ofer Peled; Kirill Shoikhet (DAC, 2005)

A Framework for the Validation of Processor Architecture Compliance. - Allon Adir; Sigal Asaf; Laurent Fournier; Itai Jaeger; Ofer Peled (DAC, 2007)

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 (SEKE, 2010)