Auto-detecção e correcção de erros em FPGAs - Barbosa, Mário Marinho Pereira (2006)