TA147

 \documentclass[12pt]{article}
 \usepackage[spanish]{babel}
 % \usepackage{natbib}
 \usepackage{url}
 \usepackage[utf8]{inputenc}
 
 \usepackage{xfrac}
 \usepackage{amsmath}
 % \numberwithin{equation}{section}
 \usepackage{mathtools}
 
 \usepackage{empheq}
 \usepackage{graphicx}
 \usepackage{parskip}
 \usepackage{fancyhdr}
 \usepackage{vmargin}
 \usepackage[ddmmyy]{datetime}
 \usepackage{anyfontsize}
 \usepackage{helvet}
 \renewcommand{\familydefault}{phv}
 \usepackage{xcolor}
 
 \usepackage{float}
 \usepackage[section]{placeins}
 \usepackage{tocloft}
 \usepackage{listings}
 
 \lstset{
     language=VHDL,
     basicstyle=\ttfamily\small,
     keywordstyle=\color{blue},
     commentstyle=\color{green!60!black},
     stringstyle=\color{red},
     breaklines=true,
     backgroundcolor=\color{gray!05}, % fondo clarito
     frame=none
 }
 
 
 % Alinear completamente el texto del índice de figuras al margen izquierdo
 \setlength{\cftfigindent}{0pt}     % sin sangría a la izquierda
 \setlength{\cftfignumwidth}{2em}   % ancho reservado para "Figura X"
 
 \setlength{\skip\footins}{5pt}
 \usepackage[bottomfloats,belowfloats,hang]{footmisc}
 
 % align first letter of all the lines in the footnotes
 \setlength{\footnotemargin}{6pt}
 
 % surround footnotes number with square brackets and always use numbers (even
 % inside quoted text)
 % https://www.overleaf.com/learn/latex/Footnotes
 % \renewcommand*{\thefootnote}{\ [\arabic{footnote}]\ \ }
 % \renewcommand*{\thempfootnote}{\ [\arabic{mpfootnote}]\ }
 
 % space between text and footer
 \setlength\footskip{40pt}
 \setlength{\skip\footins}{20pt}
 
 
 \usepackage[T1]{fontenc}
 
 
 \usepackage{arevmath} % no funciona con xelatex/lualatex
 \DeclareMathSizes{12}{11}{9}{8}
 
 \usepackage{etoolbox}
 
 \AtBeginEnvironment{align}{
     \vspace{-1.25em}
 }
 
 % Definir tamaño por defecto para todas las figuras
 \setkeys{Gin}{width=\textwidth, keepaspectratio}
 
 % \setmarginsrb{
 %    left margin,
 %    top margin,
 %    right margin,
 %    bottom margin,
 %    head height,
 %    head sep,
 %    foot height,
 %    foot skip
 % }
 
 \setmarginsrb{3.25 cm}{3.5 cm}{3.25 cm}{3.5 cm}
            {1 cm}{0.75 cm}{1 cm}{1.50 cm}
 
 \definecolor{fiubablue}{HTML}{0085e5}
 \usepackage{color}
 \usepackage{hyperref}
 \hypersetup{
     colorlinks=true, % set true if you want colored links
     linktoc=all,     % set to all if you want sections and subsections linked
     linkcolor=fiubablue, % choose some color if you want links to stand out
     urlcolor=fiubablue,
     citecolor=black
 }
 
 \usepackage{subfig}
 
 \usepackage{fancyvrb}
 \fvset{xleftmargin=\mathindent}
 
 % code blocks
 \usepackage{verbatimbox}
 \newenvironment{fullgrayverb}
 {\verbbox}
 {\endverbbox\par\colorbox{gray!25}{\parbox{\textwidth}{\theverbbox}}\par}
 
 % inline code blocks
 \usepackage{tcolorbox}
 \newcommand\mystrut{\rule[-3pt]{0pt}{12pt}}
 \newtcbox{\code}{on line, boxrule=0pt, boxsep=0pt, top=0pt,
 left=0pt, bottom=0pt, right=0pt, colback=gray!18, colframe=white,
 fontupper={\ttfamily\mystrut}}
 
 \title{Implementación de Sistema Secuencial en VHDL}          % Titulo del trabajo.
 \author{Klöckner, Martin Javier}
 \date{\today}                   % Fecha (automática)
 
 \makeatletter
 \let\thetitle\@title
 \let\theauthor\@author
 \let\thedate\@date
 \makeatother
 
 \pagestyle{fancy}
 \fancyhf{}
 \rhead{\theauthor}
 \lhead{\thetitle}
 \cfoot{\thepage}
 
 \renewcommand{\to}{\mathrel{\scriptstyle\rightarrow}}
 
 \begin{document}
 \begin{titlepage}
     \vspace*{-2.5cm}
     {\centering
     \includegraphics[width=1.00\textwidth]{img/logofiuba.png}\\[2.25 cm]}
     \centering
     \textsc{\Large TA147}\\[0.2 cm]
     \textsc{\large Taller de Sistemas Digitales}\\[2.25 cm]
     \textcolor{cyan}{{
         \begin{minipage}{\textwidth}
             \centering
             \fontsize{26}{32}\selectfont \bfseries \thetitle
         \end{minipage}
     }}\\[1cm]
     \vspace{1em}
     {\Large \bfseries Primer Trabajo Práctico}\\[5cm]
 
     \vfill
     \noindent\makebox[\linewidth]{\rule{\textwidth}{0.4pt}}\\[0.5cm]
     \begin{minipage}{.49\textwidth}
     \textbf{Alumno}\\
     Klöckner, Martin Javier
     \end{minipage}%
     \begin{minipage}{.01\textwidth}
     % \centering\textbf{Legajo}\\
     % 105378 
     \end{minipage}%
     \vspace{1em}
     \begin{minipage}{.50\textwidth}
      \begin{flushright}
         \textbf{Correo electrónico}\\
          \href{mailto:mklockner@fi.uba.ar}{mklockner@fi.uba.ar} \\
       \end{flushright}
     \end{minipage}
 \end{titlepage}
 
 \setcounter{tocdepth}{2}
 \hypersetup{linkcolor=black} % colorlinks=true option is used
 \tableofcontents
 \listoffigures
 \pagebreak
 
 % En el presente trabajo se realiza la implementación y sintesis de un dispositivo
 % secuencial que permite controlar dos semaforos en una interseccion de calles.
 
 En el presente trabajo se realiza el diseño, simulación y síntesis de un
 sistema digital destinado al control de dos semaforos en una intersección. Se
 emplea el lenguaje de descripción de hardware VHDL para modelar el sistema y la
 herramienta de linea de comandos GHDL para la compilación y simulación del
 diseño. Por ultimo se utiliza Vivado para realizar una síntesis sobre el
 dispositivo xc7a15tftg256-1.
 
 \hypertarget{introduccion}{%
 \section{Introducción}\label{introduccion}}
 
 % Por definición, la transferencia $H(s)$ de un sistema, es el cociente entre la
 % entrada $X(s)$ y la salida $Y(s)$ del sistema, suponiendo que todas las
 % condiciones iniciales son nulas, específicamente en el dominio de
 % Laplace.\footnotemark[1]
 El control de tráfico en intersecciones es un problema clásico en sistemas
 digitales. La implementación mediante hardware programable permite obtener
 soluciones eficientes, determinísticas y además flexibles.
 
 El objetivo del trabajo, entonces, es diseñar e implementar un sistema digital
 que controle el estado de dos semaforos en la intersección de dos calles.
 
 \hypertarget{diseño}{%
 \section{Diseño}\label{diseño}}
 
 Para la implementación del control de los dos semáforos se modela al sistema
 como una maquina de estados finita compuesta de seis estados cíclicos, en la que
 cada estado representa una configuración de luces. Se considera que el estado de
 cada semáforo es, ordenados en orden secuencial: solo luz roja encendida, luz
 roja y amarilla encendida al mismo tiempo, solo luz verde encendida y solo luz
 amarilla encendida. 
 
 El diagrama de estados de la maquina de estados diseñada se muestra en la figura
 \ref{statechart}.
 
 \begin{figure}[!ht]
     \centering
     \includegraphics[width=1.00\textwidth]{img/statechart_trim.png}
     \caption{Diagrama de estados del control de semaforos}
     \label{statechart}
 \end{figure}
 
 Donde los estados de la maquina de estados representan la configuración de
 luces como se muestra a continuación:
 
 \begin{itemize}
     \item state\_1r\_2g: primer semáforo en rojo, segundo en verde.
     \item state\_1r\_2y: primer semáforo en rojo, segundo en amarillo.
     \item state\_1ry\_2r: primer semáforo en rojo y amarillo, segundo en rojo.
     \item state\_1g\_2r: primer semáforo en verde, segundo en rojo.
     \item state\_1y\_2r: primer semáforo en amarillo, segundo en rojo.
     \item state\_1r\_2ry: primer semáforo en rojo, segundo en rojo y amarillo.
 \end{itemize}
 
 A cada estado del semanforo se asigna un valor de tiempo en segundos, para los
 estados solo rojo o solo verde se asigna 30 segundos y para los estados que
 involucran amarillo se asignan 2 segundos.
 
 Dado que el dispositivo programable en el cual se sintetiza el diseño solo
 dispone de una señal de reloj de frecuencia 50 MHz, se implementa un modulo de
 reloj de tiempo real (Real Time Clock, RTC) que permita determinar la cantidad
 de segundos reales. Luego este modulo RTC se combina con un modulo que cuenta la
 cantidad de segundos en cada estado y genera una señal bandera (flag) que indica
 que se debe cambiar de estado.
 
 \hypertarget{implementacion}{%
 \section{Implementación}\label{implementacion}}
 
 Para la implementación del control de los dos semáforos, se divide la lógica
 en distintos submódulos que interactúan entre sí. Y se integran estos submódulos
 en un módulo principal denominado \code{intersection\_ctrl}.
 
 El diseño se compone de las siguientes partes fundamentales, modeladas mediante
 el lenguaje de descripción de hardware VHDL: \code{semaphore\_pkg}, \code{rtc},
 \code{cnt}, \code{semaphore} y \code{intersection\_ctrl}.
 
 \hypertarget{semaphore\_pkg}{%
 \subsection{semaphore\_pkg}\label{semaphore_pkg}}
 
 En este paquete se definen los tipos de datos utilizados en el sistema. En
 particular, se define el tipo enumerativo \code{state\_t}, el cual representa
 los seis estados secuenciales y cíclicos de la máquina de estados.
 
 \hypertarget{rtc}{%
 \subsection{rtc}\label{rtc}}
 
 Este módulo se utiliza para contar la cantidad de segundos reales, activando la
 bandera \code{seg\_flag} por un ciclo de reloj en cada segundo. Para determinar
 la cantidad de segundos se utiliza un contador que incrementa su valor en cada
 ciclo de reloj hasta alcanzar el valor de \code{MAX\_CNT}.
 
 \hypertarget{cnt}{%
 \subsection{cnt}\label{cnt}}
 
 Este modulo es el responsable de medir la duración de cada estado incrementando
 un contador interno únicamente cuando es habilitado por la señal
 \code{seg\_flag} que proviene del modulo RTC. El tiempo objetivo depende del
 estado actual: en los estados con amarillo se utiliza una constante de 3
 segundos (\code{YELLOW\_S}) y para los estados en verde o rojo se utiliza una
 constante de 30 segundos (\code{RED\_GREEN\_S}). Al finalizar la cuenta se
 activa la señal \code{state\_flag} para solicitar un cambio de estado.
 
 \hypertarget{semaphore}{%
 \subsection{semaphore}\label{semaphore}}
 
 Este módulo implementa la lógica de control central, es decir, la maquina de
 estados. Esta maquina de estados transiciona secuencialmente a través de los
 seis estados únicamente cuando recibe la señal \code{state\_flag}. Además,
 decodifica el estado actual para asignar los niveles lógicos a las salidas
 físicas, controlando las luces roja, amarilla y verde de ambos semáforos.
 
 \if{0}
 \begin{figure}[!ht]
     \centering
     \includegraphics[width=1.00\textwidth]{img/statechart_trim.png}
     \caption{Diagrama de estados del control de semáforos}
     \label{statechart}
 \end{figure}
 \fi
 
 \hypertarget{intersection\_ctrl}{%
 \subsection{intersection\_ctrl}\label{intersection_ctrl}}
 
 Este es el modulo principal o de nivel superior (\emph{top-level}) en el cual
 este se instancian todos los submódulos, asignando las señales de entrada
 y salida de cada modulo.. A través de este bloque se propaga el parámetro
 genérico \code{MAX\_CNT} y se gestionan las señales internas \code{seg\_flag} y
 \code{state\_flag}, las cuales permiten la comunicación entre los módulos
 \code{rtc} y \code{cnt}; y la lógica de control final de las salidas físicas.
 
 \hypertarget{simulacion}{%
 \section{Simulación}\label{simulacion}}
 
 Para realizar la simulación se creó un nuevo módulo
 \code{intersection\_ctrl\_tb} en el cual se encapsula el sistema diseñado, esto
 de manera de proporcionar señales ficticias que actúen como entradas y salidas.
 Para evitar tener que simular por mas de 30 segundos, se cambio el parámetro
 \code{MAX\_CNT} de 50e6 (1 segundo con frecuencia de reloj 50 MHz) por
 10, de esta forma se activa la bandera de que ha pasado un segundo cada 5 ciclos
 de reloj.
 
 Como herramientas de simulación se utilizó \emph{GHDL} y \emph{make} para
 organizar el proceso de análisis, elaboración y simulación del sistema, luego
 para la síntesis se utilizó Vivado. Vivado también proporciona una opción
 de simulación utilizando los mismos módulos, por lo que también se hicieron
 pruebas allí para verificar el funcionamiento del diseño. Para la visualización
 de las señales por fuera de Vivado, resultantes de la simulaion en \emph{GHDL},
 se utilizó \emph{surfer}, un programa similar a \emph{GTKWave}. Una vista de las
 formas de onda resultantes de la simulación se muestra en la figura
 \ref{waveform_view} a continuación, en la cual 1 segundo de tiempo real equivale
 a 0.1 us en las vistas de las formas de onda.
 
 \begin{figure}[!ht]
     \centering
     \includegraphics[width=1.00\textwidth]{img/waveform_view.png}
     \caption{Resultado de las señales simuladas}
     \label{waveform_view}
 \end{figure}
 
 \hypertarget{sintesis}{%
 \section{Síntesis}\label{sintesis}}
 
 Utilizando Vivado se realizo una síntesis del sistema sobre un dispositivo FPGA
 modelo xc7a15tftg256-1.
 
 % En el resultado de la síntesis se verificó que las
 % lineas de clock y reset sean las mismas para todos los dispositivos dentro del
 % diseño, verificando el correcto funcionamiento del diseño.
 
 Luego de realizar la síntesis del sistema en Vivado para el dispositivo FPGA
 xc7a15tftg256-1, se validó la integridad estructural del diseño.
 Principalmente, se corroboró que las lineas de \code{clk} y \code{rst} fueran
 distribuidas de manera global y uniforme a todos los bloques lógicos
 (\code{rtc}, \code{cnt} y \code{semaphore}). Esta arquitectura garantiza un
 comportamiento puramente sincrónico en toda el sistema, asegurando que el
 sistema opere correctamente bajo restricciones temporales del hardware y además
 que este libre de bucles combinacionales.
 
 \hypertarget{conclusion}{%
 \section{Conclusión}\label{conclusion}}
 
 En este trabajo se logró implementar un controlador de dos semáforos para la
 intersección de dos calles utilizando VHDL y validando el diseño mediante
 simulación en GHDL y en Vivado. Por último se realizo una síntesis sobre el
 dispositivo xc7a15tftg256-1. Con respecto a las maquinas de estados finitos, se
 concluye que resultan adecuadas y muy útiles para este tipo de aplicaciones.
 
 \end{document}