Máquinas digitales

Taller Lógica combinacional y secuencial

Pontificia Universidad Javeriana

Deivy J. Mayorquín Bejarano

dmayorquin@javeriana.edu.co

Hecho por: Valentina Hernández Bayona

Sebastian Vergara Alpizar
Jaider David Daza Pardo

Taller 2

1) La siguiente es una máquina de estados que permite detectar una secuencia binaria
compuesta por un ‘0’, seguido de un número par de ‘1’, por ejemplo (de derecha a
izquierda): 110, 11110, 1111110, 1100010. En el último caso, llegaron otros bits y en
seguida llegó la secuencia esperada.

Construya la tabla de transición de estados (tabla de verdad de la lógica de estado siguiente)

y la tabla de verdad de la lógica de salida, extraiga las ecuaciones y dibuje el circuito
resultante.

2) Identifique las entradas y salidas, y proponga una máquina de estados para el control de
una lavadora representada en la siguiente figura. Las etapas del proceso general son:
esperar la señal de inicio (Señal I), lavar, enjuagar, centrifugar y volver al inicio a esperar.
La máquina de estados debe contemplar los pasos necesarios en cada etapa y sus señales
correspondientes, por ejemplo: para lavar, primero se debe llenar de agua el tambor, cuando
se llene hay que activar el motor en modo de lavado (01) y esperar a que se active la señal
de tiempo T, etc.
Señales
Vi: Control de la válvula de entrada de agua (0 cerrar / 1 abrir)
Vo: Control de la válvula de salida de agua (0 cerrar / 1 abrir)
I: Botón de inicio (Activo con 1)
F: Sensor de tambor lleno de agua (1 lleno / 0 no lleno)
E: Sensor de tambor vacío (1 vacío / 0 no vacío)
M: Control del motor (2 bits):
00  Apagado
01  Encendido en lavado
10  Encendido en enjuague
11  Encendido en centrifugado
T: Temporizador (0 tiempo no cumplido / 1 tiempo cumplido)

Se asume que cuando se enciende el motor para alguno de sus modos, el bloque “Control
Motor” activará la señal T en el tiempo correspondiente a la etapa del proceso (lavado,
enjuague o centrifugado).
 SOLUCIÓN
Punto 1
Tabla de verdad de la lógica de estado siguiente
ENTRADAS SALIDAS
BOTÓN ESTADO ACTUAL ESTADO SIGUIENTE
E ES1 ES0 ES1S ES0S
0 0 0 0 1
0 0 1 0 1
0 1 0 0 1
0 1 1 0 1
1 0 0 0 0
1 0 1 1 0
1 1 0 1 1
1 1 1 1 0

Tabla de verdad de la lógica de salida

Punto 2