| 1999 |
|---|
| 4 | EE | Laurent Fournier,
Anatoly Koyfman,
Moshe Levinger:
Developing an Architecture Validation Suite: Applicaiton to the PowerPC Architecture.
DAC 1999: 189-194 |
| 3 | 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 |
| 1995 |
|---|
| 2 | EE | Aharon Aharon,
Dave Goodman,
Moshe Levinger,
Yossi Lichtenstein,
Yossi Malka,
Charlotte Metzger,
Moshe Molcho,
Gil Shurek:
Test Program Generation for Functional Verification of PowerPC Processors in IBM.
DAC 1995: 279-285 |
| 1 | | Moshe Levinger,
Uzzi Ornan,
Alon Itai:
Learning Morpho-Lexical Probabilities from an Untagged Corpus with an Application to Hebrew.
Computational Linguistics 21(3): 383-404 (1995) |
