| |
| 2007 | ||
|---|---|---|
| 3 | EE | Alon Flaisher, Alon Gluska, Eli Singerman: Case study: Integrating FV and DV in the Verification of the Intel CoreTM 2 Duo Microprocessor. FMCAD 2007: 192-195 |
| 2006 | ||
| 2 | EE | Alon Gluska: Practical methods in coverage-oriented verification of the merom microprocessor. DAC 2006: 332-337 |
| 2003 | ||
| 1 | EE | Alon Gluska: Coverage-oriented verification of banias. DAC 2003: 280-285 |
| 1 | Alon Flaisher | [3] |
| 2 | Eli Singerman | [3] |