[4gotunameagain]

It is not necessary that there is triple modular redundancy with lockstep, I know of microcontrollers with two processors, who throw an error when the results from instructions don't match.

[soneil]

yes - two votes allows you to detect a disagreement, three votes allows two votes to win.