Moshe Levinger

Publication Activity (10 Years)

Years Active: 1995-2003
Publications (10 Years): 0

Publications

Moshe Levinger, Avi Ziv, Brian Bailey, Jacob Abraham, Bob Bentley, William H. Joyner, Yaron Kas
Panel: What's the next 'big thing' in simulation-based verification? HLDVT (2003)
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)
Shai Rubin, Moshe Levinger, Randall R. Pratt, William P. Moore
Fast construction of test-program generators for digital signal processors. ICASSP (1999)
Laurent Fournier, Anatoly Koyfman, Moshe Levinger
Developing an Architecture Validation Suite: Applicaiton to the PowerPC Architecture. DAC (1999)
Moshe Levinger, Uzzi Ornan, Alon Itai
Learning Morpho-Lexical Probabilities from an Untagged Corpus with an Application to Hebrew. Comput. Linguistics 21 (3) (1995)
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)