Máquinas de Estados Finitos Apuntes_FAC___S4L2___FSM___2023_S2 PDF

Máquinas de Estados Finitos Chavarrı́aZamora, Luis Alberto Introducción Repaso Diseño Lógico Sincrónico con Circuitos Secuenciales Circuitos Sı́ncronos y Ası́ncronos Máquinas de Estado Finito Máquinas de Estados Finitos Lección 7 Luis Alberto Chavarrı́a Zamora CE1107 Fundamentos de Arquitec...

Máquinas de Estados Finitos Chavarrı́aZamora, Luis Alberto Introducción Repaso Diseño Lógico Sincrónico con Circuitos Secuenciales Circuitos Sı́ncronos y Ası́ncronos Máquinas de Estado Finito Máquinas de Estados Finitos Lección 7 Luis Alberto Chavarrı́a Zamora CE1107 Fundamentos de Arquitectura de Computadores Área de Ingenierı́a en Computadores Tecnológico de Costa Rica Máquina de Moore Máquina de Mealy Referencia Chavarrı́a-Zamora, Luis Alberto II Semestre, 2023 22 de agosto de 2023 Máquinas de Estados Finitos 1/ 42 Máquinas de Estados Finitos Contenido Chavarrı́aZamora, Luis Alberto Introducción Repaso Diseño Lógico Sincrónico con Circuitos Secuenciales Circuitos Sı́ncronos y Ası́ncronos Máquinas de Estado Finito Máquina de Moore Máquina de Mealy Referencia 1 Introducción 2 Repaso 3 Diseño Lógico Sincrónico con Circuitos Secuenciales 4 Circuitos Sı́ncronos y Ası́ncronos 5 Máquinas de Estado Finito Máquina de Moore Máquina de Mealy 6 Referencia Chavarrı́a-Zamora, Luis Alberto Máquinas de Estados Finitos 2/ 42 Máquinas de Estados Finitos Retrieval Chavarrı́aZamora, Luis Alberto Introducción Repaso Diseño Lógico Sincrónico con Circuitos Secuenciales Circuitos Sı́ncronos y Ası́ncronos Máquinas de Estado Finito Quote: ”The combined results of several people working together is often much more effective than could be that of an individual scientist working alone.- John Bardeen. Máquina de Moore Máquina de Mealy Referencia Chavarrı́a-Zamora, Luis Alberto Máquinas de Estados Finitos 3/ 42 Máquinas de Estados Finitos Repaso Chavarrı́aZamora, Luis Alberto Introducción Repaso Diseño Lógico Sincrónico con Circuitos Secuenciales Repaso ¿Qué hemos visto hasta ahora? Circuitos Sı́ncronos y Ası́ncronos Máquinas de Estado Finito Máquina de Moore Máquina de Mealy Referencia Chavarrı́a-Zamora, Luis Alberto Máquinas de Estados Finitos 4/ 42 Máquinas de Estados Finitos Repaso Chavarrı́aZamora, Luis Alberto Introducción Repaso Diseño Lógico Sincrónico con Circuitos Secuenciales Circuitos Sı́ncronos y Ası́ncronos Máquinas de Estado Finito Máquina de Moore Máquina de Mealy Referencia Repaso ¿Qué hemos visto hasta ahora? Temas • Decodificadores. • Sincronizadores. • tpd y tcd. • Glitches o fallos. Chavarrı́a-Zamora, Luis Alberto Máquinas de Estados Finitos 5/ 42 Máquinas de Estados Finitos Diseño Lógico Sincrónico con Circuitos Secuenciales Chavarrı́aZamora, Luis Alberto Introducción Repaso Diseño Lógico Sincrónico con Circuitos Secuenciales Circuitos Sı́ncronos y Ası́ncronos Máquinas de Estado Finito Máquina de Moore Máquina de Mealy Referencia Los circuitos secuenciales incluyen todos los circuitos que no son combinacionales, es decir, aquellos cuya salida no se puede determinar simplemente observando las entradas de corriente. La lógica combinacional no tiene caminos cı́clicos ni carreras. Si las entradas se aplican a la lógica combinacional, las salidas siempre se establecerán en el valor correcto dentro de un retraso de propagación. Sin embargo, los circuitos secuenciales con caminos cı́clicos pueden tener carreras indeseables o un comportamiento inestable. Analizar tales circuitos en busca de problemas lleva mucho tiempo y muchas personas brillantes han cometido errores. Chavarrı́a-Zamora, Luis Alberto Máquinas de Estados Finitos 6/ 42 Máquinas de Estados Finitos Diseño Lógico Sincrónico con Circuitos Secuenciales Chavarrı́aZamora, Luis Alberto Introducción Repaso Diseño Lógico Sincrónico con Circuitos Secuenciales Circuitos Sı́ncronos y Ası́ncronos Máquinas de Estado Finito Máquina de Moore Máquina de Mealy Referencia Un circuito secuencial tiene un conjunto finito de estados discretos {S0, S1, S2, . . .}. Un circuito secuencial sı́ncrono tiene una entrada de reloj, cuyos flancos ascendentes indican una secuencia de tiempos en los que ocurren las transiciones de estado. A menudo usamos los términos estado actual y estado siguiente para distinguir el estado del sistema en el presente del estado al que entrará en el siguiente borde del reloj. Chavarrı́a-Zamora, Luis Alberto Máquinas de Estados Finitos 7/ 42 Máquinas de Estados Finitos Diseño Lógico Sincrónico con Circuitos Secuenciales Chavarrı́aZamora, Luis Alberto Introducción Repaso Diseño Lógico Sincrónico con Circuitos Secuenciales Circuitos Sı́ncronos y Ası́ncronos Máquinas de Estado Finito Máquina de Moore Máquina de Mealy La especificación de tiempo consta de un lı́mite superior, tpcq, y un lı́mite inferior, tccq, en el tiempo desde el flanco ascendente del reloj hasta que cambia la salida, ası́ como los tiempos de configuración y espera, tsetup y hold, que indican cuándo las entradas deben ser estable en relación con el flanco ascendente del reloj. Referencia Chavarrı́a-Zamora, Luis Alberto Máquinas de Estados Finitos 8/ 42 Máquinas de Estados Finitos Diseño Lógico Sincrónico con Circuitos Secuenciales Chavarrı́aZamora, Luis Alberto Introducción Repaso Diseño Lógico Sincrónico con Circuitos Secuenciales Circuitos Sı́ncronos y Ası́ncronos Máquinas de Estado Finito Máquina de Moore Máquina de Mealy Referencia Las reglas para circuitos secuenciales son las siguientes: 1 Cada elemento del circuito es un registro o un circuito combinacional. 2 Al menos un elemento del circuito es un registro. 3 Todos los registros reciben la misma señal de reloj. 4 Cada camino cı́clico contiene al menos un registro. Los circuitos secuenciales que no son sı́ncronos se denominan ası́ncronos. Un flip-flop es el circuito secuencial sı́ncrono más simple. Chavarrı́a-Zamora, Luis Alberto Máquinas de Estados Finitos 9/ 42 Máquinas de Estados Finitos Chavarrı́aZamora, Luis Alberto Introducción Repaso Diseño Lógico Sincrónico con Circuitos Secuenciales Circuitos Sı́ncronos y Ası́ncronos Máquinas de Estado Finito Máquina de Moore Máquina de Mealy Referencia Circuitos Sı́ncronos y Ası́ncronos El diseño ası́ncrono es más general que el diseño sı́ncrono porque la temporización del sistema no está limitada por registros cronometrados. Ası́ como los circuitos analógicos son más generales que los circuitos digitales porque los circuitos analógicos pueden usar cualquier voltaje, los circuitos ası́ncronos son más generales que los circuitos sı́ncronos porque pueden usar cualquier tipo de retroalimentación. Sin embargo, los circuitos sı́ncronos han demostrado ser más fáciles de diseñar y usar que los circuitos ası́ncronos, al igual que los circuitos digitales son más fáciles que los analógicos. A pesar de décadas de investigación sobre circuitos ası́ncronos, prácticamente todos los sistemas digitales son esencialmente sı́ncronos. Chavarrı́a-Zamora, Luis Alberto Máquinas de Estados Finitos 10/ 42 Máquinas de Estados Finitos Circuitos Sı́ncronos y Ası́ncronos Chavarrı́aZamora, Luis Alberto Introducción Repaso Diseño Lógico Sincrónico con Circuitos Secuenciales Circuitos Sı́ncronos y Ası́ncronos Máquinas de Estado Finito Los circuitos ası́ncronos son ocasionalmente necesarios cuando se comunican entre sistemas con diferentes relojes o cuando se reciben entradas en momentos arbitrarios, al igual que los circuitos analógicos son necesarios cuando se comunican con el mundo real de voltajes continuos Máquina de Moore Máquina de Mealy Referencia Chavarrı́a-Zamora, Luis Alberto Máquinas de Estados Finitos 11/ 42 Máquinas de Estados Finitos Chavarrı́aZamora, Luis Alberto Introducción Repaso Máquinas de Estado Finito Los circuitos secuenciales sı́ncronos se pueden dibujar en las formas de la siguiente figura. Se llaman máquinas de estados finitos (FSM) Diseño Lógico Sincrónico con Circuitos Secuenciales Circuitos Sı́ncronos y Ası́ncronos Máquinas de Estado Finito Máquina de Moore Máquina de Mealy Referencia Chavarrı́a-Zamora, Luis Alberto Figura 1: Máquina de Estados Finitos (FSM). Máquinas de Estados Finitos 12/ 42 Máquinas de Estados Finitos Máquinas de Estado Finito Chavarrı́aZamora, Luis Alberto Introducción Repaso Diseño Lógico Sincrónico con Circuitos Secuenciales Figura 2: Máquina de Estados Finitos. Circuitos Sı́ncronos y Ası́ncronos Máquinas de Estado Finito Máquina de Moore Máquina de Mealy Referencia Es un circuito con k registros puede estar en uno de un número finito (2k) de estados únicos. Una FSM tiene M entradas, N salidas yk bits de estado. También recibe un reloj y, opcionalmente, una señal de reinicio. Consta de dos bloques de lógica combinacional, lógica de estado siguiente y lógica de salida, y un registro que almacena el estado. En cada flanco de reloj, el FSM avanza al siguiente estado, que se calculó en función del estado y las entradas actuales. Chavarrı́a-Zamora, Luis Alberto Máquinas de Estados Finitos 13/ 42 Máquinas de Estados Finitos Máquinas de Estado Finito Chavarrı́aZamora, Luis Alberto Introducción Repaso Diseño Lógico Sincrónico con Circuitos Secuenciales Circuitos Sı́ncronos y Ası́ncronos Máquinas de Estado Finito Máquina de Moore Máquina de Mealy Referencia Hay dos clases generales de máquinas de estados finitos, caracterizadas por sus especificaciones funcionales: 1 Máquinas de Moore, las salidas dependen únicamente del estado actual de la máquina. 2 Máquinas Mealy, las salidas dependen tanto del estado actual como de las entradas actuales. Las máquinas de estados finitos proporcionan una forma sistemática de diseñar circuitos secuenciales sı́ncronos dada una especificación funcional. Chavarrı́a-Zamora, Luis Alberto Máquinas de Estados Finitos 14/ 42 Máquinas de Estados Finitos Máquinas de Estado Finito Chavarrı́aZamora, Luis Alberto Introducción Repaso Diseño Lógico Sincrónico con Circuitos Secuenciales Circuitos Sı́ncronos y Ası́ncronos Máquinas de Estado Finito Máquina de Moore Máquina de Mealy Referencia Figura 3: Edward F. Moore (1925-2003) Chavarrı́a-Zamora, Luis Alberto Figura 4: George H. Mealy (1927-2010) Máquinas de Estados Finitos 15/ 42 Máquinas de Estados Finitos Máquinas de Estado Finito Chavarrı́aZamora, Luis Alberto Introducción Repaso Diseño Lógico Sincrónico con Circuitos Secuenciales Circuitos Sı́ncronos y Ası́ncronos Máquinas de Estado Finito Máquina de Moore Máquina de Mealy Referencia Ejercicio Consideremos el problema de inventar un controlador para un semáforo en una intersección concurrida en un campus universitario. Se le pide instalar un semáforo para resolver ese problema. Instala dos sensores de tráfico, TA y TB, en la Avenida Académica y la Calle Bravado, respectivamente. Cada sensor indica VERDADERO si hay estudiantes presentes y FALSO si la calle está vacı́a. Chavarrı́a-Zamora, Luis Alberto Máquinas de Estados Finitos 16/ 42 Máquinas de Estados Finitos Máquinas de Estado Finito Chavarrı́aZamora, Luis Alberto Introducción Repaso Diseño Lógico Sincrónico con Circuitos Secuenciales Circuitos Sı́ncronos y Ası́ncronos Máquinas de Estado Finito Máquina de Moore Máquina de Mealy Referencia Figura 5: Planteamiento del problema Chavarrı́a-Zamora, Luis Alberto Figura 6: Caja negra Máquinas de Estados Finitos 17/ 42 Máquinas de Estados Finitos Chavarrı́aZamora, Luis Alberto Máquinas de Estado Finito Máquina de Moore Introducción Repaso Diseño Lógico Sincrónico con Circuitos Secuenciales Circuitos Sı́ncronos y Ası́ncronos Máquinas de Estado Finito Máquina de Moore Máquina de Mealy Referencia Chavarrı́a-Zamora, Luis Alberto Figura 7: Diagrama de estados Máquinas de Estados Finitos 18/ 42 Máquinas de Estados Finitos Chavarrı́aZamora, Luis Alberto Máquinas de Estado Finito Máquina de Moore Introducción Repaso Diseño Lógico Sincrónico con Circuitos Secuenciales Circuitos Sı́ncronos y Ası́ncronos Máquinas de Estado Finito Máquina de Moore Máquina de Mealy Referencia Chavarrı́a-Zamora, Luis Alberto Figura 8: Diagrama de estados Máquinas de Estados Finitos 19/ 42 Máquinas de Estados Finitos Chavarrı́aZamora, Luis Alberto Máquinas de Estado Finito Máquina de Moore Introducción Repaso Diseño Lógico Sincrónico con Circuitos Secuenciales Circuitos Sı́ncronos y Ası́ncronos Máquinas de Estado Finito Máquina de Moore Máquina de Mealy Referencia Chavarrı́a-Zamora, Luis Alberto Figura 9: Tabla encodificación Máquinas de Estados Finitos 20/ 42 Máquinas de Estados Finitos Máquinas de Estado Finito Chavarrı́aZamora, Luis Alberto Máquina de Moore Introducción Repaso Diseño Lógico Sincrónico con Circuitos Secuenciales Circuitos Sı́ncronos y Ası́ncronos Máquinas de Estado Finito Máquina de Moore Máquina de Mealy Figura 10: Diagrama de estados con encodificaciones binarias Referencia Chavarrı́a-Zamora, Luis Alberto Máquinas de Estados Finitos 21/ 42 Máquinas de Estados Finitos Máquinas de Estado Finito Chavarrı́aZamora, Luis Alberto Máquina de Moore Introducción Repaso Diseño Lógico Sincrónico con Circuitos Secuenciales Circuitos Sı́ncronos y Ası́ncronos Máquinas de Estado Finito Máquina de Moore Máquina de Mealy Figura 10: Diagrama de estados con encodificaciones binarias Referencia S1′ = S1S0 + S1S0TB + S1S0TB S0′ = S1S0TA + S1S0TB Chavarrı́a-Zamora, Luis Alberto Máquinas de Estados Finitos 22/ 42 Máquinas de Estados Finitos Chavarrı́aZamora, Luis Alberto Máquinas de Estado Finito Máquina de Moore Introducción Repaso Diseño Lógico Sincrónico con Circuitos Secuenciales Circuitos Sı́ncronos y Ası́ncronos Máquinas de Estado Finito Figura 11: Tabla de verdad con salidas Máquina de Moore Máquina de Mealy Referencia Chavarrı́a-Zamora, Luis Alberto Máquinas de Estados Finitos 23/ 42 Máquinas de Estados Finitos Chavarrı́aZamora, Luis Alberto Máquinas de Estado Finito Máquina de Moore Introducción Repaso Diseño Lógico Sincrónico con Circuitos Secuenciales Circuitos Sı́ncronos y Ası́ncronos Máquinas de Estado Finito Figura 11: Tabla de verdad con salidas Máquina de Moore Máquina de Mealy Referencia S1′ = S1 ⊕ S0 S0′ = S1S0TA + S1S0TB Chavarrı́a-Zamora, Luis Alberto Máquinas de Estados Finitos 24/ 42 Máquinas de Estados Finitos Máquinas de Estado Finito Chavarrı́aZamora, Luis Alberto Máquina de Moore Introducción Repaso Diseño Lógico Sincrónico con Circuitos Secuenciales Circuitos Sı́ncronos y Ası́ncronos Máquinas de Estado Finito Máquina de Moore LA1 = S1 . LA0 = S1S0. LB1 = S1. Máquina de Mealy Referencia Chavarrı́a-Zamora, Luis Alberto LB0 = S1 S0 . Máquinas de Estados Finitos 25/ 42 Máquinas de Estados Finitos Chavarrı́aZamora, Luis Alberto Máquinas de Estado Finito Máquina de Moore Introducción Repaso Diseño Lógico Sincrónico con Circuitos Secuenciales Circuitos Sı́ncronos y Ası́ncronos Máquinas de Estado Finito Máquina de Moore Máquina de Mealy Referencia Chavarrı́a-Zamora, Luis Alberto Figura 12: Circuito resultante de FSM Máquinas de Estados Finitos 26/ 42 Máquinas de Estados Finitos Chavarrı́aZamora, Luis Alberto Máquinas de Estado Finito Máquina de Moore Introducción Repaso Diseño Lógico Sincrónico con Circuitos Secuenciales Circuitos Sı́ncronos y Ası́ncronos Máquinas de Estado Finito Máquina de Moore Máquina de Mealy Referencia Chavarrı́a-Zamora, Luis Alberto Figura 13: Circuito resultante de FSM Máquinas de Estados Finitos 27/ 42 Máquinas de Estados Finitos Chavarrı́aZamora, Luis Alberto Máquinas de Estado Finito Máquina de Moore Introducción Repaso Diseño Lógico Sincrónico con Circuitos Secuenciales Circuitos Sı́ncronos y Ası́ncronos Máquinas de Estado Finito Máquina de Moore Máquina de Mealy Referencia Chavarrı́a-Zamora, Luis Alberto Figura 14: Diagrama de tiempo de FSM Máquinas de Estados Finitos 28/ 42 Máquinas de Estados Finitos Chavarrı́aZamora, Luis Alberto Introducción Repaso Diseño Lógico Sincrónico con Circuitos Secuenciales Máquinas de Estado Finito Máquina de Mealy Un contador de división por N tiene una salida y ninguna entrada. La salida Y es ALTA para un ciclo de reloj de cada N. En otras palabras, la salida divide la frecuencia del reloj por N. El diagrama de transición de estado y forma de onda para un contador dividido por 3. Circuitos Sı́ncronos y Ası́ncronos Máquinas de Estado Finito Máquina de Moore Máquina de Mealy Referencia Chavarrı́a-Zamora, Luis Alberto Figura 15: Divisor de reloj por tres Máquinas de Estados Finitos 29/ 42 Máquinas de Estados Finitos Chavarrı́aZamora, Luis Alberto Máquinas de Estado Finito Máquina de Mealy Introducción Repaso Diseño Lógico Sincrónico con Circuitos Secuenciales Circuitos Sı́ncronos y Ası́ncronos Máquinas de Estado Finito Máquina de Moore Máquina de Mealy Referencia Chavarrı́a-Zamora, Luis Alberto Figura 16: Divisor de reloj por tres. Transición de estados Máquinas de Estados Finitos 30/ 42 Máquinas de Estados Finitos Chavarrı́aZamora, Luis Alberto Máquinas de Estado Finito Máquina de Mealy Introducción Repaso Diseño Lógico Sincrónico con Circuitos Secuenciales Circuitos Sı́ncronos y Ası́ncronos Máquinas de Estado Finito Máquina de Moore Máquina de Mealy Referencia Chavarrı́a-Zamora, Luis Alberto Figura 17: Divisor de reloj por tres. Salida Máquinas de Estados Finitos 31/ 42 Máquinas de Estados Finitos Chavarrı́aZamora, Luis Alberto Máquinas de Estado Finito Máquina de Mealy Introducción Repaso Diseño Lógico Sincrónico con Circuitos Secuenciales Circuitos Sı́ncronos y Ası́ncronos Máquinas de Estado Finito Máquina de Moore Máquina de Mealy Referencia Chavarrı́a-Zamora, Luis Alberto Figura 18: One Hot Encoding Máquinas de Estados Finitos 32/ 42 Máquinas de Estados Finitos Chavarrı́aZamora, Luis Alberto Máquinas de Estado Finito Máquina de Mealy Introducción Repaso Diseño Lógico Sincrónico con Circuitos Secuenciales Circuitos Sı́ncronos y Ası́ncronos Máquinas de Estado Finito Máquina de Moore Máquina de Mealy Referencia Chavarrı́a-Zamora, Luis Alberto Figura 19: Binary Encoding Máquinas de Estados Finitos 33/ 42 Máquinas de Estados Finitos Chavarrı́aZamora, Luis Alberto Máquinas de Estado Finito Máquina de Mealy Introducción Repaso Diseño Lógico Sincrónico con Circuitos Secuenciales Circuitos Sı́ncronos y Ası́ncronos Máquinas de Estado Finito Máquina de Moore Máquina de Mealy Referencia Chavarrı́a-Zamora, Luis Alberto Figura 20: One Hot Encoding Máquinas de Estados Finitos 34/ 42 Máquinas de Estados Finitos Máquinas de Estado Finito Chavarrı́aZamora, Luis Alberto Máquina de Mealy Introducción Repaso Diseño Lógico Sincrónico con Circuitos Secuenciales Ecuaciones de estado para binary encoding: Circuitos Sı́ncronos y Ası́ncronos Máquinas de Estado Finito S1′ = S1 S0 S0′ = S1 S0 Máquina de Moore Máquina de Mealy Referencia Chavarrı́a-Zamora, Luis Alberto Y = S1 S0 Máquinas de Estados Finitos 35/ 42 Máquinas de Estados Finitos Máquinas de Estado Finito Chavarrı́aZamora, Luis Alberto Máquina de Mealy Introducción Repaso Ecuaciones de estado para One Hot Encoding Diseño Lógico Sincrónico con Circuitos Secuenciales Circuitos Sı́ncronos y Ası́ncronos S2′ = S1 S1′ = S0 Máquinas de Estado Finito Máquina de Moore Máquina de Mealy S0′ = S2 Referencia Chavarrı́a-Zamora, Luis Alberto Y = S0 Máquinas de Estados Finitos 36/ 42 Máquinas de Estados Finitos Chavarrı́aZamora, Luis Alberto Máquinas de Estado Finito Máquina de Mealy Introducción Repaso Diseño Lógico Sincrónico con Circuitos Secuenciales Circuitos Sı́ncronos y Ası́ncronos Máquinas de Estado Finito Máquina de Moore Máquina de Mealy Referencia Chavarrı́a-Zamora, Luis Alberto Figura 21: Circuito Resultante Máquinas de Estados Finitos 37/ 42 Máquinas de Estados Finitos Chavarrı́aZamora, Luis Alberto Introducción Máquinas de Estado Finito Máquina de Mealy Algunas veces es necesario para simplificar dividir una máquina de estado en dos sencillas. Repaso Diseño Lógico Sincrónico con Circuitos Secuenciales Circuitos Sı́ncronos y Ası́ncronos Máquinas de Estado Finito Máquina de Moore Máquina de Mealy Referencia Chavarrı́a-Zamora, Luis Alberto Figura 22: Simplificación FSM Máquinas de Estados Finitos 38/ 42 Máquinas de Estados Finitos Máquinas de Estado Finito Chavarrı́aZamora, Luis Alberto Máquina de Mealy Introducción Repaso Diseño Lógico Sincrónico con Circuitos Secuenciales Circuitos Sı́ncronos y Ası́ncronos Máquinas de Estado Finito Máquina de Moore Máquina de Mealy Referencia Figura 23: Diagrama de Estados FSM con diagrama de estados único Chavarrı́a-Zamora, Luis Alberto Máquinas de Estados Finitos 39/ 42 Máquinas de Estados Finitos Máquinas de Estado Finito Chavarrı́aZamora, Luis Alberto Máquina de Mealy Introducción Repaso Diseño Lógico Sincrónico con Circuitos Secuenciales Circuitos Sı́ncronos y Ası́ncronos Máquinas de Estado Finito Máquina de Moore Máquina de Mealy Referencia Figura 24: Diagrama de Estados FSM con dos diagramas de estados Chavarrı́a-Zamora, Luis Alberto Máquinas de Estados Finitos 40/ 42 Máquinas de Estados Finitos Referencia Chavarrı́aZamora, Luis Alberto Introducción Repaso Diseño Lógico Sincrónico con Circuitos Secuenciales Circuitos Sı́ncronos y Ası́ncronos • Harris, David Money, and Sarah L. Harris. Digital Design and Computer Architecture. Morgan Kaufmann, 2012. Máquinas de Estado Finito Máquina de Moore Máquina de Mealy Referencia Chavarrı́a-Zamora, Luis Alberto Máquinas de Estados Finitos 41/ 42 Máquinas de Estados Finitos Chavarrı́aZamora, Luis Alberto Introducción Repaso Este documento ha sido elaborado con software libre incluyendo LATEX, Beamer, GNU-Make y Git en GNU/Linux Diseño Lógico Sincrónico con Circuitos Secuenciales Circuitos Sı́ncronos y Ası́ncronos Máquinas de Estado Finito © 2023 Luis Alberto Chavarrı́a-Zamora Área de Ingenierı́a en Computadores Instituto Tecnológico de Costa Rica Máquina de Moore Máquina de Mealy Referencia Chavarrı́a-Zamora, Luis Alberto Máquinas de Estados Finitos 42/ 42