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)

Verification of the cell broadband engineTM processor. - Kanna Shimizu; Sanjay Gupta; Tatsuya Koyama; Takashi Omizo; Jamee Abdulhafiz; Larry McConville; Todd Swanson (DAC, 2006)