Alon Gluska

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2009

4 Alon Gluska, Lior Libis: Shortening the verification cycle with synthesizable abstract models. DAC 2009: 454-459

2007

3 Alon Flaisher, Alon Gluska, Eli Singerman: Case study: Integrating FV and DV in the Verification of the Intel Core^TM 2 Duo Microprocessor. FMCAD 2007: 192-195

2006

2 Alon Gluska: Practical methods in coverage-oriented verification of the merom microprocessor. DAC 2006: 332-337

2003

1 Alon Gluska: Coverage-oriented verification of banias. DAC 2003: 280-285

	2009
4		Alon Gluska, Lior Libis: Shortening the verification cycle with synthesizable abstract models. DAC 2009: 454-459
	2007
3		Alon Flaisher, Alon Gluska, Eli Singerman: Case study: Integrating FV and DV in the Verification of the Intel Core^TM 2 Duo Microprocessor. FMCAD 2007: 192-195
	2006
2		Alon Gluska: Practical methods in coverage-oriented verification of the merom microprocessor. DAC 2006: 332-337
	2003
1		Alon Gluska: Coverage-oriented verification of banias. DAC 2003: 280-285

Coauthor Index

1 Alon Flaisher [3]

2 Lior Libis [4]

3 Eli Singerman [3]

Colors in the list of coauthors