Aceleradores e Multiprocessadores em Chip: O Impacto da Execução Fora de Ordem na Verificação de Funcionalidade e de Consistência Documento