Tengo una tabla de transición de estado y una tabla de verdad almacenada en una ROM. La tabla de verdad se obtuvo de la tabla de transición de estado, pero no estoy seguro de cómo. ¿Alguien podría explicar cómo se obtiene la tabla de verdad del diagrama de estado que se muestra en la imagen a continuación?
A, B y C se utilizan como una representación de 3 bits del "estado actual". Por ejemplo, un estado actual de 1 (primera fila de la tabla de transición) corresponde a ABC = 001.
Para cada estado actual, hay una fila para x = 0 y una fila para x = 1.
Para cada una de esas filas, el contenido de la ROM incluye los nuevos valores para A, B y C para representar el siguiente estado y un bit para la salida.
Las filas no utilizadas en la ROM (como las dos primeras filas, para ABC = 000) se dejan como todos ceros. Tenga en cuenta que esto hará que la máquina de estado se "cuelgue" si alcanza un estado indefinido.
Lea otras preguntas en las etiquetas digital-logic state-machines rom