Verification of transactional memory in POWER8
- Allon Adir
- Dave Goodman
- et al.
- 2014
- DAC 2014
Publications
Date
Featured collections
Popular topics
7 results for John M. Ludden
Industrial experience with test generation languages for processor verification
- Michael Behm
- John Ludden
- et al.
- 2004
- DAC 2004
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
Functional verification of the IBM POWER7 microprocessor and POWER7 multiprocessor systems
- Klaus-Dieter Schubert
- Wolfgang Roesner
- et al.
- 2011
- IBM J. Res. Dev