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)

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)

SLAM: SLice And Merge - Effective Test Generation for Large Systems. - Tali Rabetti; Ronny Morad; Alex Goryachev; Wisam Kadry; Richard D. Peterson (Haifa Verification Conference, 2013)

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)