![]() |
| * | 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 |