GUÍA 21-10-26 Laboratorio de Sistemas Embebidos

CN113 · miércoles 21/10/2026 · 18:00-19:40 · Sesión 10

Práctica 4 · Máquina de estados Mealy, comparación y entrega

OBJETIVO

Implementar la versión Mealy del mismo problema y comparar ambas cuantitativamente.

LA DIFERENCIA

• En Moore la salida se escribe en el proceso de salidas, en función del estado.
• En Mealy la salida se escribe en las transiciones, en función del estado y de la entrada.

La consecuencia es que Mealy responde un ciclo antes y suele necesitar menos estados, pero su salida puede tener glitches porque depende directamente de una entrada asíncrona.

MEALY CON SALIDA REGISTRADA

Pasar la salida por un flip-flop elimina los glitches y conserva la ventaja de menos estados, a costa del ciclo que se había ganado. Es la solución que se usa cuando la salida controla algo crítico.

COMPARACIÓN A DOCUMENTAR

• Número de estados de cada versión.
• Recursos: elementos lógicos y registros.
• Frecuencia máxima reportada.
• Latencia en ciclos desde la entrada hasta la salida.
• Presencia de glitches observada en la simulación de tiempos.

ESTADOS ILEGALES

Con one-hot existen combinaciones no alcanzables. Incluir un others que regrese a un estado seguro, y documentar la decisión en el reporte. En un sistema embebido real esa protección es lo que evita que un evento externo deje el equipo colgado.

VERIFICACIÓN EN HARDWARE

Implementar con interruptores como entrada y LED como salida. Los rebotes del interruptor van a alimentar la máquina con transiciones espurias: hay que filtrarlos, y ese hallazgo vale la pena documentarlo en las conclusiones.

ENTREGA DE LA PRÁCTICA 4

Reporte con ambos diagramas de estado, la tabla comparativa y las conclusiones sobre cuándo conviene cada modelo.