Validación del modelo RTL en desarrollo para la CPUCR de 32 bits con pipeline - Cubero Cascante, José Andrés (2009)