Alon Gluska

Case study: Integrating FV and DV in the Verification of the Intel® Core^{TM} 2 Duo Microprocessor

Eli Singerman, Alon Flaisher, Alon Gluska, 2007, Formal Methods in Computer Aided Design (FMCAD'07).

Coverage-oriented verification of Banias

Alon Gluska, 2003, Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).

Shortening the verification cycle with synthesizable abstract models

Alon Gluska, Lior Libis, 2009, 2009 46th ACM/IEEE Design Automation Conference.

Using Snapshot to Implement Hierarchy of Criteria

Eitan Farchi, Michael Factor, Shmuel Ur, 2007 .

Case study: Integrating FV and DV in the Verification of the Intel® Core^{TM} 2 Duo Microprocessor

Eli Singerman, Alon Flaisher, Alon Gluska, 2007 .

Method for Measuring Architectural Test Coverage for Design Verification

Aharon Aharon, Yossi Lichtenstein, Laurent Fournier, 1998 .

Coverage-Oriented Verification of

Alon Gluska, 2003 .

Practical methods in coverage-oriented verification of the Merom microprocessor

Alon Gluska, 2006, 2006 43rd ACM/IEEE Design Automation Conference.