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 Danny J. Klema Tien N. Le F. Danette Lewis Philip E. Milling Lawrence A. McConville Bradley S. Nelson Viresh Paruthi Travis W. Pouarz Audre D. Romonosky Jeff Stuecheli Kent D. Thompson Dave W. Victor Bruce Wile Functional verification of the POWER4 microprocessor and POWER4 multiprocessor system. 53-76 2002 46 IBM Journal of Research and Development 1 http://dx.doi.org/10.1147/rd.461.0053 db/journals/ibmrd/ibmrd46.html#LuddenRHRJCBBPABKKLLMMNPPRSTVW02