Functional verification of the POWER4 microprocessor and POWER4 multiprocessor system. - John M. Ludden; Wolfgang Roesner; Gerry M. Heiling; John R. Reysa; Jonathan R. Jackson; Bing-Lun Chu; Michael L. Behm; Jason Baumgartner; Richard D. Peterson; Jamee Abdulhafiz; William E. Bucy; John H. Klaus; et al. (IBM J. Res. Dev., 2002)

Industrial experience with test generation languages for processor verification. - Michael L. Behm; John M. Ludden; Yossi Lichtenstein; Michal Rimon; Michael Vinov (DAC, 2004)

Functional verification of the POWER5 microprocessor and POWER5 multiprocessor systems. - Dave W. Victor; John M. Ludden; Richard D. Peterson; Bradley S. Nelson; W. Keith Sharp; James K. Hsu; Bing-Lun Chu; Michael L. Behm; Rebecca M. Gott; Audre D. Romonosky; Steven R. Farago (IBM J. Res. Dev., 2005)

Advances in Simultaneous Multithreading Testcase Generation Methods. - John M. Ludden; Michal Rimon; Bryan G. Hickerson; Allon Adir (Haifa Verification Conference, 2010)

Verification of Transactional Memory in POWER8. - Allon Adir; Dave Goodman; Daniel Hershcovich; Oz Hershkovitz; Bryan G. Hickerson; Karen Holtz; Wisam Kadry; Anatoly Koyfman; John M. Ludden; Charles Meissner; Amir Nahir; Randall R. Pratt; et al. (DAC, 2014)

Solutions to IBM POWER8 verification challenges. - Klaus-Dieter Schubert; John M. Ludden; Salma Ayub; J. Behrend; Bishop Brock; Fady Copty; S. M. German; Oz Hershkovitz; H. Horbach; Jonathan R. Jackson; K. Keuerleber; J. Koesters; et al. (IBM J. Res. Dev., 2015)

IBM POWER9 system software. - Joefon Jann; Paul Mackerras; John M. Ludden; Michael Gschwind; Wade Ouren; Stuart Jacobs; Brian F. Veale; David Edelsohn (IBM J. Res. Dev., 2018)

Post Silicon Validation of the MMU. - Tom Kolan; Hillel Mendelson; Vitali Sokhin; Shai Doron; Hernan Theiler; Shay Aviv; Hagai Hadad; Natalia Freidman; Elena Tsanko; John M. Ludden; Bryant Cockcroft (DATE, 2021)

Confidential computing for OpenPOWER. - Guerney D. H. Hunt; Ramachandra Pai; Michael V. Le; Hani Jamjoom; Sukadev Bhattiprolu; Rick Boivie; Laurent Dufour; Brad Frey; Mohit Kapur; Kenneth A. Goldman; Ryan Grimm; Janani Janakirman; et al. (EuroSys, 2021)