Alon Gluska
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2003–2009
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | DAC | Shortening the verification cycle with synthesizable abstract models. | Alon Gluska, Lior Libis |
| 2007 | FMCAD | Case study: Integrating FV and DV in the Verification of the Intel Core | Alon Flaisher, Alon Gluska, Eli Singerman |
| 2006 | DAC | Practical methods in coverage-oriented verification of the merom microprocessor. | Alon Gluska |
| 2003 | DAC | Coverage-oriented verification of banias. | Alon Gluska |