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 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

Published in: IBM J. Res. Dev. (2002)

Keyphrases