Moshe Levinger

Test Program Generation for Functional Verification of PowePC Processors in IBM

Aharon Aharon, Gil Shurek, Yossi Lichtenstein, 1995, 32nd Design Automation Conference.

What's the next 'big thing' in simulation-based verification?

Avi Ziv, Brian Bailey, Moshe Levinger, 2003, Eighth IEEE International High-Level Design Validation and Test Workshop.

Fast construction of test-program generators for digital signal processors

Shai Rubin, Moshe Levinger, Randall R. Pratt, 1999, 1999 IEEE International Conference on Acoustics, Speech, and Signal Processing. Proceedings. ICASSP99 (Cat. No.99CH36258).

Learning Morpho-Lexical Probabilities from an Untagged Corpus with an Application to Hebrew

Alon Itai, Uzzi Ornan, Moshe Levinger, 1995, CL.

Functional verification methodology for microprocessors using the Genesys test-program generator. Application to the x86 microprocessors family

Laurent Fournier, Moshe Levinger, Yaron Arbetman, 1999, Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings (Cat. No. PR00078).

Developing an architecture validation suite: application to the PowerPC architecture

Laurent Fournier, Moshe Levinger, Anatoly Koyfman, 1999, DAC '99.

Functional verification methodology for microprocessors using the Genesys test-program generator

Laurent Fournier, Moshe Levinger, Yaron Arbetman, 1999, DATE '99.