Alon Gluska

According to our database, Alon Gluska authored at least 4 papers between 2003 and 2009.

Collaborative distances:

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

2009

Shortening the verification cycle with synthesizable abstract models.

Alon Gluska, Lior Libis

Proceedings of the 46th Design Automation Conference, 2009

2007

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

Alon Flaisher, Alon Gluska, Eli Singerman

Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

2006

Practical methods in coverage-oriented verification of the merom microprocessor.

Alon Gluska

Proceedings of the 43rd Design Automation Conference, 2006

2003

Coverage-oriented verification of banias.

Alon Gluska

Proceedings of the 40th Design Automation Conference, 2003