"...porque la acualización de out y la recepción del último bit ambos se dan en el paso 3, en el mismo paso, por ende no puede pasar un periodo de reloj entre ellos o sí?"
Las trasferencias se hacen al final de los pasos, o sea que en un período de reloj se recibe el último bit y en el período siguiente se actualiza la salida.
Si tenés dudas hacé una simulación manual, debería funcionar tal como está en el diagrama de tiempos de la letra.
"Y una duda, lo de mantener el dato cómo se implementa aquí?"
Al conectar las salidas a las memorias: out_i[] = Mem_out_i[]
Las trasferencias se hacen al final de los pasos, o sea que en un período de reloj se recibe el último bit y en el período siguiente se actualiza la salida.
Si tenés dudas hacé una simulación manual, debería funcionar tal como está en el diagrama de tiempos de la letra.
"Y una duda, lo de mantener el dato cómo se implementa aquí?"
Al conectar las salidas a las memorias: out_i[] = Mem_out_i[]