Fault-Tolerant Design of the IBM Power6 Microprocessor | IEEE Journals & Magazine | IEEE Xplore