Minimizacin de Estados.

Cuando se disea una MSS ms compleja, es muy probable que el Diagrama de Estados tenga ms estados que los necesarios. La minimizacin de nmero de estados es importante porque tener un menor nmero de estados significa que el bloque de Memoria de Estados necesitar menos flip-flops y los bloques de los Decodificadores de Estado Siguiente y de Salida sern menos complejos. Si dos o mas estados son equivalentes, solo uno de ellos es vlido, los dems son redundantes y pueden ser eliminados. Dos estados se llaman equivalentes cuando para las mismas condiciones de entrada: Tienen las mismas salidas Tienen los mismos Estados Siguientes. Esto se puede detectar mediante una tabla de estados primitiva.
28

Ejemplo:
Para el siguiente diagrama de estados primitivo, encuentre el diagrama de estados simplificado.
Formato : x / y
0/0

a
1/0 1/1 1/1 0/0 1/0 0/0

b
0/0

29

Tabla de estados primitiva:

Estado presente a b c d Entradas x 0 1 0 1 0 1 0 1 Estado Siguiente a b c d b c b c Salidas y 0 0 0 0 0 1 0 1

Son equivalentes

Como c y d tienen los mismos estados siguientes con las mismas salidas para las mismas condiciones de entrada, se dice que son equivalentes y d es redundante.
Estado presente a b c d Entradas x 0 1 0 1 0 1 0 1 Estado Siguiente a b c d c b c b c Salidas y 0 0 0 0 0 1 0 1

30

Resulta en el siguiente Diagrama de estados simplificado:

Formato : x / y
0/0 0/0

a
1/0 1/1 0/0

a
1/0

b
1/0 0/0

1/1

b
/0 0/0

31

Ejemplo: Disear una MSS modelo Moore que realizara el control de la venta para una maquina dispensadora de los caramelos. El precio de un caramelo es de 15. La maquina puede recibir solo monedas de 5 (Nckel) y de 10 (Dime). Si el usuario deposita 20 (2 x 10), la maquina no devuelve 5, pero da crdito y espera que el usuario deposite otros 10 para completar la segunda venta. Despus de la venta la MSS debe regresar al estado inicial.

32

Basndose en las condiciones de funcionamiento dados desarrollamos inicialmente un Diagrama de Estados Primitivo. Formato : D,N / C
00/0 00/1 00/0 10/0

S1
01/0 00/0

00/1 10/0

S4

01/0

S2
10/0 00/1

S3
01/0

S7

S5
01/0 00/1

S6
10/0

00/0 00/1

S8

S9

Luego elaboramos la Tabla de Estados Primitiva.

33

34

35

Si dos estados son equivalentes, uno de ellos es redundante y puede ser eliminado. Luego de detectar y eliminar los estados redundantes llegamos al Diagrama de Estados Reducido. Formato : D,N / C
00/0

Asignacin de cdigo:
R1 : S1-S4, S3-S5 R2 : S1-S3-S2, S3-S2-S4,S2-S4-S5 R3 : S1-S3, S1-S2, S2-S4, S2-S5 S3-S2, S3-S4, S4-S1, S5-S3
AB C
00/1

S1
01/0 10/0 00/1 00/0

S3
01/0

00
0

01
2

11
6

10
4

0 1

S1
1

S4
3

S2
7

S3

S5

S2
00/0 01/0

10/0

S5

S1 <= 000
10/0

S2 <= 110 S3 <= 001 S4 <= 010 S5 <= 011

36

S4

Tabla de estados Presentes y Siguientes:

Estado Presente Entrada Estado Siguiente Salida

y2
S1
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

y1
0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1

y0
0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1

D
0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1

N
0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1

Y2
0 0 1 0 1 0 0 0 1 0 0

Y1
0 0 1 0 1 1 0 0 1 1 1

Y0
0 1 0 1 0 0 0 1 0 0 1

C
0 0 0 0 0 0 1 1 0 0 0

S3

S4

S5

S2

37

Basndose en esta Tabla se puede elaborar los mapas del Decodificador de Estado Siguiente y del Decodificador de Salida. Luego se puede implementar la MSS diseada utilizando flip-flops, mux, decodificadores y puertas lgicas adicionales.

38

Sincronizacin de seales externas.

El bloque receptor-de-monedas al detectar las monedas de cinco y diez centavos generar dos seales: senseN y senseD. Pero el receptor-de monedas es un dispositivo mecnico, por lo tanto, es muy lento comparado con el circuito digital que debe recibir estas seales. Esto significa que las seales senseN y senseD estarn presente durante un gran nmero de periodos de Clock de la MSS. La MSS puede tomar estas seales largas como si hubieran ingresado varias monedas. Por lo tanto, es necesario sincronizar las seales senseN y senseD para que por cada moneda introducida la seal que recibe la MSS no dure mas que un periodo de Clock. Para esto se puede implementar un circuito de sincronizacin que recibe la seal senseN o senseD de cualquier duracin y genera la salida N o D que dure solo un periodo de Clock.

39

Sincronizacin mediante Flip Flops externos

Se conectan dos Flip Flops en cascada de tal forma que la salida N solo sea verdadera un pulso de reloj, mientras la seal pasa del primer FF al segundo.

40