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)

The POWER8TM processor: Designed for big data, analytics, and cloud environments. - Joshua Friedrich; Hung Q. Le; William J. Starke; Jeff Stuecheli; Balaram Sinharoy; Eric J. Fluhr; Daniel M. Dreps; Victor V. Zyuban; Gregory S. Still; Christopher J. Gonzalez; David Hogenmiller; Frank Malgioglio; et al. (ICICDT, 2014)