Travelled to:3 × USA
Collaborated with:∅ L.Libis
Talks about:verif (3) coverag (2) orient (2) microprocessor (1) synthesiz (1) abstract (1) shorten (1) practic (1) method (1) model (1)
Person: Alon Gluska
DBLP: Gluska:Alon
Contributed to:
200920062003Wrote 3 papers:
- DAC-2009-GluskaL #modelling #verification
- Shortening the verification cycle with synthesizable abstract models (AG, LL), pp. 454–459.
- DAC-2006-Gluska #verification
- Practical methods in coverage-oriented verification of the merom microprocessor (AG), pp. 332–337.
- DAC-2003-Gluska #verification
- Coverage-oriented verification of banias (AG), pp. 280–285.