Publications

7 results for John M. Ludden

Confidential computing for OpenPOWER
- - Guerney D. H. Hunt
  - Ramachandra Pai
  - et al.
- 2021
- EuroSys 2021
Post Silicon Validation of the MMU
- - Tom Kolan
  - Hillel Mendelson
  - et al.
- 2021
- DATE 2021
IBM POWER9 system software
- - Joefon Jann
  - Paul Mackerras
  - et al.
- 2018
- IBM J. Res. Dev
Solutions to IBM POWER8 verification challenges
- - Klaus-Dieter Schubert
  - John M. Ludden
  - et al.
- 2015
- IBM J. Res. Dev
Verification of transactional memory in POWER8
- - Allon Adir
  - Dave Goodman
  - et al.
- 2014
- DAC 2014
Functional verification of the IBM POWER7 microprocessor and POWER7 multiprocessor systems
- - Klaus-Dieter Schubert
  - Wolfgang Roesner
  - et al.
- 2011
- IBM J. Res. Dev
Industrial experience with test generation languages for processor verification
- - Michael Behm
  - John Ludden
  - et al.
- 2004
- DAC 2004