| |
| 2005 | ||
|---|---|---|
| 2 | EE | Allon Adir, Yaron Arbetman, Bella Dubrov, Yossi Lichtenstein, Michal Rimon, Michael Vinov, Massimo A. Calligaro, Andrew Cofler, Gabriel Duffy: VLIW: a case study of parallelism verification. DAC 2005: 779-782 |
| 1999 | ||
| 1 | EE | Laurent Fournier, Yaron Arbetman, Moshe Levinger: Functional Verification Methodology for Microprocessors Using the Genesys Test-Program Generator-Application to the x86 Microprocessors Family. DATE 1999: 434-441 |
| 1 | Allon Adir | [2] |
| 2 | Massimo A. Calligaro | [2] |
| 3 | Andrew Cofler | [2] |
| 4 | Bella Dubrov | [2] |
| 5 | Gabriel Duffy | [2] |
| 6 | Laurent Fournier | [1] |
| 7 | Moshe Levinger | [1] |
| 8 | Yossi Lichtenstein | [2] |
| 9 | Michal Rimon | [2] |
| 10 | Michael Vinov | [2] |