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. Functional verification of the POWER5 microprocessor and POWER5 multiprocessor systems. IBM Journal of Research and Development, 49(4-5):541-554, 2005. [doi]
Abstract is missing.