Como ya comprende, su máquina de estado del controlador de semáforo es una máquina síncrona. Es decir, es impulsado por algún reloj de tal manera que todos los cambios de lógica combinatoria suceden y se asientan en valores estables el tiempo suficiente antes del próximo borde del reloj para cumplir con los tiempos de configuración requeridos.
simular este circuito : esquema creado con CircuitLab
Si los datos cambian dentro de ese tiempo de configuración, la salida final no solo será impredecible, sino que debido a la metaestabilidad, puede flotar o bailar alrededor de algún valor intermedio por un tiempo antes de elegir un valor final. Incluso puede oscilar entre el uno lógico y el cero lógico a una frecuencia alta, causando un flujo de corriente y calentamiento considerables.
Como tal, cualquier entrada asíncrona a una máquina de estado debe sincronizarse en algún momento para que el sistema funcione como espera. Sin embargo, eso no significa necesariamente que SIEMPRE necesite agregar otro pestillo al sistema.
Si la entrada solo procede a una "próxima puerta" Y el estado de la entrada es independiente de todas las demás entradas, entonces realmente no importa si la señal llega tarde a la fiesta. Básicamente, debe preguntar ... "Si perdemos la entrada para un ciclo de reloj, ¿importa?"
Sin embargo, si la entrada alimenta múltiples puertas que es diferente. Las siguientes puertas pueden ver diferentes niveles lógicos y propagar un estado erróneo al siguiente pestillo. Básicamente, puede suceder una variedad de cosas malas.
Esto se puede ilustrar con su simple ejemplo. Tenga en cuenta que si la metaestabilidad en REG1 no se resolvió antes del próximo reloj, podría causar que tanto el WALK como el semáforo se enciendan al mismo tiempo, o que ninguno se encienda.
simular este circuito
Además, si una entrada asincrónica tiene una relación con otra entrada asincrónica que espera que ocurra al mismo tiempo, la segunda entrada puede reconocerse pero la primera no.
En ambos casos, debe agregar un pestillo de sincronización a la entrada para alinear la sincronización de la señal con el reloj de las máquinas de estado. Tenga en cuenta que esto agrega un retraso de ciclo de reloj, o un retraso de ciclo de medio reloj si usa el otro borde de la señal de reloj.
Sin embargo, usted puede estar preguntando, "¿pero ESTE pestillo no sufre el mismo problema?" y, por supuesto, la respuesta sería sí. Pero el truco aquí es permitir que esa metaestabilidad potencial ocurra en un punto del circuito donde no importa, como lo destaqué anteriormente.
Encontrar ese punto puede ser problemático con entradas dependientes. Normalmente, se debe agregar lógica adicional para calificar esas entradas.
Sin embargo, tenga en cuenta que la metaestabilidad es una cosa de probabilidad. Aunque, debido a las diferencias en las tolerancias de fabricación, la mayoría de los pestillos se abrirán rápidamente, existe la posibilidad de que permanezca inestable durante bastante tiempo. Cuanto mayor sea la brecha entre los pulsos del reloj, mayor será la probabilidad de que se haya asentado. Como tal, si el reloj de su sistema está en una frecuencia alta, es prudente dividirlo para hacer el pre-enclavamiento para permitir un mayor tiempo de establecimiento. Sin embargo, incluso entonces no hay garantías.
Un pensamiento final. Mencioné que existe la posibilidad de metaestabilidad inducida por altas corrientes y calentamiento al sincronizar una entrada externa aleatoria. Desafortunadamente, es muy poco lo que puede hacer para corregir eso y los problemas de metaestabilidad a largo plazo además de eliminar los circuitos de entrada asíncronos.