Ejercicio 2 · Introducció als Computadors UPC 2014

Ejercicio 2 (1,5 puntos). Autómata de Moore detector/filtro de pulsos

Se define un pulso en una señal binaria síncrona como toda secuencia consecutiva de unos lógicos (1). Su anchura viene dada por el total de unos seguidos que contiene. Una señal binaria síncrona se compone de pulsos separados entre sí por uno o más ceros lógicos.

Se desea implementar un circuito secuencial sincrónico de tipo Moore con una entrada $x$ y una salida $w$. La salida debe reproducir la secuencia de entrada pero eliminando los pulsos cuya anchura sea superior a la unidad; esto es, todo pulso de anchura $p > 1$ debe ser sustituido por $p$ ceros consecutivos en la salida. Debido a la necesidad de comprobar si el pulso tiene o no continuidad, la salida $w$ se obtiene retardada dos ciclos respecto a la entrada $x$.

Supóngase que en el estado inicial el sistema asume que en los ciclos previos la entrada siempre ha sido cero. El cronograma simplificado de ejemplo es el siguiente:

Ciclo:

x

w

Completa el grafo de estados de Moore que modela este comportamiento, rellenando el valor de la salida $w$ asociado a cada estado y dibujando todos los arcos de transición etiquetados con el valor de la entrada $x$:

Dibuja en papel el grafo completo con todas las transiciones y salidas, y sube una fotografía de tu solución: