Design of a power-efficient ARM processor with a timing-error detection and correction mechanism.