Verification strategy for the Blue Gene/L chip.

Michael E. Wazlowski Narasimha R. Adiga Daniel K. Beece Ralph Bellofatto Matthias A. Blumrich Dong Chen Marc Boris Dombrowa Alan Gara Mark Giampapa Ruud A. Haring Philip Heidelberger Dirk Hoenicke Ben J. Nathanson Martin Ohmacht Robert Sharrar Sarabjeet Singh Burkhard D. Steinmacher-Burow R. Brett Tremaine Mickey Tsao Arun R. Umamaheshwaran Pavlos Vranas Verification strategy for the Blue Gene/L chip. 303-318 2005 49 IBM Journal of Research and Development 2-3 http://dx.doi.org/10.1147/rd.492.0303 db/journals/ibmrd/ibmrd49.html#WazlowskiABBBCDGGHHHNOSSSTTUV05