Concepedia

Moshe Levinger

ML

6

Publications

319

Citations

6

H-Index

1995

Active since

Affiliations

IBM Research - Haifa(Current)

Moshe Levinger is an author at IBM Research - Haifa specializing in design for testing, formal verification, and engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisDesign For TestingFormal VerificationComputer EngineeringComputer Architecture

Publications per year

1995–2003

6

Publications

6

Test program generation for functional verification of PowerPC processors in IBM

Aharon Aharon, Dave Goodman, Moshe Levinger et al. · 1995 · 164 citations

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

Laurent Sébastien Fournier, Yaron Arbetman, Moshe Levinger · 1999 · 48 citations

Engineering, Hardware Verification Language, Verification +19

Learning morpho-lexical probabilities from an untagged corpus with an application to Hebrew

Moshe Levinger, Alon Itai, Uzzi Ornan · 1995 · 34 citations

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

Laurent Sébastien Fournier, Yaron Arbetman, Moshe Levinger · Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings (Cat. No. PR00078) · 2003 · 34 citations

Engineering, Hardware Verification Language, Verification +20

Constraint satisfaction for test program generation

Daniel R. Lewin, Laurent Sébastien Fournier, Moshe Levinger et al. · 2002 · 25 citations

Engineering, Memory Access Generation, Computer Architecture +21

Rows per page

1–5 of 6