Tema 5:

Especificación de sistemas
secuenciales síncronos
Fundamentos de computadores

José Manuel Mendías Cuadros

Dpto. Arquitectura de Computadores y Automática
Universidad Complutense de Madrid
 versión 12/09/14

 Especificación basada en estados.

 Diagramas de estados.
 Máquinas de Moore y Mealy.
Especificación de sistemas secuenciales síncronos
tema 5:

Transparencias basadas en los libros:

• R. Hermida, F. Sánchez y E. del Corral. Fundamentos de computadores.
FC • D. Gajsky. Principios de diseño digital.
2
 versión 12/09/14

 La salida en cada instante depende del valor de la

entrada en ese instante y de todos los valores que la
entrada ha tomado con anterioridad.
Especificación de sistemas secuenciales síncronos

o En ocasiones, a misma entrada, distinta salida.

x(t) F z(t)

z(ti) = F( x( [0, ti] ) ), con x(ti)E, z(ti)S

 Para especificar su comportamiento deberán definirse:
tema 5:

o Los conjuntos discretos de valores de entrada/salida: E, S

FC
3 o ¿Cómo especificar la función F?
 versión 12/09/14

 Estado: clase de equivalencia formada por todas las

secuencias de valores de entrada que producen una
misma salida actual y futura.
Especificación de sistemas secuenciales síncronos
tema 5:

FC
4
 versión 12/09/14

 Estado: clase de equivalencia formada por todas las

secuencias de valores de entrada que producen una
misma salida actual y futura.
Especificación de sistemas secuenciales síncronos

x(t) F z(t)

x(t)  E = { A, B, C }, z(t)  S = { 0, 1 }

x(t) A B C B B A C B A A C C A B B
tema 5:

z(t) 0 0 0 0 0 1 1 1 0 1 1 1 0 0 0
FC
5
tiempo
 versión 12/09/14

 Estado: clase de equivalencia formada por todas las

secuencias de valores de entrada que producen una
misma salida actual y futura.
Especificación de sistemas secuenciales síncronos

x(t) F z(t)

x(t)  E = { A, B, C }, z(t)  S = { 0, 1 }

x(t) A B C B B A C B A A C C A B B
tema 5:

z(t) 0 0 0 0 0 1 1 1 0 1 1 1 0 0 0
FC
6
tiempo
 tema 5:

7
versión 12/09/14

FC
Especificación de sistemas secuenciales síncronos

x( [0...t] )

B B A B

C C C B A
A B A A B C
 tema 5:

8
versión 12/09/14

FC
Especificación de sistemas secuenciales síncronos

x( [0...t] )

B B A B

C C C B A
A B A A B C
0
0
0
z(t)
 tema 5:

9
versión 12/09/14

FC
Especificación de sistemas secuenciales síncronos

x( [0...t] )

B B A B

C C C B A
A B A A B C
0
0
0
z(t)

C
B
A

0
0
1
x(t+t) z(t+t)
 versión 12/09/14

x( [0...t] ) z(t) x(t+t) z(t+t)

B B A B 0 A 1
Estado IMPAR:
Han llegado un A B A A B C 0 B 0
Especificación de sistemas secuenciales síncronos

número impar de Aes

C C C B A 0 C 0
tema 5:

FC
10
 versión 12/09/14

x( [0...t] ) z(t) x(t+t) z(t+t)

B B A B 0 A 1
Estado IMPAR:
Han llegado un A B A A B C 0 B 0
Especificación de sistemas secuenciales síncronos

número impar de Aes

C C C B A 0 C 0

Estado PAR:
Han llegado un
tema 5:

número par de Aes

FC
11
 versión 12/09/14

x( [0...t] ) z(t) x(t+t) z(t+t)

B B A B 0 A 1
Estado IMPAR:
Han llegado un A B A A B C 0 B 0
Especificación de sistemas secuenciales síncronos

número impar de Aes

C C C B A 0 C 0

x( [0...t] ) z(t) x(t+t) z(t+t)

A A C B 1 A 0
Estado PAR:
Han llegado un A C A 1 B 1
tema 5:

número par de Aes

A B A A A 1 C 1
FC
12
 versión 12/09/14

 Especificación del dominio: E

o Conjunto discreto de valores que puede tomar la entrada.
 Especificación del codominio: S
Especificación de sistemas secuenciales síncronos

o Conjunto discreto de valores que puede tomar la salida.

 Especificación del conjunto de estados: Q
o Conjunto discreto de estados en los que puede estar el sistema.
 Función de transición de estados: G: Q×E  Q
o Define cuál será el estado siguiente del sistema para cada posible par
(estado del sistema, valor de la entrada).
 Función de salida: H: Q×E  S
tema 5:

o Define cuál será la salida para cada posible par (estado del sistema,
valor de la entrada)
FC
13
 versión 12/09/14

x(t) F z(t)

x(t)  E = { A, B, C }, z(t)  S = { 0, 1 }
Especificación de sistemas secuenciales síncronos

q(t)  Q = { par, impar }

Función de transición
Función de salida
de estados
q x q' q x z
par A impar par A 0
par B par par B 1
par C par par C 1
tema 5:

impar A par impar A 1

FC
impar B impar impar B 0
14
impar C impar impar C 0
 versión 12/09/14

 Representa un de sistema secuencial mediante un grafo:

o Cada estado se representa por un nodo.
o Cada transición de estado por un arco dirigido y etiquetado:
• Cada arco une un estado origen con estado destino.
Especificación de sistemas secuenciales síncronos

• La etiqueta indica el valor de entrada que provoca la transición y el

valor de la salida para el par (estado origen, entrada).
• Esto NO quiere decir que la salida se calcule durante la transición.
tema 5:

FC
15
 versión 12/09/14

 Representa un de sistema secuencial mediante un grafo:

o Cada estado se representa por un nodo.
o Cada transición de estado por un arco dirigido y etiquetado:
• Cada arco une un estado origen con estado destino.
Especificación de sistemas secuenciales síncronos

• La etiqueta indica el valor de entrada que provoca la transición y el

valor de la salida para el par (estado origen, entrada).
• Esto NO quiere decir que la salida se calcule durante la transición.

q x q' z
par A impar 0
par B par 1
par C par 1
tema 5:

impar A par 1
impar B impar 0
FC impar C impar 0
16
 versión 12/09/14

 Representa un de sistema secuencial mediante un grafo:

o Cada estado se representa por un nodo.
o Cada transición de estado por un arco dirigido y etiquetado:
• Cada arco une un estado origen con estado destino.
Especificación de sistemas secuenciales síncronos

• La etiqueta indica el valor de entrada que provoca la transición y el

valor de la salida para el par (estado origen, entrada).
• Esto NO quiere decir que la salida se calcule durante la transición.

q x q' z
par A impar 0
par B par 1
par C par 1 par impar
tema 5:

impar A par 1
impar B impar 0
FC impar C impar 0
17
 versión 12/09/14

 Representa un de sistema secuencial mediante un grafo:

o Cada estado se representa por un nodo.
o Cada transición de estado por un arco dirigido y etiquetado:
• Cada arco une un estado origen con estado destino.
Especificación de sistemas secuenciales síncronos

• La etiqueta indica el valor de entrada que provoca la transición y el

valor de la salida para el par (estado origen, entrada).
• Esto NO quiere decir que la salida se calcule durante la transición.

q x q' z
par A impar 0
par B par 1 A/0
par C par 1 par impar
tema 5:

impar A par 1
impar B impar 0
FC impar C impar 0
18
 versión 12/09/14

 Representa un de sistema secuencial mediante un grafo:

o Cada estado se representa por un nodo.
o Cada transición de estado por un arco dirigido y etiquetado:
• Cada arco une un estado origen con estado destino.
Especificación de sistemas secuenciales síncronos

• La etiqueta indica el valor de entrada que provoca la transición y el

valor de la salida para el par (estado origen, entrada).
• Esto NO quiere decir que la salida se calcule durante la transición.

q x q' z
par A impar 0
par B par 1 A/0
par C par 1 par impar
tema 5:

impar A par 1 B/1

impar B impar 0
FC impar C impar 0
19
 versión 12/09/14

 Representa un de sistema secuencial mediante un grafo:

o Cada estado se representa por un nodo.
o Cada transición de estado por un arco dirigido y etiquetado:
• Cada arco une un estado origen con estado destino.
Especificación de sistemas secuenciales síncronos

• La etiqueta indica el valor de entrada que provoca la transición y el

valor de la salida para el par (estado origen, entrada).
• Esto NO quiere decir que la salida se calcule durante la transición.

q x q' z
par A impar 0
C/1 A/0
par B par 1
par C par 1 par impar
tema 5:

impar A par 1 B/1

impar B impar 0
FC impar C impar 0
20
 versión 12/09/14

 Representa un de sistema secuencial mediante un grafo:

o Cada estado se representa por un nodo.
o Cada transición de estado por un arco dirigido y etiquetado:
• Cada arco une un estado origen con estado destino.
Especificación de sistemas secuenciales síncronos

• La etiqueta indica el valor de entrada que provoca la transición y el

valor de la salida para el par (estado origen, entrada).
• Esto NO quiere decir que la salida se calcule durante la transición.

q x q' z
par A impar 0
C/1 A/0 C/0
par B par 1
par C par 1 par impar
tema 5:

impar A par 1 B/1 A/1 B/0

impar B impar 0
FC impar C impar 0
21
 versión 12/09/14

 Representa un de sistema secuencial mediante un grafo:

o Cada estado se representa por un nodo.
o Cada transición de estado por un arco dirigido y etiquetado:
• Cada arco une un estado origen con estado destino.
Especificación de sistemas secuenciales síncronos

• La etiqueta indica el valor de entrada que provoca la transición y el

valor de la salida para el par (estado origen, entrada).
• Esto NO quiere decir que la salida se calcule durante la transición.

q x q' z
par A impar 0
C/1 A/0 C/0
par B par 1
par C par 1 par impar
tema 5:

impar A par 1 B/1 A/1 B/0

impar B impar 0
FC impar C impar 0
22
 versión 12/09/14

 La entrada es un vector de n bits

o x  { 0, 1 }n es decir, x = (xn‐1... x0) con xi  {0, 1}
 La salida es un vector de m bits
o z  { 0, 1 }m es decir, z = (zm‐1... z0) con zi  {0, 1}
Especificación de sistemas secuenciales síncronos

 El estado es un vector de p bits

o q  { 0, 1 }p es decir, q = (qp‐1... q0) con qi  {0, 1}
 Función de transición de estados:
o p funciones de conmutación de p+n variables
o G = { gi : { 0, 1 }p+n  { 0, 1 } / qi = gi(q, x), con 0 ≤ i ≤ p‐1 }
 Función de salida:
tema 5:

o m funciones de conmutación de p+n variables

FC o H = { hi : { 0, 1 }p+n  { 0, 1 } / zi = hi(q, x), con 0 ≤ i ≤ m‐1 }
23
 versión 12/09/14

 Codificación domino: { A  (00), B  (01), C  (10) }

 Codificación codomino: { 0  0, 1  1 }
 Codificación estados: { par  0, impar  1 }
Especificación de sistemas secuenciales síncronos

Función de transición
Función de salida
de estados
q x1 x0 q' q x1 x 0 z
0 0 0 1 0 0 0 0
0 0 1 0 0 0 1 1
0 1 0 0 0 1 0 1
0 1 1 ‐ 0 1 1 ‐
1 0 0 0 1 0 0 1
tema 5:

1 0 1 1 1 0 1 0
FC 1 1 0 1 1 1 0 0
24 1 1 1 ‐ 1 1 1 ‐
 versión 12/09/14

 Sistema secuencial asíncrono:

o El estado del sistema puede cambiar en cualquier instante en
respuesta a un cambio de la entrada.
 Sistema secuencial síncrono:
Especificación de sistemas secuenciales síncronos

o El estado del sistema solo puede cambiar en un conjunto discreto

de instantes indicados por una señal de reloj.
o Un cambio en la entrada no provoca por sí mismo un cambio de
estado.
o Sólo el valor existente en la entrada en los instantes marcados por
el reloj afectan al estado. ciclo de reloj
tema 5:

clk

FC
La señal de reloj es cuadrada y periódica de frecuencia, fclk, fija.
25 Los cambios de 1 a 0 (flanco subida) ó 0 a 1 (flanco de bajada) marcan los instantes.
 versión 12/09/14

lógica combinacional de
generación del estado siguiente

m
Especificación de sistemas secuenciales síncronos

p p
x(t)
n G q'(t) q(t)
H z(t)

lógica combinacional clk

de generación de salidas registro de estado

Estructura de una Máquina de Moore

tema 5:

La salida en todo instante depende exclusivamente del estado

FC en que se encuentra el sistema.
26
 versión 12/09/14

lógica combinacional de
generación del estado siguiente

m
Especificación de sistemas secuenciales síncronos

p p
x(t)
n G q'(t) q(t)
H z(t)

lógica combinacional clk

de generación de salidas registro de estado

Estructura de una Máquina de Mealy

tema 5:

La salida en cada instante depende del estado en que se encuentra el

FC sistema y del valor de la entrada en ese instante.
27
 versión 12/09/14

 Mealy:
q x q' q x z
par A impar par A 0
C/1 A/0 C/0 par B par par B 1
Especificación de sistemas secuenciales síncronos

par impar par C par par C 1

impar A par impar A 1
A/1 impar B impar impar B 0
B/1 B/0 impar C impar impar C 0

 Moore:
q x q' q z
C C par A impar par 1
A
par B par
tema 5:

par impar impar 0

par C par
1 0 impar A par
FC B A B impar B impar
impar C impar
28
 versión 12/09/14

x
n
 Registro de estado: a cada flanco de
reloj transfiere el valor de la entrada a la
clk salida y lo mantiene durante un ciclo de
n reloj.
Especificación de sistemas secuenciales síncronos

z
tema 5:

FC
29
 versión 12/09/14

x
n
 Registro de estado: a cada flanco de
reloj transfiere el valor de la entrada a la
clk salida y lo mantiene durante un ciclo de
n reloj.
Especificación de sistemas secuenciales síncronos

clk

x C2 43 91 10 E2 7D

z
tema 5:

F0

i i+1 i+2 i+3 i+4 i+5 i+6

FC
30
 versión 12/09/14

x
n
 Registro de estado: a cada flanco de
reloj transfiere el valor de la entrada a la
clk salida y lo mantiene durante un ciclo de
n reloj.
Especificación de sistemas secuenciales síncronos

clk

x C2 43 91 10 E2 7D

z
tema 5:

F0 C2

i i+1 i+2 i+3 i+4 i+5 i+6

FC
31
 versión 12/09/14

x
n
 Registro de estado: a cada flanco de
reloj transfiere el valor de la entrada a la
clk salida y lo mantiene durante un ciclo de
n reloj.
Especificación de sistemas secuenciales síncronos

clk

x C2 43 91 10 E2 7D

z
tema 5:

F0 C2 43

i i+1 i+2 i+3 i+4 i+5 i+6

FC
32
 versión 12/09/14

x
n
 Registro de estado: a cada flanco de
reloj transfiere el valor de la entrada a la
clk salida y lo mantiene durante un ciclo de
n reloj.
Especificación de sistemas secuenciales síncronos

clk

x C2 43 91 10 E2 7D

z
tema 5:

F0 C2 43

i i+1 i+2 i+3 i+4 i+5 i+6

FC
33
 versión 12/09/14

x
n
 Registro de estado: a cada flanco de
reloj transfiere el valor de la entrada a la
clk salida y lo mantiene durante un ciclo de
n reloj.
Especificación de sistemas secuenciales síncronos

clk

x C2 43 91 10 E2 7D

z 91
tema 5:

F0 C2 43

i i+1 i+2 i+3 i+4 i+5 i+6

FC
34
 versión 12/09/14

x
n
 Registro de estado: a cada flanco de
reloj transfiere el valor de la entrada a la
clk salida y lo mantiene durante un ciclo de
n reloj.
Especificación de sistemas secuenciales síncronos

clk

x C2 43 91 10 E2 7D

z 91
tema 5:

F0 C2 43

i i+1 i+2 i+3 i+4 i+5 i+6

FC
35
 versión 12/09/14

x
n
 Registro de estado: a cada flanco de
reloj transfiere el valor de la entrada a la
clk salida y lo mantiene durante un ciclo de
n reloj.
Especificación de sistemas secuenciales síncronos

clk

x C2 43 91 10 E2 7D

z 91 E2
tema 5:

F0 C2 43

i i+1 i+2 i+3 i+4 i+5 i+6

FC
36
 versión 12/09/14

x
n
 Registro de estado: a cada flanco de
reloj transfiere el valor de la entrada a la
clk salida y lo mantiene durante un ciclo de
n reloj.
Especificación de sistemas secuenciales síncronos

clk

x C2 43 91 10 E2 7D

z 91 E2 7D
tema 5:

F0 C2 43

i i+1 i+2 i+3 i+4 i+5 i+6

FC
37
 versión 12/09/14

x
n
 Registro de estado: a cada flanco de
reloj transfiere el valor de la entrada a la
clk salida y lo mantiene durante un ciclo de
n reloj.
Especificación de sistemas secuenciales síncronos

clk

x C2 43 91 10 E2 7D

z 91 E2 7D
tema 5:

F0 C2 43

i i+1 i+2 i+3 i+4 i+5 i+6

FC
38
 versión 12/09/14

x
n
 Registro de estado: a cada flanco de
reloj transfiere el valor de la entrada a la
clk salida y lo mantiene durante un ciclo de
n reloj.
Especificación de sistemas secuenciales síncronos

clk

x C2 43 91 10 E2 7D

z 91 E2 7D
tema 5:

F0 C2 43

i i+1 i+2 i+3 i+4 i+5 i+6

FC
filtra valores transitorios sincroniza los cambios de la entrada
39
 versión 12/09/14

clk

x(t) A B A C A
Especificación de sistemas secuenciales síncronos

q'(t) par

1. En ausencia de flancos de reloj y cambios de la

q(t) impar
entrada, todas las señales están estables.

z(t)

q x q' q z
par A impar par 1
tema 5:

par B par impar 0

A
G par impar H 0 par
impar
C
A
par
par
FC impar B impar
40 clk impar C impar
 versión 12/09/14

clk

x(t) A B A C A
Especificación de sistemas secuenciales síncronos

q'(t) par

2. Llega el flanco de reloj: el registro de estado

q(t) impar par
carga el valor que tiene a su entrada y lo pone a su
salida. La salida del registro queda estable hasta el
siguiente flanco de reloj.

z(t)

q x q' q z
par A impar par 1
tema 5:

par B par impar 0

A
G par par H 0 par
impar
C
A
par
par
FC impar B impar
41 clk impar C impar
 versión 12/09/14

clk

x(t) A B A C A
Especificación de sistemas secuenciales síncronos

q'(t) par impar

3. El cambio de estado provoca que G y H
recalculen sus salidas. La salida de H permanece
q(t) impar par estable mientras no cambie el estado (Moore). La
salida de G permanece estable mientras no cambie
ni el estado ni la entrada.
z(t)

q x q' q z
par A impar par 1
tema 5:

par B par impar 0

A
G impar par H 1 par
impar
C
A
par
par
FC impar B impar
42 clk impar C impar
 versión 12/09/14

clk

x(t) A B A C A
Especificación de sistemas secuenciales síncronos

q'(t) par impar

q(t) impar par impar 4. A cada flanco de reloj el proceso se repite.

z(t)

q x q' q z
par A impar par 1
tema 5:

par B par impar 0

A
G impar impar H 1 par
impar
C
A
par
par
FC impar B impar
43 clk impar C impar
 versión 12/09/14

clk

x(t) A B A C A
Especificación de sistemas secuenciales síncronos

q'(t) par impar par

q(t) impar par impar 4. A cada flanco de reloj el proceso se repite.

z(t)

q x q' q z
par A impar par 1
tema 5:

par B par impar 0

A
G par impar H 0 par
impar
C
A
par
par
FC impar B impar
44 clk impar C impar
 versión 12/09/14

clk

x(t) A B A C A
Especificación de sistemas secuenciales síncronos

q'(t) par impar par

q(t) impar par impar par

z(t)

q x q' q z
par A impar par 1
tema 5:

par B par impar 0

A
G par par H 0 par
impar
C
A
par
par
FC impar B impar
45 clk impar C impar
 versión 12/09/14

clk

x(t) A B A C A
Especificación de sistemas secuenciales síncronos

q'(t) par impar par impar

q(t) impar par impar par

z(t)

q x q' q z
par A impar par 1
tema 5:

par B par impar 0

A
G impar par H 1 par
impar
C
A
par
par
FC impar B impar
46 clk impar C impar
 versión 12/09/14

clk

x(t) A B A C A
Especificación de sistemas secuenciales síncronos

q'(t) par impar par impar par

5. Si la entrada cambia a mitad de ciclo, G

q(t) impar par impar par recalcula su salida. Este cambio no afecta a la
salida de H (Moore).

z(t)

q x q' q z
par A impar par 1
tema 5:

par B par impar 0

B
G par par H 1 par
impar
C
A
par
par
FC impar B impar
47 clk impar C impar
 versión 12/09/14

clk

x(t) A B A C A
Especificación de sistemas secuenciales síncronos

q'(t) par impar par impar par

q(t) impar par impar par

6. Si el estado no cambia tras el flanco, la
salida tampoco cambia (Moore).

z(t)

q x q' q z
par A impar par 1
tema 5:

par B par impar 0

B
G par par H 1 par
impar
C
A
par
par
FC impar B impar
48 clk impar C impar
 versión 12/09/14

clk

x(t) A B A C A
Especificación de sistemas secuenciales síncronos

q'(t) par impar par impar par impar

q(t) impar par impar par

z(t)

q x q' q z
par A impar par 1
tema 5:

par B par impar 0

A
G impar par H 1 par
impar
C
A
par
par
FC impar B impar
49 clk impar C impar
 versión 12/09/14

clk

x(t) A B A C A
Especificación de sistemas secuenciales síncronos

q'(t) par impar par impar par impar par

q(t) impar par impar par

z(t)

q x q' q z
par A impar par 1
tema 5:

par B par impar 0

C
G par par H 1 par
impar
C
A
par
par
FC impar B impar
50 clk impar C impar
 versión 12/09/14

clk

x(t) A B A C A
Especificación de sistemas secuenciales síncronos

q'(t) par impar par impar par impar par

q(t) impar par impar par

z(t)

q x q' q z
par A impar par 1
tema 5:

par B par impar 0

C
G par par H 1 par
impar
C
A
par
par
FC impar B impar
51 clk impar C impar
 versión 12/09/14

clk

x(t) A B A C A
Especificación de sistemas secuenciales síncronos

q'(t) par impar par impar par impar par

q(t) impar par impar par

z(t)

q x q' q z
par A impar par 1
tema 5:

par B par impar 0

C
G par par H 1 par
impar
C
A
par
par
FC impar B impar
52 clk impar C impar
 versión 12/09/14

clk

x(t) A B A C A
Especificación de sistemas secuenciales síncronos

q'(t) par impar par impar par impar par impar

q(t) impar par impar par

z(t)

q x q' q z
par A impar par 1
tema 5:

par B par impar 0

A
G impar par H 1 par
impar
C
A
par
par
FC impar B impar
53 clk impar C impar
 versión 12/09/14

clk

x(t) A B A C A
Especificación de sistemas secuenciales síncronos

q'(t) par impar par impar par impar par impar

q(t) impar par impar par impar

z(t)

q x q' q z
par A impar par 1
tema 5:

par B par impar 0

A
G impar impar H 1 par
impar
C
A
par
par
FC impar B impar
54 clk impar C impar
 versión 12/09/14

clk

x(t) A B A C A
Especificación de sistemas secuenciales síncronos

q'(t) par impar par impar par impar par impar par

q(t) impar par impar par impar

z(t)

q x q' q z
par A impar par 1
tema 5:

par B par impar 0

A
G par impar H 0 par
impar
C
A
par
par
FC impar B impar
55 clk impar C impar
 versión 12/09/14

clk

x(t) A B A C A
Especificación de sistemas secuenciales síncronos

q'(t) par impar par impar par impar par impar par

q(t) impar par impar par impar par

z(t)

q x q' q z
par A impar par 1
tema 5:

par B par impar 0

A
G par par H 0 par
impar
C
A
par
par
FC impar B impar
56 clk impar C impar
 versión 12/09/14

clk

x(t) A B A C A
Especificación de sistemas secuenciales síncronos

q'(t) par impar par impar par impar par impar par impar

q(t) impar par impar par impar par

z(t)

q x q' q z
par A impar par 1
tema 5:

par B par impar 0

A
G impar par H 0 par
impar
C
A
par
par
FC impar B impar
57 clk impar C impar
 versión 12/09/14

clk

x(t) A B A C A
Especificación de sistemas secuenciales síncronos

q'(t) par impar par impar par impar par impar par impar

q(t) impar par impar par impar par

z(t)

q x q' q z
par A impar par 1
tema 5:

par B par impar 0

x(t)
G q'(t) q(t) H z(t) par
impar
C
A
par
par
FC impar B impar
58 impar C impar
 versión 12/09/14

clk

x(t) A B A C A
Especificación de sistemas secuenciales síncronos

q'(t) par impar par impar par impar par impar par impar

q(t) impar par impar par impar par

z(t)

C C
tema 5:

A
par impar
1 0
FC
B A B
59
 versión 12/09/14

clk

x(t) A B A C A
A
Especificación de sistemas secuenciales síncronos

q'(t) par impar par impar par impar par impar par impar

impar par

q(t) impar par impar par impar par

z(t)
0

C C
tema 5:

A
par impar
1 0
FC
B A B
60
 versión 12/09/14

clk

x(t) A B A C A
A
Especificación de sistemas secuenciales síncronos

q'(t) par impar par impar par impar par impar par impar

par impar

q(t) impar par impar par impar par

z(t)
1

C C
tema 5:

A
par impar
1 0
FC
B A B
61
 versión 12/09/14

clk

x(t) A B A C A
A
Especificación de sistemas secuenciales síncronos

q'(t) par impar par impar par impar par impar par impar

impar par

q(t) impar par impar par impar par

z(t)
0

C C
tema 5:

A
par impar
1 0
FC
B A B
62
 versión 12/09/14

clk

x(t) A B A C A
B
Especificación de sistemas secuenciales síncronos

q'(t) par impar par impar par impar par impar par impar

par par

q(t) impar par impar par impar par

z(t)
1

C C
tema 5:

A
par impar
1 0
FC
B A B
63
 versión 12/09/14

clk

x(t) A B A C A
C
Especificación de sistemas secuenciales síncronos

q'(t) par impar par impar par impar par impar par impar

par par

q(t) impar par impar par impar par

z(t)
1

C C
tema 5:

A
par impar
1 0
FC
B A B
64
 versión 12/09/14

clk

x(t) A B A C A
C
Especificación de sistemas secuenciales síncronos

q'(t) par impar par impar par impar par impar par impar

par par

q(t) impar par impar par impar par

z(t)
1

C C
tema 5:

A
par impar
1 0
FC
B A B
65
 versión 12/09/14

clk

x(t) A B A C A
A
Especificación de sistemas secuenciales síncronos

q'(t) par impar par impar par impar par impar par impar

par impar

q(t) impar par impar par impar par

z(t)
1

C C
tema 5:

A
par impar
1 0
FC
B A B
66
 versión 12/09/14

clk

x(t) A B A C A
Especificación de sistemas secuenciales síncronos

q'(t) par

1. En ausencia de flancos de reloj y cambios de la

q(t) impar
entrada, todas las señales están estables.

z(t)

q x q' z
par A impar 0
tema 5:

par B par 1

A
G par impar H 1 par
impar
C
A
par
par
1
1
FC impar B impar 0
clk
67 impar C impar 0
 versión 12/09/14

clk

x(t) A B A C A
Especificación de sistemas secuenciales síncronos

q'(t) par

2. Llega el flanco de reloj: el registro de estado

q(t) impar par
carga el valor que tiene a su entrada y lo pone a su
salida. La salida del registro queda estable hasta el
siguiente flanco de reloj.

z(t)

q x q' z
par A impar 0
tema 5:

par B par 1

A
G par par H 1 par
impar
C
A
par
par
1
1
FC impar B impar 0
clk
68 impar C impar 0
 versión 12/09/14

clk

x(t) A B A C A
Especificación de sistemas secuenciales síncronos

q'(t) par impar

3. El cambio de estado provoca que G y H

recalculen sus salidas. La salida de G y de H
q(t) impar par permanecen estables mientras no cambie ni el
estado ni la entrada (Mealy).

z(t)

q x q' z
par A impar 0
tema 5:

par B par 1

A
G impar par H 0 par
impar
C
A
par
par
1
1
FC impar B impar 0
clk
69 impar C impar 0
 versión 12/09/14

clk

x(t) A B A C A
Especificación de sistemas secuenciales síncronos

q'(t) par impar

q(t) impar par impar 4. A cada flanco de reloj el proceso se repite.

z(t)

q x q' z
par A impar 0
tema 5:

par B par 1

A
G impar impar H 0 par
impar
C
A
par
par
1
1
FC impar B impar 0
clk
70 impar C impar 0
 versión 12/09/14

clk

x(t) A B A C A
Especificación de sistemas secuenciales síncronos

q'(t) par impar par

q(t) impar par impar

z(t)

q x q' z
par A impar 0
tema 5:

par B par 1

A
G par impar H 1 par
impar
C
A
par
par
1
1
FC impar B impar 0
clk
71 impar C impar 0
 versión 12/09/14

clk

x(t) A B A C A
Especificación de sistemas secuenciales síncronos

q'(t) par impar par

q(t) impar par impar par

z(t)

q x q' z
par A impar 0
tema 5:

par B par 1

A
G par par H 1 par
impar
C
A
par
par
1
1
FC impar B impar 0
clk
72 impar C impar 0
 versión 12/09/14

clk

x(t) A B A C A
Especificación de sistemas secuenciales síncronos

q'(t) par impar par impar

q(t) impar par impar par

z(t)

q x q' z
par A impar 0
tema 5:

par B par 1

A
G impar par H 0 par
impar
C
A
par
par
1
1
FC impar B impar 0
clk
73 impar C impar 0
 versión 12/09/14

clk

x(t) A B A C A
Especificación de sistemas secuenciales síncronos

q'(t) par impar par impar par

5. Si la entrada cambia a mitad de ciclo, tanto G

q(t) impar par impar par como H recalculan su salida (Mealy).

z(t)

q x q' z
par A impar 0
tema 5:

par B par 1

B
G par par H 1 par
impar
C
A
par
par
1
1
FC impar B impar 0
clk
74 impar C impar 0
 versión 12/09/14

clk

x(t) A B A C A
Especificación de sistemas secuenciales síncronos

q'(t) par impar par impar par

6. Si el estado no cambia tras el flanco, la

q(t) impar par impar par salida solo cambia si cambia la entrada
cambia (Mealy).

z(t)

q x q' z
par A impar 0
tema 5:

par B par 1

B
G par par H 1 par
impar
C
A
par
par
1
1
FC impar B impar 0
clk
75 impar C impar 0
 versión 12/09/14

clk

x(t) A B A C A
Especificación de sistemas secuenciales síncronos

q'(t) par impar par impar par impar

6. Si el estado no cambia tras el flanco, la

q(t) impar par impar par salida solo cambia si cambia la entrada
cambia (Mealy).

z(t)

q x q' z
par A impar 0
tema 5:

par B par 1

A
G impar par H 0 par
impar
C
A
par
par
1
1
FC impar B impar 0
clk
76 impar C impar 0
 versión 12/09/14

clk

x(t) A B A C A
Especificación de sistemas secuenciales síncronos

q'(t) par impar par impar par impar par

q(t) impar par impar par

z(t)

q x q' z
par A impar 0
tema 5:

par B par 1

C
G par par H 1 par
impar
C
A
par
par
1
1
FC impar B impar 0
clk
77 impar C impar 0
 versión 12/09/14

clk

x(t) A B A C A
Especificación de sistemas secuenciales síncronos

q'(t) par impar par impar par impar par

q(t) impar par impar par

z(t)

q x q' z
par A impar 0
tema 5:

par B par 1

C
G par par H 1 par
impar
C
A
par
par
1
1
FC impar B impar 0
clk
78 impar C impar 0
 versión 12/09/14

clk

x(t) A B A C A
Especificación de sistemas secuenciales síncronos

q'(t) par impar par impar par impar par

q(t) impar par impar par

z(t)

q x q' z
par A impar 0
tema 5:

par B par 1

C
G par par H 1 par
impar
C
A
par
par
1
1
FC impar B impar 0
clk
79 impar C impar 0
 versión 12/09/14

clk

x(t) A B A C A
Especificación de sistemas secuenciales síncronos

q'(t) par impar par impar par impar par impar

q(t) impar par impar par

z(t)

q x q' z
par A impar 0
tema 5:

par B par 1

A
G impar par H 0 par
impar
C
A
par
par
1
1
FC impar B impar 0
clk
80 impar C impar 0
 versión 12/09/14

clk

x(t) A B A C A
Especificación de sistemas secuenciales síncronos

q'(t) par impar par impar par impar par impar

q(t) impar par impar par impar

z(t)

q x q' z
par A impar 0
tema 5:

par B par 1

A
G impar impar H 0 par
impar
C
A
par
par
1
1
FC impar B impar 0
clk
81 impar C impar 0
 versión 12/09/14

clk

x(t) A B A C A
Especificación de sistemas secuenciales síncronos

q'(t) par impar par impar par impar par impar par

q(t) impar par impar par impar

z(t)

q x q' z
par A impar 0
tema 5:

par B par 1

A
G par impar H 1 par
impar
C
A
par
par
1
1
FC impar B impar 0
clk
82 impar C impar 0
 versión 12/09/14

clk

x(t) A B A C A
Especificación de sistemas secuenciales síncronos

q'(t) par impar par impar par impar par impar par

q(t) impar par impar par impar par

z(t)

q x q' z
par A impar 0
tema 5:

par B par 1

A
G par par H 1 par
impar
C
A
par
par
1
1
FC impar B impar 0
clk
83 impar C impar 0
 versión 12/09/14

clk

x(t) A B A C A
Especificación de sistemas secuenciales síncronos

q'(t) par impar par impar par impar par impar par impar

q(t) impar par impar par impar par

z(t)

q x q' z
par A impar 0
tema 5:

par B par 1

A
G impar par H 0 par
impar
C
A
par
par
1
1
FC impar B impar 0
clk
84 impar C impar 0
 versión 12/09/14

clk

x(t) A B A C A
Especificación de sistemas secuenciales síncronos

q'(t) par impar par impar par impar par impar par impar

q(t) impar par impar par impar par

z(t)

q x q' z
par A impar 0
tema 5:

par B par 1

x(t)
G q'(t) q(t) H z(t) par
impar
C
A
par
par
1
1
FC impar B impar 0
85 impar C impar 0
 versión 12/09/14

clk

x(t) A B A C A
Especificación de sistemas secuenciales síncronos

q'(t) par impar par impar par impar par impar par impar

q(t) impar par impar par impar par

z(t)

C/1 C/0
tema 5:

A/0
par impar
FC
B/1 A/1 B/0
86
 versión 12/09/14

clk

x(t) A B A C A
A
Especificación de sistemas secuenciales síncronos

q'(t) par impar par impar par impar par impar par impar

impar par

q(t) impar par impar par impar par

z(t)
1

C/1 C/0
tema 5:

A/0
par impar
FC
B/1 A/1 B/0
87
 versión 12/09/14

clk

x(t) A B A C A
A
Especificación de sistemas secuenciales síncronos

q'(t) par impar par impar par impar par impar par impar

par impar

q(t) impar par impar par impar par

z(t)
0

C/1 C/0
tema 5:

A/0
par impar
FC
B/1 A/1 B/0
88
 versión 12/09/14

clk

x(t) A B A C A
A
Especificación de sistemas secuenciales síncronos

q'(t) par impar par impar par impar par impar par impar

impar par

q(t) impar par impar par impar par

z(t)
1

C/1 C/0
tema 5:

A/0
par impar
FC
B/1 A/1 B/0
89
 versión 12/09/14

clk

x(t) A B A C A
B
Especificación de sistemas secuenciales síncronos

q'(t) par impar par impar par impar par impar par impar

par par

q(t) impar par impar par impar par

z(t)
1

C/1 C/0
tema 5:

A/0
par impar
FC
B/1 A/1 B/0
90
 versión 12/09/14

clk

x(t) A B A C A
C
Especificación de sistemas secuenciales síncronos

q'(t) par impar par impar par impar par impar par impar

par par

q(t) impar par impar par impar par

z(t)
1

C/1 C/0
tema 5:

A/0
par impar
FC
B/1 A/1 B/0
91
 versión 12/09/14

clk

x(t) A B A C A
C
Especificación de sistemas secuenciales síncronos

q'(t) par impar par impar par impar par impar par impar

par par

q(t) impar par impar par impar par

z(t)
1

C/1 C/0
tema 5:

A/0
par impar
FC
B/1 A/1 B/0
92
 versión 12/09/14

clk

x(t) A B A C A
A
Especificación de sistemas secuenciales síncronos

q'(t) par impar par impar par impar par impar par impar

par impar

q(t) impar par impar par impar par

z(t)
1

C/1 C/0
tema 5:

A/0
par impar
FC
B/1 A/1 B/0
93
 versión 12/09/14

clk

x(t) A B A C A
Especificación de sistemas secuenciales síncronos

q(t) impar par impar par impar par

z(t)
Mealy

z(t)
Moore

 Las salidas de las máquinas Moore y Mealy son notablemente diferentes.

tema 5:

FC
94
 versión 12/09/14

clk

x(t) A B A C A
A A A B C C A A
Especificación de sistemas secuenciales síncronos

q(t) impar par impar par impar par

z(t)
Mealy 1 0 1 1 1 1 0 1
z(t)
Moore
0 1 0 1 1 1 1 0
 Las salidas de las máquinas Moore y Mealy son notablemente diferentes.
tema 5:

o Pero como, típicamente, son leídas por otro sistema sincronizado con el
mismo reloj, solo son relevantes los valores existentes en los flancos de reloj.
FC  Por ello, a efectos prácticos, la salida de la máquina de Moore equivale a
95 la de Mealy pero con un ciclo de retraso.
 versión 12/09/14

SI si x(t‐2)=a y x(t‐1)=b y x(t)=b

z(t) = Máquina de Mealy
NO en caso contrario
Especificación de sistemas secuenciales síncronos
tema 5:

FC
96
 versión 12/09/14

SI si x(t‐2)=a y x(t‐1)=b y x(t)=b

z(t) = Máquina de Mealy
NO en caso contrario

 Estado S0: no ha llegado ningún elemento del patrón

Especificación de sistemas secuenciales síncronos

S0

Estado
tema 5:

inicial
FC
97
 versión 12/09/14

SI si x(t‐2)=a y x(t‐1)=b y x(t)=b

z(t) = Máquina de Mealy
NO en caso contrario

 Estado S0: no ha llegado ningún elemento del patrón

Especificación de sistemas secuenciales síncronos

b/NO

S0

Estado
tema 5:

inicial
FC
98
 versión 12/09/14

SI si x(t‐2)=a y x(t‐1)=b y x(t)=b

z(t) = Máquina de Mealy
NO en caso contrario

 Estado S0: no ha llegado ningún elemento del patrón


Especificación de sistemas secuenciales síncronos

Estado S1: ha llegado el subpatrón "a"

b/NO

a/NO
S0 S1

Estado
tema 5:

inicial
FC
99
 versión 12/09/14

SI si x(t‐2)=a y x(t‐1)=b y x(t)=b

z(t) = Máquina de Mealy
NO en caso contrario

 Estado S0: no ha llegado ningún elemento del patrón


Especificación de sistemas secuenciales síncronos

Estado S1: ha llegado el subpatrón "a"

b/NO a/NO

a/NO
S0 S1

Estado
tema 5:

inicial
FC
100
 versión 12/09/14

SI si x(t‐2)=a y x(t‐1)=b y x(t)=b

z(t) = Máquina de Mealy
NO en caso contrario

 Estado S0: no ha llegado ningún elemento del patrón


Especificación de sistemas secuenciales síncronos

Estado S1: ha llegado el subpatrón "a"

 Estado S2: ha llegado el subpatrón "ab"

b/NO a/NO

a/NO b/NO
S0 S1 S2

Estado
tema 5:

inicial
FC
101
 versión 12/09/14

SI si x(t‐2)=a y x(t‐1)=b y x(t)=b

z(t) = Máquina de Mealy
NO en caso contrario

 Estado S0: no ha llegado ningún elemento del patrón


Especificación de sistemas secuenciales síncronos

Estado S1: ha llegado el subpatrón "a"

 Estado S2: ha llegado el subpatrón "ab"

b/NO a/NO
a/NO
a/NO b/NO
S0 S1 S2

Estado
tema 5:

inicial
FC
102
 versión 12/09/14

SI si x(t‐2)=a y x(t‐1)=b y x(t)=b

z(t) = Máquina de Mealy
NO en caso contrario

 Estado S0: no ha llegado ningún elemento del patrón


Especificación de sistemas secuenciales síncronos

Estado S1: ha llegado el subpatrón "a"

 Estado S2: ha llegado el subpatrón "ab"

b/NO a/NO
a/NO
a/NO b/NO
S0 S1 S2

Estado b/SI
tema 5:

inicial
FC
103
 versión 12/09/14

SI si x(t‐3)=a y x(t‐2)=b y x(t‐1)=b

z(t) = Máquina de Moore
NO en caso contrario
Especificación de sistemas secuenciales síncronos
tema 5:

FC
104
 versión 12/09/14

SI si x(t‐3)=a y x(t‐2)=b y x(t‐1)=b

z(t) = Máquina de Moore
NO en caso contrario

 Estado S0: no ha llegado ningún elemento del patrón

Especificación de sistemas secuenciales síncronos

S0
NO
tema 5:

Estado
inicial
FC
105
 versión 12/09/14

SI si x(t‐3)=a y x(t‐2)=b y x(t‐1)=b

z(t) = Máquina de Moore
NO en caso contrario

 Estado S0: no ha llegado ningún elemento del patrón


Especificación de sistemas secuenciales síncronos

Estado S1: ha llegado el subpatrón "a"

S0 a S1
NO NO
tema 5:

Estado
inicial
FC
106
 versión 12/09/14

SI si x(t‐3)=a y x(t‐2)=b y x(t‐1)=b

z(t) = Máquina de Moore
NO en caso contrario

 Estado S0: no ha llegado ningún elemento del patrón


Especificación de sistemas secuenciales síncronos

Estado S1: ha llegado el subpatrón "a"

 Estado S2: ha llegado el subpatrón "ab"

b a

S0 a S1 b S2
NO NO NO
tema 5:

Estado
inicial
FC
107
 versión 12/09/14

SI si x(t‐3)=a y x(t‐2)=b y x(t‐1)=b

z(t) = Máquina de Moore
NO en caso contrario

 Estado S0: no ha llegado ningún elemento del patrón


Especificación de sistemas secuenciales síncronos

Estado S1: ha llegado el subpatrón "a"

 Estado S2: ha llegado el subpatrón "ab"
 Estado S3: ha llegado el patrón "abb"

b a

S0 a S1 b S2 b S3
NO NO NO SI
tema 5:

a
Estado
inicial
FC
108
 versión 12/09/14

SI si x(t‐3)=a y x(t‐2)=b y x(t‐1)=b

z(t) = Máquina de Moore
NO en caso contrario

 Estado S0: no ha llegado ningún elemento del patrón


Especificación de sistemas secuenciales síncronos

Estado S1: ha llegado el subpatrón "a"

 Estado S2: ha llegado el subpatrón "ab"
 Estado S3: ha llegado el patrón "abb"

b a
a
S0 a S1 b S2 b S3
NO NO NO SI
tema 5:

a
Estado b
inicial
FC
109