Tema VI : Implementación de sistemas secuenciales síncronos.

TEMA VI: IMPLEMENTACIÓN DE SISTEMAS SECUENCIALES SÍNCRONOS

1.- BIESTABLES.

X (t) Z
S (t)
G

Necesitamos un elemento que coja esta salida y

la lleve a S (t). Allí, en el biestable necesitamos
un elemento almacenador de memoria que
guarde el estado siguiente deseado.

Los biestables tipo LACTCH son sensibles a nivel, mientras que los biestables tipo FLIP –
FLOP son sensibles al flanco de subida y al flanco de bajada.
Necesitamos:
- Dos estados: 0 y 1.
- Que pueda escribir.
- Que tenga capacidad de memoria.

Este tipo de circuito si que pueden tener realimentación, por lo que ya no se llaman sistemas
combinacionales. Para representar las salidas hay que tener en cuenta el retardo.

X X Y NOR (X, Y)
Z1 0 0 1
0 1 0
1 0 0
Z0 1 1 0
Y

X0

Y0

NOR

Retardo.

Ejemplo: Utilicemos la primera entrada como X = 0 e Y = 0.

X=0
Reposo Z1 = Z0
X=0 Y=0
Y=1 X=0 Z0 = 0
t
Z0 
t t Y=1 Z1 = 1
Z1 t
X=1 Z0 = 1

Y=0 Z1 = 0
 Tema VI : Implementación de sistemas secuenciales síncronos.

Hay un caso especial, que es cuando la entrada es X = 1 e Y = 1.

X=0

Y=1
t
Z0
t
Z1 t

Cuando se hace esto, comienza un comportamiento inestable llamado oscilamiento, por eso, se
prohibe que en este tipo de circuitos, las dos entradas puedan tener el valor 1 a la vez.

R (t) S (t) Q ( t + t )
0 0 Q (t)
0 1 1
1 0 0
1 1 Prohibido.

Un biestable del tipo LATCH cambia si la entrada de reloj CLK = 1 (durante todo el rato que
CLK = 1 puede cambiar el estado). Por tanto, cuando CLK = 0, las entradas valen 0 en el biestable.

Biestable tipo RS síncrono.

R
R ant
Q

CLK

Q
S ant
S

Biestable tipo D síncrono. Tiene como única función retrasar la salida.

X (t) Z (t) = X ( t – 1 )

R S Q Delay Q (t + 1) D R S
0 0 0 0 D (t) 0 1 0
0 0 1 1 0 0 1 0 1
0 1 0 1 1 1
0 1 1 1 S (t) = D
1 0 0 0 R (t) = D
1 0 1 0
SÍNCRONO
Lo que hacemos es ponerle un inversor a R.

D(t) Q

CLK BIESTABLE TIPO “D”

Q
 Tema VI : Implementación de sistemas secuenciales síncronos.

Biestable tipo JK:

Es casi igual que el anterior. Se diferencian en que él si que está permitido que R y S valgan 1en
el mismo estado de tiempo.

Biestable tipo JK Biestable tipo D

J (t) K (t) Q (t + 1) S R Q (t+1)
0 0 Q (t) 0 0 Q(t)
0 1 0 0 1 0
1 0 1 1 0 1
1 1 Q (t)

Son iguales sólo que hay que modificar los valores para las entradas 1,1.

Q (t +1)
Q (t) JK = 00
JK = 01 JK = 10 JK = 11
0 0 0 1 1
1 1 0 1 0
S = 0 y R = ind. S=1yR=0
S=0yR=1 S=0yR=1
S = indiferente y R = 0 S=1yR=0
S = 0 y R = indiferente. S = ind. Y R = 0

Estos son los valores que han de tomar las entradas para conseguir los estados.

Los valores de la tabla de verdad para estas funciones son los siguientes:

Q J K S R
0 0 0 0 -
0 0 1 0 -
0 1 0 1 0
0 1 1 1 0
1 0 0 - 0
1 0 1 0 1
1 1 0 - 0
1 1 1 0 1

Los diagramas de Karnaugh correspondientes son:

S K R K

0 0 1 1 - - 0 0
Q - 0 0 - Q 0 1 1 0

J J
S=Q·J R=Q·K

K(t) Q (t)

CLK BIESTABLE TIPO “JK”

J (t) Q (t)
 Tema VI : Implementación de sistemas secuenciales síncronos.

Biestable tipo T (toggle):

Devuelve el valor de la entrada si el estado anterior es 0 y el contrario si el valor es 1.

Toggle Q T Q(t+1) S R
T (t) Q (t+1) 0 0 0 0 -
0 Q (t) 0 1 1 1 0
1 Q (t) 1 0 1 - 0
1 1 0 0 1

S=Q·T Hay que obtener estos

R=Q·T valores a partir del RS.

Esto es por ejemplo, un registro de n bits, que almacena una secuencia de n bits.

( Dn-1 D0 )

n–1 0

CLK

( Qn-1 Q0)

3.- IMPLEMENTACIÓN Y ANÁLISIS DE EXPRESIONES CANÓNICAS.

Especificación de alto nivel: Z (t) = F ( X (t), S (t) )

S (t+1) = G (x (t), S (t) )
Registro de estado : S (t)

Vamos a implementar dos bloques combinacionales, uno para F y otro para G.

X (t) F
Sistema Z (t)
S (t) Combinacional

G S (t+1) S (t)
Sistema Registro
Combinacional

CLK

SÍNTESIS:
Alto nivel
Descripción funcional
No basada en el estado.

Tabla de estados / Diagrama de estados.

Especificación de alto nivel basada en el estado.
Minimización de estados

Especificación de bajo nivel.

 Tema VI : Implementación de sistemas secuenciales síncronos.

Para empezar hay que poner Zi en función de todas las X que hay.

Zi (t) = Fi ( Xn , Qm)