A logical processor is formed from a pair of processor units operating in close synchrony to perform self-check operations. Outputs of one of the processor units are compared to that of the other processor unit. When one of the processor units experiences an error, creating a divergence, that error and/or...http://www.google.com.tw/patents/US6393582?utm_source=gb-gplus-share專利 US6393582 - Error self-checking and recovery using lock-step processor pair architecture