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