Diseño del ambiente de verificación para un decodificador de Viterbi - Cuéllar Robles, Saúl (2008)