4 Lgica Secuencial.

TEMA IV ESPECIFICACIN DE SISTEMAS SECUENCIALES

Tiene memoria => La salida depende del estado y de la entrada actual
X = x1 x2... xn Q = q1 q2... q Z = z1 z2... zm x1 x2 xn q1 q2 q
1

FC 2005

z1 z2 zm q1 q2 q
2

Z (t + 1) = F ( Q ( t ) + X (t ))

4 Lgica secuencial.
4.1 Mquinas de Moore y de Mealy. 4.2 El Biestables D. 4.3 Contadores y Reconocedores de Secuencia. 4.4 Memorias RAM.

4.1 Mquinas de Moore y de Mealy.

Diagrama de estados para (mquina Mealy)

Diagrama de estados para mquinas de Moore

a/b Estado 1 Estado 2

S1 / Z1

X1 S2 / Z2

Diagrama de estados (Mealy)

Estado actual S(t) PAR PAR IMPAR IMPAR Entrada X(t) 0 1 0 1 Estado siguiente S(t+t) PAR IMPAR IMPAR PAR Salida Z(t) 1 0 0 1

Diagrama de estados (Moore)

Estado actual S( t) PAR PAR IMPAR IMPAR Entrada X (t) 0 1 0 1 Estado siguiente S (t+t) PAR IMPAR IMPAR PAR Salida Z( t) 1 0 0 1

1/0 PAR 0/1 1/1 IMPAR 0/0

7

1 PAR /1 IMPAR /0

0
8

Esquema y tabla de verdad del biestable D

D(t) Q(t+1) 0 1
Q

4.2 El Biestable D.

0 1
Ck D
9

10

Seal de reloj
Ciclo de reloj

Diagrama de tiempo de un sistema sncrono (Mealy)

Reloj X(t ) S(t ) PAR IMPAR PAR IMPAR IMPAR IMPAR 0 1 2 3 4 5

Z(t )

11

12

Diagrama de tiempo de un sistema sncrono (Moore)

Reloj X(t ) S(t ) PAR IMPAR PAR IMPAR IMPAR IMPAR 0 1 2 3 4 5

4.3 Contadores y Reconocedores de Secuencia.

Z(t )

13

14

Diagrama de estados de un contador

0 1 0 2 1 1 0 p1 1
15

Diagrama de estados de un contador mdulo-4

0

1
0 1 0 1 3 0 1 1 1 2 0

x 0 0 0 0 1 1 1 1

Q1 0 0 1 1 0 0 1 1

Q0 0 1 0 1 0 1 0 1

e1 0 0 1 1 0 1 1 0

e0 0 1 0 1 1 0 1 0

16

Implementacin de un contador mdulo-4

0 11 0 11 00 01 0 11 0 10

Reconocedor de secuencias abb (mquina de Mealy)

S si X (t 2 ) = a , X( t 1) = b y X (t ) = b Z (t ) = N en cualquier otro caso
S2 b/N a/N a/N S1 a/N S0
18

2 1 0

76 5 43 21 0 E

7 65 4 3 21 0 2 E 1 0

e1 Q1 Q0 Ck

e0

z1 z0

b/S

Estado inicial

b/N

17

Ejemplo: Implementacin de una mquina de Mealy

Estado actual S0 S1 S2 x = a S2 1N S1, N S1, , N x= b S0, N S2 , N S0,S

Implementacin Mealy: abb

SC1 X 0 (t )

Estado siguiente, salida S 1 (t ) Q 1 Ck D1 S 0 (t ) Q 0 Ck D0

Codificacin de la entrada x0 a 0 b 1

Codificacin del estado Q1 Q0 S0 0 0 S1 1 0 S2 0 1

Reloj

S 1 (t+ 1)

S 0 (t+ 1) SC2

19

Z 0 (t )

20

Reconocedor de secuencias abb (mquina de Moore)

S si X (t 2) = a , X (t 1) = b y X (t ) = b Z (t ) = otrocaso N encualquier
b a a S 2/N a b a b Estado inicial S 0/N
21

Implementacin Moore: abb

SC1 X 0 (t )

S 1/N b

S 3/S
Reloj

S 1 (t )

Q 1 Ck D1

S 1 (t+ 1)

S 0 (t )

Q 0 Ck D0

S 0 (t+ 1) SC2 Z 0 (t ) 22

Reconocedor de secuencias binarias

Reloj Ck Q D Q Ck D S1 Q Ck D Q Ck D X(t )

Reconocedor de secuencias generalizado

X (t)
0

Reconocedor de secuencias binarias Reconocedor de secuencias binarias Z (t)

X (t)
S0
1

S m-2

S m-3

X (t)

X
COMPARADO R Z (t )

k -1

(t) Reconocedor de secuencias binarias

23

24

REPASO
Autmata de Moore y de Mealy Biestable D Contadores Reconocedores de secuencia

25