Proyecto final
Julio Ernesto Bonilla Nuesi
2024-0693
Ratnniel Serrano Ramirez
2022-1811
Mecatrónica
ITLA La Caleta, Santo Domingo
20240693@[Link]
20221811@[Link]
Resumen- En este documento se presenta el diseño e ¿Qué es un contador secuencial?
implementación de un sistema de semáforo físico para una
intersección de dos caras, utilizando lógica secuencial y compuertas Es un circuito digital que avanza o retrocede a través de una
en el entorno de simulación Multisim. Se detallan los procesos secuencia de valores binarios con cada pulso de reloj, utilizado
teóricos y prácticos, incluyendo el diseño del contador, la tabla y el para temporizar eventos como el cambio de luces.
diagrama de estados, la implementación de los displays por cada
cara, y el control del sistema mediante flip-flops. Además, se ¿Qué son los mapas de Karnaugh (K-maps)?
incluyen mapas de Karnaugh (K-maps), diagramas ASM, y
verificación mediante diagrama de tiempo y simulación. Los mapas K son herramientas gráficas que permiten
simplificar expresiones booleanas, facilitando la reducción de
Abstract- This document presents the design and funciones lógicas en el diseño digital.
implementation of a physical traffic light system for a two-sided
intersection using sequential logic and gates within the Multisim ¿Qué es un diagrama ASM?
simulation environment. The theoretical and practical processes are
detailed, including the design of the counter, state table and El diagrama ASM (Algorithmic State Machine) es una
diagram, implementation of displays for each face, and system representación gráfica que combina flujo de control y lógica
control through flip-flops. Karnaugh maps (K-maps), ASM secuencial, útil para describir circuitos con múltiples
diagrams, and verification using timing diagrams and simulation are estados.¿Qué es Gowin? Gowin es una empresa que desarrolla
also included. herramientas de diseño y dispositivos FPGA. Su software
Gowin IDE proporciona un entorno de desarrollo para la
Keywords: Traffic light, FSM, sequential logic, T flip-flop, D programación y simulación de FPGA, permitiendo a los
flip-flop, Karnaugh map, Multisim, state diagram, ASM, timing diseñadores implementar circuitos digitales de manera eficiente
diagram, digital systems. y optimizada.
I. INTRODUCCIÓN III. EXPERIMENTACIÓN
En este estudio, se desarrolla un modelo físico de un sistema de Diagrama de flujo
semáforo para una intersección con dos caras, empleando lógica
secuencial sin el uso de microcontroladores ni programación. Cada
cara del semáforo cuenta con tres indicadores (verde, amarillo y
rojo) controlados mediante contadores y lógica combinacional, y
visualizados mediante tres displays por lado. El objetivo principal
es simular el comportamiento real del semáforo, coordinando los
tiempos de cambio de luces entre ambas vías, y garantizando un
sistema seguro y sincronizado. Para validar el diseño, se incluye el
desarrollo teórico de cada componente, el diseño de la máquina de
estados finita (FSM), el diagrama ASM, mapas de Karnaugh para
la optimización de funciones, así como la simulación completa en
Multisim.
II. TEORÍA
¿Qué es un semáforo digital?
Un semáforo digital es un sistema de control de tránsito
implementado con circuitos lógicos que simula el cambio de luces
(verde, amarillo, rojo) en tiempos determinados para regular el
paso vehicular.
Diagrama de estado:
¿Qué es una máquina de estados (FSM)?
Una FSM es un modelo de comportamiento secuencial que
permite definir estados, transiciones y condiciones, ideal para
representar sistemas como los semáforos.
T4 ~C~D ~CD CD C~D
~A~B 1 0 0 0
~AB 0 0 0 0
AB 0 0 0 0
A~B 1 0 0 0
Segunda tabla de verdad:
Estado Estado
CLK
presente futuro
1 "100" "011"
1 "011" "010"
Tabla de estados: 1 "010" "010"
1 "010" "000"
Estado Estado
CLK 1 "000" "100"
presente futuro
1 "1001" "1000" Tabla de Excitacion:
1 "1000" "0111"
Estado Estado
CLK T3 T2 T1
1 "0111" "0110" Presente futuro
1 "100" "011" 1 1 1
1 "0110" "0101"
1 "011" "010" 0 0 1
1 "0101" "0100" 1 "010" "010" 0 1 1
1 "010" "000" 0 0 1
1 "0100" "0011"
1 "000" "100" 1 1 0
1 "0011" "0010"
1 "0010" "0001"
1 "0001" "0000"
1 "0000" "1001"
Tabla de Excitación:
Estado Estado
CLK T4 T3 T2
presente futuro
1 "1001" "1000" 0 0 0
1 "1000" "0111" 1 1 1
1 "0111" "0110" 0 0 0
1 "0110" "0101" 0 0 1
1 "0101" "0100" 0 0 0
1 "0100" "0011" 0 1 1
1 "0011" "0010" 0 0 0
1 "0010" "0001" 0 0 1
1 "0001" "0000" 0 0 0
1 "0000" "1001" 1 1 1
Kmaps:
T2 ~C~D ~CD CD C~D Diagramas lógicos
~A~B 0 0 0 1
~AB 1 0 0 1
AB 0 0 0 0
A~B 1 0 0 0
T3 ~C~D ~CD CD C~D
~A~B 0 0 0 0
~AB 1 0 0 0
AB 0 0 0 0
A~B 1 0 0 0
Diagrama de Tiempo:
Conclusión:
el proyecto logra diseñar y simular un sistema de semáforo físico
para una intersección de dos caras, aplicando lógica secuencial y
combinacional sin recurrir a microcontroladores. El uso de
contadores, flip-flops y compuertas garantiza un control preciso y
seguro de las luces en ambas direcciones. La implementación de
displays por lado permite una visualización clara de los tiempos de
cambio. Los mapas de Karnaugh y diagramas ASM optimizan el
diseño, reduciendo la complejidad lógica. Finalmente, la simulación
en Multisim confirma el correcto funcionamiento y sincronización del
sistema.