especulando o resultado da verificação na decodificação especulativa, permite o redator e o verificador assíncronos. (*dado um hardware dedicado para o redator.)