Fault-tolerant design of the IBM power6 microprocessor. - Reick, Kevin