Estoy algo atascado y necesito ayuda desesperadamente. Me enfrento al problema del semáforo y entiendo completamente la lógica real de este. Sin embargo, estoy teniendo grandes dificultades para convertir esto en lógica digital. He pensado en el diagrama de estado. Mi mayor problema es que el Estado está representado por un número binario de dos bits. Entonces, cuando construyo mi circuito, ¿cómo "creo" este número de dos bits usando puertas y qué no?
Esta es mi tabla de verdad simplificada para el problema. 4 estados: nueva luz roja (00), luz roja existente (01), nueva luz verde (10) y luz verde existente (11) [la luz amarilla se está ignorando en mi versión del problema].
Reduced Truth Table
State Input new State
00 00 10
00 *1 10
00 10 01
01 00 10
01 *1 10
01 10 01
10 ** 11
11 0* 11
11 1* 00
Ahora, entiendo cómo diseñar con fuerza bruta la salida de cada estado + entrada para obtener cada estado nuevo. Solo estoy teniendo un momento muy difícil para juntarlo todo. Tengo el diagrama de estado extendido y lo obtengo cuando la transición debe suceder, es la lógica digital con la que estoy teniendo problemas.
Todavía tengo muchos problemas con los multiplexores, aunque sé que serían utilizables en este esquema que he dibujado a continuación (porque he creado un diseño de fuerza bruta del Estado en lugar de las entradas)
Tengo otro esquema mucho más complicado que incluye tanto el Estado como las Entradas, pero no estoy seguro de si es correcto o cómo usarlo más (es decir, conéctate al flip flop y crea una salida del color del semáforo) ) [NOTA: LA SALIDA ES INCORRECTA, la salida de la primera compuerta OR debe ser S0 y la salida de la segunda compuerta OR debe ser S1]
[]