Maestría en Ingeniería Electrónica

Curso propedéuticoMáquinas de estado Finito

Sistemas DigitalesM.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