Coverage-oriented verification of banias. - Alon Gluska (DAC, 2003)

Practical methods in coverage-oriented verification of the merom microprocessor. - Alon Gluska (DAC, 2006)

Case study: Integrating FV and DV in the Verification of the Intel CoreTM 2 Duo Microprocessor. - Alon Flaisher; Alon Gluska; Eli Singerman (FMCAD, 2007)

Shortening the verification cycle with synthesizable abstract models. - Alon Gluska; Lior Libis (DAC, 2009)