Update decod_imagen.v