Verification strategy for the Blue Gene/L chipMichael E. WazlowskiNarasimha R. Adigaet al.2005IBM J. Res. Dev