Circuitos Digitales 1
IMPLEMENTACIÓN DE MÁQUINAS
SECUENCIALES
UNIVERSIDAD DE LAS FUERZAS ARMADAS “ESPE”
Departamento de eléctrica y electrónica
LABORATORIO N: 11
Kevin Vaca
Nrc:8715
Fecha:26/08/2020
Resumen – 1. Se realiza el diseño del ejercicio III. MARCO TEÓRICO
planteado: diagrama de estados indicando claramente el Compuertas Lógicas: son circuitos electrónicos
número de estados y su codificación; y el diagrama de conformados internamente por transistores que se encuentran
bloques y circuito combinacional secuencial para la con arreglos especiales con los que otorgan señales de voltaje
implementación, luego se procede a la simulación en como resultado o una salida de forma booleana, están
proteus y el simulador digital v097. obtenidos por operaciones lógicas binarias (suma,
multiplicación). También niegan, afirman, incluyen o
excluyen según sus propiedades lógicas. Estas compuertas se
Índice de Términos – máquina, simulador, diseño.
pueden aplicar en otras áreas de la ciencia como mecánica,
hidráulica o neumática. [1]
Máquinas de estados
I. INTRODUCCION
Una máquina de estados se denomina máquina de estados
L as máquinas de estado finito son una herramienta muy útil finitos (FSM por finite state machine) si el conjunto de estados
de la máquina es finito y es el único tipo de máquinas de
para especificar aspectos relacionados con tiempo real, estados que podemos modelar en un computador en la
dominios reactivos o autónomos, computación reactiva, actualidad. Debido a esto se suelen utilizar los términos
protocolos, circuitos, arquitecturas de software, etc. El modelo «máquina de estados» y «máquina de estados finitos» de
de FSM (Finite State Machine) es un modelo que posee forma intercambiable. Sin embargo un ejemplo de una
sintaxis y semántica formales y que sirve para representar máquina de estados infinitos sería un computador cuántico.
aspectos dinámicos que no se expresan en otros diagramas. Esto se debe a que los cúbit que utilizaría este tipo de
Hoy en día los procesos se basan en el mundo digital, es computadores toma valores continuos. En contraposición los
imperativo conocer un mínimo nivel de estos. bits toman valores discretos (0 o 1). Otro ejemplo de una
máquina de estados infinitos es una máquina universal de
Turing, la cual se puede definir teóricamente con una cinta o
memoria infinita.[2]
II. OBJETIVOS
• Realizar el diseño del ejercicio planteado: diagrama
de estados (indicando claramente el número de
estados y su codificación); y el diagrama de bloques
y circuito combinacional secuencial para la
implementación.
• Simular el circuito lógico del problema propuesto, en
Proteus y el Simulador digital v097.
Figura [Link]ño de màquinas de estado.[3]
Circuitos Digitales 2
• La figura 2 muestra un diagrama que contienetres
estados: S0, S1 , Si.
• Cada estado está representado por un círculocon su
respectiva etiqueta.
• Este diagrama muestra también las entradas ysalidas
digitales del sistema.
• En rojo está la entrada de cada estado y ennegro su
salida.
• Por ejemplo si el sistema está en el estado S0 ya
entrada es “0”, el sistema permanece en [Link] el
contrario, si la entrada es “1”, hay un cambio de
estado a S1.
Figura [Link] de estados.
IV. PROCEDIMIENTO
Una máquina expendedora de tabaco está controlada por un
circuito secuencial como el de la figura. Dicho circuito recibe
como entradas el código de dos bits (tabla 1) de las monedas
que va introduciendo el usuario. Como salidas, el circuito debe
activar 2 señales, correspondientes a si se debe o no entregar
el tabaco (T), y la cantidad de cambio a reintegrar (C1 y C0),
codificadas según las tablas 2 y 3 respectivamente.
El funcionamiento del circuito es el siguiente. El usuario debe
introducir monedas hasta alcanzar la cantidad de 100, que será
el precio del tabaco. Una vez que la suma de monedas alcance
dicho importe, automáticamente la máquina servirá el tabaco,
retornando además el cambio correspondiente. Por ejemplo, si
el usuario ha introducido 1 moneda de 25 y 2 monedas de 50,
la máquina debe servirle el paquete y una moneda de 25
(salidas T C1 C0 = 1 0 1).
Circuitos Digitales 3
V. DISEÑO
1 1 1 0 0 0 1 1 0 1
1 1 1 1 0 0 1 1 1 1
Estados y codificación
Decodificador de entrada
Estado Q1 Q0 Significado
Es0 0 0 Tiene 0 M1MO/Q1Q0 00 01 11 10
Es1 0 1 Tiene 25 00 1 1 1 1
Es2 1 0 Tiene 50 01 0 0 1 0
Es3 1 1 Tiene 75 11 1 1 1 1
10 1 1 1 1
Diagrama de estados
M1MO/Q1Q0 00 01 11 10
00 1 1
01 1 1
11
10 1 1
A=M1.M0".Q1"+M1".M0.Q1".Q0+M1".M0".Q1+M
1”.Q1.Q0”
M1MO/Q1Q0 00 01 11 10
00 1 1
01 1 1
11
10 1
Figura [Link] de estados.
Tabla 3. Tabla de verdad
Estado Estado Decodificador de salida
Entradas actual siguiente Salidas
M1 M0 Q1 Q0 A B T C1 C0 C M1MO/Q1Q0 00 01 11 10
0 0 0 0 0 0 0 0 0 1 00 0 0 0 0
0 0 0 1 0 1 0 0 0 1 01 0 0 0 0
0 0 1 0 1 0 0 0 0 1 11 0 0 1 1
0 0 1 1 1 1 0 0 0 1 10 0 0 0 0
0 1 0 0 0 1 0 0 0 0
0 1 0 1 1 0 0 0 0 0
0 1 1 0 1 1 0 0 0 0
0 1 1 1 0 0 1 0 0 1
1 0 0 0 1 0 0 0 0 1
1 0 0 1 1 1 0 0 0 1
1 0 1 0 0 0 1 0 0 1
1 0 1 1 0 0 1 0 1 1
1 1 0 0 0 0 1 0 0 1
1 1 0 1 0 0 1 0 1 1
Circuitos Digitales 4
M1MO/Q1Q0 00 01 11 10
00 0 0 0 0
01 0 0 0 0
11 0 1 1 0
10 0 0 1 0
M1MO/Q1Q0 00 01 11 10
00 0 0 0 0
01 0 0 1 0
11 1 1 1 1
10 0 0 1 1
Diseño de sincronización CLK
Existe un problema en la sincronización del reloj y la salida de
la máquina entonces implementamos las siguientes
compuertas lógicas para solucionarlo.
Figura [Link]ón CLK
Circuitos Digitales 5
VI. OPTIMIZACIÓN
Figura 5.EST1 (01) 25+25 CTV. TC1C0=000
Figura 6.EST2 (10) 50+25 CTV. TC1C0=0000
Circuitos Digitales 6
Figura 7. EST3 (11) 75+25 CTV. TC1C0=100
Figura 8. EST0 (00) 00+25 CTV. TC1C0=000
Circuitos Digitales 7
VII SIMULADOR DIGITAL
Figura 9. EST1 (01) 25+25 CTV. TC1C0=000
Figura 10.EST2 (10) 50+25 CTV. TC1C0=0000
Circuitos Digitales 8
Figura 11. EST3 (11) 75+25 CTV. TC1C0=100
Figura 12. EST0 (00) 00+25 CTV. TC1C0=000
Circuitos Digitales 9
VIII. CONCLUSIONES Y RECOMENDACIONES
Recomendaciones
• Implementar el circuito de modo que no sea complejo
armarlo y tratar de ocupar el menor número de
compuertas posibles.
.
• Realizar varias pruebas del funcionamiento del
circuito.
Conclusiones
• La màquina de estados es una herramienta muy útil
para especificar aspectos relacionados con tiempo
real, dominios reactivos o autónomos, computación
reactiva, protocolos, circuitos, arquitecturas de
software, etc. Para poder solucionar los problemas
sobre este tipo de ejercicios es siempre major realizar
la tabla de verdad luego de identificar salidas
entradas,los estados, la carga y las relaciones entre
estas .
• Al realizar el circuito en el simulador digita
obtenemos que los resultados del simulador digital
son los mismo del la simulación en Proteus así se
puede concluir que la práctica se realizo
correctamente.
IX REFENCIAS
[1] Morgan, A (2019 Junio). Logic bus .[ Fecha de acceso: 23 de Agosto del
2020]. Available:
[Link]
[2] (Ruz, 2019) Ruz, J., Curso “Estructura de computadores”, Universidad
Complutense de Madrid,2019, accedida 23 Agost 2020, online
available:
[Link]
[Link]/profesor/jjruz/EC-IS/
[3] Tocci, R., Widmer, N., & Moss, G., (2007). .[ Fecha de acceso: 23 de
Agosto del 2020]. Sistemas Digitales: principios y aplicaciones. México
D.F, México: Pearson Education.