Reconstrucción del modelo lógico de la CPUCR en Verilog e implementación del DFT por Céspedes Moya, Carlos