Email Record: Fault-tolerant design of the IBM power6 microprocessor.