Concepedia

Michael Behm

MB

4

Publications

172

Citations

4

H-Index

2002

Active since

Affiliations

IBM Research - Haifa(Current)

Michael Behm is an author at IBM Research - Haifa specializing in verification, parallel computing, and computer science.

Top concepts

Publications per year

2002–2011

4

Publications

4

Functional verification of the POWER4 microprocessor and POWER4 multiprocessor systems

J. M. Ludden, Wolfgang Roesner, G. M. Heiling et al. · IBM Journal of Research and Development · 2002 · 62 citations

, , +26

Industrial experience with test generation languages for processor verification

Michael Behm, J. M. Ludden, Yossi Lichtenstein et al. · 2004 · 52 citations

, , +20

Functional verification of the POWER5 microprocessor and POWER5 multiprocessor systems

D. W. Victor, J. M. Ludden, R. D. Peterson et al. · IBM Journal of Research and Development · 2005 · 31 citations

, , +30

Functional verification of the IBM POWER7 microprocessor and POWER7 multiprocessor systems

Klaus-Dieter Schubert, Wolfgang Roesner, J. M. Ludden et al. · IBM Journal of Research and Development · 2011 · 27 citations

, , +21

Rows per page

1–4 of 4