Simplificacin de Circuitos Secuenciales Completamente Especificados

Tcnicas y Dispositivos Digitales II - 2010

Sergio Luvoni - Julio C. Doumecq

Simplificacin de Circuitos Secuenciales Completamente Especificados

Disponemos de medios para obtener una tabla de estados, para una especificacin dada, pero no es nica y puede no ser optima. Definicin: Dos estados son equivalentes si no los podemos distinguir.

Simplificacin de Circuitos Secuenciales Completamente Especificados

Estados redundantes: Conviene su eliminacin por:
Costo: La cantidad de elementos de memoria est directamente relacionada con el nmero de estados. Complejidad: Cuanto ms estados tenga el circuito, ms complejo ser el diseo y su implementacin. Ayuda para el anlisis de fallas: En general, las rutinas de diagnstico (software) suponen que no existen estados redundantes.

Simplificacin de Circuitos Secuenciales Completamente Especificados

Mtodos de simplificacin:
Simple inspeccin Particin (Mtodo de Huffman-Mealy) Tabla de Implicantes (Mtodo de Paul-Unger)

Simplificacin de Circuitos Secuenciales Completamente Especificados

Simplificacin por simple inspeccin 1er caso: Qn A B C D 0 B/1 C/0 D/1 C/0 Xn 1 C/1 A/1 B/0 A/1

Qn+1 / Z

Simplificacin de Circuitos Secuenciales Completamente Especificados

Simplificacin por simple inspeccin 2do caso: Qn A B C D 0 B/0 B/0 B/1 D/1 D/0 Xn 1 C/1 A/1 B/0 A/1

Qn+1 / Z

Simplificacin de Circuitos Secuenciales Completamente Especificados

Simplificacin por simple inspeccin 3do caso: Qn A B C D 0 B/0 B/0 D/0 B/1 D/1 B/0 Xn 1 C/1 A/1 B/0 A/1

Qn+1 / Z

Simplificacin por simple inspeccin

Ejemplo:
Qn Q0 Q1 Q2 Q3 Q4 Q5 Q6 Q7 0 Q0,1 Q0,0 Q1,0 Q1,0 Q2,0 Q2,0 Q2,0 3 Q3,0 2 Xn 1 Q4,0 Q4,0 Q5,0 Q5,0 Q6,1 Q6,1 Q7,1 Q7/1

Qn+1 / Z

Simplificacin por simple inspeccin

Ejemplo:
Qn Q0 Q1 Q2 Q4 Q5 Q6 0 Q0,1 Q0,0 Q1,0 Q2,0 Q2,0 Q2,0 Xn 1 Q4,1 Q4,0 Q5,0 Q6,1 Q6,1 Q6,1

Qn+1 / Z

Simplificacin por simple inspeccin

Ejemplo:
Qn Q0 Q1 Q2 Q4 0 Q0,1 Q0,0 Q1,0 Q2,0 Xn 1 Q4,0 Q4,0 Q4,0 Q4,1

Qn+1 / Z

Tabla simplificada de un sistema Detector de Errores

Simplificacin de Circuitos Secuenciales Completamente Especificados

Relacin de equivalencia.
Definicin: Cuando un par ordenado de elementos (x,y) posee una propiedad que los relaciona (x R y) se puede decir que x est relacionada con y. La relacin R se define como el conjunto de todos los pares ordenados que posee esa propiedad, sea cual fuere.

Simplificacin de Circuitos Secuenciales Completamente Especificados

Criterios:
Si (x R x) para cada X del conjunto de inters, se dice que R es Reflexiva Si (y R x) siempre que (x R y), entonces R es simtrica Si (x R y) e (y R z) implican que (x R z) entonces R es Transitiva

Simplificacin de Circuitos Secuenciales Completamente Especificados

Toda relacin R que satisfaga los tres criterios se denomina Relacin de equivalencia y aplicada a un conjunto lo dividir en subconjuntos separados denominados clases de equivalencia

Simplificacin de Circuitos Secuenciales Completamente Especificados

Estados y Circuitos Equivalentes
X1n X2n Z1n Z2n
Qn Xn

0
Q3,0 Q3,0 Q3,0 Q4,0

1
Q1,0 Q3,0 Q1,1 Q4,0

3
Q2,0 Q4,0 Q1,3 Q2,0

2
Q2,0 Q4,0 Q1,2 Q2,0

Q1 Q2
Q1n+1 Q2n+1 Q1n Q2n

Q3 Q4

Simplificacin de Circuitos Secuenciales Completamente Especificados

Definimos:
funcin de salida funcin de prximo estado (Q2,3)=0 (Q2,3)=Q4

Simplificacin de Circuitos Secuenciales Completamente Especificados

Ejemplo: Estado Inicial: Q1 Secuencia de Entrada X: (0 2 3 0 0 1)

(Q1,0)=0 (Q3,2)=2 (Q1,3)=0 (Q2,0)=0 (Q3,3)=0 (Q3,3)=1

(Q1,0)=Q3 (Q3,2)=Q1 (Q1,3)=Q2 (Q2,0)=Q3 (Q3,3)=Q3 (Q3,1)=Q1

(Q1,023001)=020001 (Q1,023001)=Q1

Simplificacin de Circuitos Secuenciales Completamente Especificados

Definicin 1: Sean S y T dos circuitos secuenciales completamente especificados, sujetos a las mismas secuencias de entrada posibles (X1,X2,,Xn) de una longitud arbitraria. Los estados p T y q S son indistinguibles (Equivalentes), lo que se expresa pq si y slo si: T(p,X1,X2,,Xn) = S(p,X1,X2,,Xn) Para cada secuencia posible de entrada

Simplificacin de Circuitos Secuenciales Completamente Especificados

Es la equivalencia de estados una relacin de equivalencia? Definicin 2: Se dice que los circuitos secuenciales S y T son equivalentes (ST) si para cada estado p en T, existe un estado q en S, tal que pq, e inversamente, para cada estado p en T, tal que q p.
Es decir, dos circuitos son equivalentes si no se pueden diferenciar observando simplemente las respuestas a la secuencia de entrada

Simplificacin de Circuitos Secuenciales Completamente Especificados

Ej: Verifique si los circuitos sincrnicos S y T son equivalentes:

S Q1 Q2 Q3

X=0
Q3,0 Q1,1 Q1,0

X=1
Q2,1 Q2,0 Q2,1

T P1 P2

X=0
P1,0 P1,1

X=1
P2,1 P2,0

Simplificacin de Circuitos Secuenciales Completamente Especificados

S Estado inicial Q1; Secuencia X=(00110)

Q X Z Q X Z

Q1
0 0

Q3
0 0

Q1
1 1

Q2
1 0

Q2
0 1

Si el estado inicial hubiera sido Q3

Q3
0 0

Q1
0 0

Q3
1 1

Q2
1 0

Q2
0 1

Simplificacin de Circuitos Secuenciales Completamente Especificados

S Estado inicial Q1; Secuencia X=(1110)

Q X Z Q X Z

Q1
1 1

Q2
1 0

Q2
1 0

Q2
0 1 Q1Q3

Si el estado inicial hubiera sido Q3

Q3
1 1

Q2
1 0

Q2
1 0

Q2
0 0

Simplificacin de Circuitos Secuenciales Completamente Especificados

T Estado inicial P1; Secuencia X=(00110)

P X Z P X Z

P1
0 0

P1
0 0

P1
1 1

P2
1 0

P2
0 1

Si la secuencia era ahora X=(1110)

P1
1 1

P2
1 0

P2
1 0

P2
0 1

Q1Q3P1 Q2P2

ST

Determinacin de las clases de equivalencias de estados indistinguibles o equivalentes

Encontrar la tabla de estados ptima consiste en dividirla en el nmero ms pequeo posible de clases de equivalencia de estados indistinguibles (equivalente) Existen varias formas de dividir los estados de un circuito secuencial en clases separadas, pero no todas divisiones dan como resultado clases de equivalencia en estados indistinguibles. El cumplimiento del siguiente teorema asegura lo planteado:

Determinacin de las clases de equivalencias de estados indistinguibles o equivalentes

Teorema 1: Se har que los estados de un circuito secuencial se dividan en clases separadas. p=q indica que los estados p y q quedan dentro de la misma clase en la particin. Esta particin se compone de clases de equivalencia (subconjuntos) de estados indistinguibles (equivalentes), si y solo si se satisfacen dos condiciones para cada par de estados p y q en la misma clase, y cada entrada individual.

Determinacin de las clases de equivalencias de estados indistinguibles o equivalentes

1.- (p,x)=(q,x) 2.- (p,x)=(q,x) Tcnica de las particiones Mtodo de Huffman-Mealy Permite formar un circuito secuencial equivalente definiendo slo un estado correspondiente a cada clase de estados indistinguibles. El otro mtodo para la determinacin de clases de equivalencia para estados indistinguibles es el mtodo de la Tabla de implicantes o Mtodo de Paul-Unger. Este mtodo es ms largo pero sirve para circuitos incompletamente especificados. Este se basa en:

Determinacin de las clases de equivalencias de estados indistinguibles o equivalentes

Definicin 3: Se dice que un conjunto de estados P implica a un conjunto de estados Q, si para una cierta entrada Xi en conjunto Q contiene todos los estados siguientes de los estados de P. De la definicin de implicancia podemos enunciar que dos o ms estados son equivalentes, si para secuencia de entrada que se aplique a partir de cualquiera de ellos se cumple que:
I) II)

Las correspondientes salidas contemporneas son iguales. Los estados por ellos implicados son tambin equivalentes.

Adems por el teorema 1, los estados en R son equivalentes si y slo si, todos los estados en cualquier conjunto P implicado por R lo son tambin.

Mtodo de Huffman-Mealy
Ejemplo:
Qn Q0 Q1 Q2 Q3 Q4 Q5 Q6 Q7 0 Q0,1 Q0,0 Q1,0 Q1,0 Q2,0 Q2,0 Q3,0 Q3,0 Xn 1 Q4,0 Q4,0 Q5,0 Q5,0 Q6,1 Q6,1 Q7,1 Q7/1

Qn+1 / Z

Mtodo de Huffman-Mealy
Se compone de dos etapas: La primera consiste en dividir los estados en el menor nmero posible de clases de equivalencia, de tal manera que los estados dentro de la misma clase tengan las mismas salidas, es decir, que satisfagan la condicin (i) del teorema.

Mtodo de Huffman-Mealy
Ejemplo:
a b Qn Q0 Q1 Q2 Q3 Q4 Q5 Q6 Q7 0 Q0,1 Q0,0 Q1,0 Q1,0 Q2,0 Q2,0 Q3,0 Q3,0 Xn 1 Q4,0 Q4,0 Q5,0 Q5,0 Q6,1 Q6,1 Q7,1 Q7/1

Qn+1 / Z

Mtodo de Huffman-Mealy
Las clases de estados indistinguibles se compondrn siempre de sub-clases de clases a, b y c. Estas clases son las mayores que satisfarn la condicin (i) del teorema. Si se quiere insistir en que se cumpla la condicin (II) slo subdivir en ms sub-clases.
Clases Equivalentes Estados

a 0 1

b 2 3 4 5

c 6 7

Mtodo de Huffman-Mealy
En el segundo paso, se determinar para cada estado, cuando los siguientes estados estn en las clases a, b y c. Si estos estados siguientes permanecen en estos estados, el problema ya se encuentra resuelto. La clase del siguiente estado para entrada 0 se escribe a la izquierda de cada estado y la clase del estado siguiente para entrada 1 a la derecha.

Mtodo de Huffman-Mealy
Clases Equivalentes Estados Estados Siguientes

a 0 1

b 2 3 4 5

c 6 7

ac a c b c b c b c b c b c b c

Evidentemente, la clase b contiene pares de estados que no satisfacen la condicin (II), por lo tanto no son indistinguibles. Hay que separar la clase b en dos clases: b y d. La nueva particin puede presentar los mismos problemas, entonces hay que repetir el proceso de verificar las clases de los estados siguientes.

Mtodo de Huffman-Mealy
Clases Equivalentes Estados Estados Siguientes

a 0 2

b 3 4 5

c 6 7

d 1

ac b c b c b c b c b c b c a c

En este caso especfico, las cuatro clases a, b, c y d son indistinguibles. Se verifica que para cada entrada las clases de los estados siguientes son las mismas. Para formar el circuito equivalente, slo hay que seleccionar arbitrariamente un estado original de cada clase equivalente.

Mtodo de Huffman-Mealy
Tabla equivalente:
Qn Q0 Q1 Q2 Q4 0 Q0,1 Q0,0 Q1,0 Q1,0 Xn 1 Q4,0 Q4,0 Q4,0 Q4,1

Qn+1 / Z

Determinacin de las clases de equivalencias de estados indistinguibles o equivalentes

De los teoremas nombrados anteriormente, se mencion que el otro mtodo que los aplica es el mtodo de las tablas de implicantes de Paul-Unger. Este mtodo puede ser aplicado en circuitos que no estn completamente especificados. El mtodo consiste en buscar estados NO-Equivalentes en donde los 1-No Equivalentes son los que tienen diferentes salidas, los 2-No Equivalentes son aquellos cuyos estados siguientes tienen diferentes salidas y as sucesivamente. Vamos a desarrollar el mtodo sobre el siguiente ejemplo:

Mtodo de Paul-Unger
Ejemplo:
Qn Q1 Q2 Q3 Q4 Q5 Q6 Q7 0 Q2,0 Q7,0 Q4,0 Q7,0 Q2,0 Q1,0 Q1,0 Xn 1 Q3,0 Q2,0 Q1,0 Q2,0 Q5,0 Q4,1 Q6/0

Qn+1 / Z

Mtodo de Paul-Unger
En este caso sern 1-No Equivalentes las parejas de estados Q6-Q1, Q6Q2, Q6-Q3, Q6-Q4, Q6-Q5 y Q6-Q7, pues Q6 tiene salidas 0/1 mientras que los dems tienen salidas 0/0. Para seguir buscando estados No-Equivalentes construimos la tabla de implicacin. En la sig. figura en el lado izquierdo, descendiendo verticalmente, tenemos una lista de todos los estados del sistema menos el primero y, en sentido horizontal, se da una lista de todos los estados menos el ltimo, a lo largo de la base. De esta forma, la tabla contiene una casilla por cada par de estados. En cada casilla pondremos en el lado izquierdo los estados siguientes del estado que se encuentre en la base de la columna, y en el lado derecho y por el mismo orden segn las entradas que les correspondan, los estados siguientes del estado de la izquierda de la fila.

Mtodo de Paul-Unger

En el casillero correspondiente al par Q2-Q1, colocamos a la izquierda 2 (Q2 es el estado siguiente de Q1 para la entrada 0) y 3 (Q3 es el estado siguiente de Q1 para la entrada 1). A la derecha colocamos los estados siguientes de Q2, son: 7 (Q7) para la entrada 0 y 2 (Q2) para la entrada 1

Mtodo de Paul-Unger
Iremos tachando los casilleros de aquellos estados No-Equivalentes. En primer lugar, al determinar que Q6 con todos los dems estados eran 1-No-Equivalentes, toda la fila de Q6 y la casilla Q6-Q7 estarn tachadas. Luego, hay tachar los casilleros 2-No-Equivalentes que contengan coordenadas de estados previamente tachados (Los 1-No equivalentes) Vemos que la ltima fila posee en sus coordenadas referencias al estado Q6 con otros estados.

Mtodo de Paul-Unger
Eliminacin de estados 2-No Equivalentes Al ser Q6 No equivalente con cualquiera de los otros, cualquier par Q6-X X-Q6 ser tachado. El siguiente paso, es tachar los 3-NoEquivalentes: Son aquellos que hacen referencia a los estados que fueron tachados en el paso anterior (los 2-NoEquivalentes)

Mtodo de Paul-Unger
Eliminacin de estados 3-No Equivalentes Las casillas que hemos tachado tienen coordenadas (Q1, Q2), (Q1, Q4), (Q2, Q3), (Q2, Q5), (Q3, Q4) y (Q4, Q5). El paso a seguir sera tachar los casilleros que contengan a los 4-No-Equivalentes. Esto es, los que contengan Q1-Q2, Q1-Q4, Q2-Q3, Q2-Q5, Q3-Q4 y Q4Q5. Como no existe ningn casillero as, el proceso termina.

Mtodo de Paul-Unger
Una vez tachados todos los estados No-Equivalentes los que quedan sern equivalentes. Los casilleros no tachados tienen coordenadas (Q1, Q3), (Q1, Q5), (Q2, Q4) y (Q3, Q5), con lo que los conjuntos de estados equivalentes son {Q1, Q3, Q5} (al ser equivalentes Q1-Q3, Q1-Q5 y Q3-Q5, propiedad transitiva), {Q2, Q4}, {Q6} y {Q7}. Ahora se procede a construir una tabla de equivalencias.

Mtodo de Paul-Unger
Para construir la tabla de equivalencias, anotamos los estados correspondientes a las columnas de la tabla de implicacin en orden inverso, es decir, de derecha a izquierda y ponindolos cada uno debajo del anterior. A continuacin vamos comprobando las columnas de cada uno de los estados empezando por la de la derecha. Al Iado del estado colocaremos los estados equivalentes, que se corresponden con las casillas no tachadas en las columnas. En nuestro ejemplo, las columnas de Q6, Q5 y Q4 no tienen casillas sin tachar, por lo que no hay equivalencias. Para Q3 tenemos que son equivalentes Q3 y Q5 al estar su casilla sin tachar, con lo cual ponemos el conjunto {Q3, Q5}. Despus seguimos mirando las otras columnas, copiando las equivalencias obtenidas antes y aadiendo las nuevas. Si un estado es equivalente a estados que ya se encontraban agrupados en una clase, lo que hacemos es incluirlo, como ocurre con Q1 respecto de {Q3, Q5}. Cuando hayamos mirado todas las columnas, el conjunto final de clases de equivalencia estar formado por las clases halladas, junto con los estados individuales que no tienen ningn estado equivalente.

Mtodo de Paul-Unger
Columna Q6 Q5 Q4 Q3 Q2 Q1 Estados equivalentes {Q3, Q5} {Q3, Q5}, {Q2,Q4} {Q1, Q3, Q5}, {Q2, Q4}

Clases de equivalencias:{Q1, Q3, Q5}, {Q2, Q4}, {Q6},{Q7}

Mtodo de Paul-Unger
Ahora podemos elegir un estado representante de cada clase y tendremos el resultado de la minimizacin. Elegimos a Q1, Q2, Q6 y Q7. Obtenemos la tabla simplificada. Qn Q1 Q2 Q6 Q7 0 Q2,0 Q7,0 Q1,0 Q1,0 Xn 1 Q1,0 Q2,0 Q2,1 Q6/0

Determinacin de las clases de equivalencias de estados indistinguibles o equivalentes

Apuntes finales: Para simplificar un sistema secuencial conviene primero aplicar simple inspeccin para evitar trabajar con tablas con muchos estados. Luego, aplicando el mtodo de las particiones las tablas de implicantes se proceder a encontrar la cantidad de estados mnimos. Otro punto a resolver es la asignacin ptima de estados, que se ver en clases posteriores.