Maestría en Ingeniería Electrónica Curso propedéutico Máquinas de estado Finito Sistemas Digitales M.C. Ricardo Álvarez González
Circuitos combinacionales Son aquellos cuya salida depende exclusivamente de su entrada Están completamente definidos por una tabla de verdad Generalmente están formados por compuertas lógicas sin retroalimentación entre ellas
Circuitos secuenciales Sus salidas dependen del estado actual de sus entradas y de su estado anterior Están formados generalmente por un bloque combinacional, algún elemento de memoria y alguna trayectoria de retroalimentación. Están caracterizados por un diagrama de estados
Máquinas de estado finito Los circuitos secuenciales están definidos por un diagrama de estados. El número de estados es finito Máquinas de estado finito MEF Si son síncronas, están regidos por una señal de reloj
Nomenclatura de Diagramas de estado
Ejemplo de una MEF
Ejemplo de una MEF Suponga que se le proporciona la siguiente especificación verbal que describe el funcionamiento de una MEF: La máquina tiene una entrada de control X, el reloj, y dos salidas A y B. En flancos ascendentes consecutivos del reloj el código de A y B, cambia de 00 a 01 a 10 a 11 y se repite nuevamente si la señal X es verdadera; en cualquier momento que X sea falsa, la máquina mantendrá su estado presente.
Descripción pictórica de la MEF
Caso particular de una MEF: un contador módulo 6
MEF como controlador
Maquinas algorítmicas de estado El algoritmo de control juega un papel principal en un diseño digital, por lo cual necesitamos una buena notación para expresar algoritmos de hardware. Para circuitos síncronos, la técnica de cartas ASM es la notación superior. ASM Algorithmic State Machine
Notación de cartas ASM
Ejemplo de una carta ASM
Métodos de síntesis de cartas ASM Método Tradicional Método del Multiplexor (MUX) Método de One Hot Método de la ROM