Editar: aclara que no es el estado de las máquinas de estados individuales lo que no es válido, sino todo el sistema.
Las señales de reinicio son necesarias para los sistemas que contienen máquinas de estado cuando hay estados del sistema no válidos. Los posibles ejemplos serían
- los motores de protocolo que cuentan los bits: el remitente y el receptor deben acordar dónde está el bit 0.
- se reinicia una computadora: ahora sus controladores de interrupción ya no pueden atender solicitudes de interrupción, por lo que no se deben generar más solicitudes.
Los estados no válidos se ingresan porque los registros se configuran en valores aleatorios durante el encendido, o debido a errores o influencia externa (por ejemplo, rayos cósmicos que cambian de bits).
La lógica de restablecimiento solo necesita cambiar aquellos registros que tienen una influencia real en el comportamiento externo, por lo que generalmente no hay necesidad de definir estados de restablecimiento para cada registro (aunque varias arquitecturas modernas de FPGA tienen una red de distribución de restablecimiento dedicada, por lo que no hay más los recursos se consumen aquí).
Por ejemplo, un diseño de procesador garantizaría solo que el contador del programa se configuraría en el vector de reinicio y el modo de ejecución en modo supervisor. No es necesario restablecer los registros de usuarios, ya que se espera que el código de inicio los sobrescriba de todos modos.
Si su sumador necesita una señal de restablecimiento depende de la forma en que está diseñado. Un sumador puramente combinatorio no tiene ningún estado, por lo que no hay nada que restablecer.
Si la salida está registrada, podría agregar un restablecimiento que lo borre a cero, pero normalmente lo borraría a 'U'
para causar un error en la simulación si ese valor se propaga a un puerto de salida.
Si su sumador tiene un estado adicional (por ejemplo, hay diseños de sumador que solo tienen un único puerto de entrada y agregan el valor a su acumulador), entonces necesitará un reinicio para borrar el acumulador. Si el reinicio está conectado a un reinicio en todo el chip, o generado por la siguiente entidad de envolvente, depende del diseño.