Concepedia

J. M. Ludden

JM

6

Publications

227

Citations

6

H-Index

2002

Active since

Affiliations

IBM (United States)(Current)

IBM Research - Haifa

J. M. Ludden is an author at IBM (United States) specializing in computer architecture, computer science, and computer engineering.

Top concepts

EngineeringComputer ScienceComputer EngineeringComputer ArchitectureVerificationFormal MethodsHardware SecurityParallel ComputingFormal VerificationSystems Engineering

Publications per year

2002–2021

6

Publications

6

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

Engineering, Hardware Verification Language, Verification +26

Industrial experience with test generation languages for processor verification

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

Engineering, Hardware Verification Language, Verification +20

Confidential computing for OpenPOWER

Guerney D. H. Hunt, Ramachandra Pai, Michael Le et al. · 2021 · 37 citations

Engineering, Information Security, Computer Architecture +16

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

Hardware Modeling, Engineering, Hardware Verification Language +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

Engineering, Hardware Verification Language, Verification +21

Rows per page

1–5 of 6