Generación de un modelo sintetizable en compuertas estándar para la CPUCR - Alvarado Pacheco, Warren (2005)