Text this: Verification strategy for the Blue Gene/L chip.