Arquitectura y Organizacin de Computadoras

SECUENCIALES

Unidad N 3
Segunda Parte: Lgica Secuencial
(Ejercicios Resueltos)

4)
X=1
A B C D (t) =
A B C D (t+1) =
A B C D (t+2) =

X=0
A
0
1
0
0
1
1
0
1
0
1
1
1
1
0
0
0

B
0
0
1
0
0
1
1
0
1
0
1
1
1
1
0
0

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

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

A
0
1
1
1
0
1
1
0
0
1
0
1
0
0
0
0

A B C D (t) =
A B C D (t+1) =
A B C D (t+2) =

5)
Diagrama de estado: bsicamente,
el funcionamiento del circuito
puede explicarse como sigue: Ante
la aparicin de un cero en la
entrada, el circuito detecta si
hubieran 3 unos consecutivos
anteriormente. Si esto es as, el
resultado es un uno durante un
ciclo de reloj y el conteo se
resetea. De lo contrario la salida es
un cero.
Estados Intermedios: 4
Entonces n = 2 Flip-Flop (A y B)

B
0
0
1
1
1
0
1
1
0
0
1
0
1
0
0
0

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

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

0/0
q0

1/0

0/1
1/0

q1

1/0

0/0

0/0

q2

q3

1/0

Codificacin de Estados:
q0 = 00
q1 = 01
q2 = 10
q3 = 11

Pgina 1

Arquitectura y Organizacin de Computadoras

Tabla de Estados
X
0
0
0
0
1
1
1
1

E-A
A B
0 0
0 1
1 0
1 1
0 0
0 1
1 0
1 1

E -S
A B
0 0
0 0
0 0
0 0
0 1
1 0
1 1
1 1

JA
0
0
X
X
0
1
X
X

KA
X
X
1
1
X
X
0
0

AB

JA

JB KB Z
0 X 0
X 1 0
0 X 0
X 1 1
1 X 0
X 1 0
1 X 0
X 0 0

0
1

00 01 11 10
X X
1 X X

SECUENCIALES

KA
X

AB
00 01 11 10
0 X X 1 1
1 X X

JA = XB
JB
X

AB
00 01 11 10
0
X X
1 1 X X 1

KA = X
KB
X

AB
00 01 11 10
0 X 1 1 X
1 X 1
X

JB = X

KB = X + A
Z = ABX

6)

Estados:
PB = 00
P1 = 01
P2 = 10

Entradas:
Ir a PB = 00
Ir a P1 = 01
Ir a P2 = 10

Salidas:
Permanecer = 00
Subir = 01
0/0
Bajar = 10

00/00
00/10
PB

01/01

01/00
P1

10/01

00/10
10/01

01/10
P2

10/00
Pgina 2

Arquitectura y Organizacin de Computadoras

ESTADOS
ENTRADAS
ACT
SIG
QA QB QA QB
A
B
0
0
0
0
0
0
0
0
0
1
0
0
0
0
1
0
0
0
0
0
1
1
X
X
0
1
0
0
0
1
0
1
0
1
0
1
0
1
1
0
0
1
0
1
1
1
X
X
1
0
0
0
1
0
1
0
0
1
1
0
1
0
1
0
1
0
1
0
1
1
X
X
1
1
0
0
X
X
1
1
0
1
X
X
1
1
1
0
X
X
1
1
1
1
X
X

00
01
11
10

01

11
X
X
X
X

10
1
1
X
1

DA = A

00
01
11
10

AB
00

01
1
1
X
1

11
X
X
X
X

DB = B

10

SALIDAS
S1
S0
0
0
1
0
1
0
X
X
0
1
0
0
1
0
X
X
0
1
0
1
0
0
X
X
X
X
X
X
X
X
X
X

AB

S1
00
01
11
10

00

01

1
X
1

X
1

11
X
X
X
X

10

S1 = AQA + QBAB

AB

S0
QAQB

DB

BIESTABLES
DA
DB
0
0
0
0
0
0
X
X
0
1
0
1
0
1
X
X
1
0
1
0
1
0
X
X
X
X
X
X
X
X
X
X

QAQB

QAQB

00

QAQB

AB

DA

SECUENCIALES

00
01
11
10

00

01
1

11
X
X
X
X

10
1
1
X

S0 = AQA + BQAQB

Pgina 3

Arquitectura y Organizacin de Computadoras

SECUENCIALES

7)
ESTADOS

Q3Q2
00

00
01
11
10

01

11
X
X
X
X

10
1
1
X

D2
Q1Q0

Q1Q0

D3

00
01
11
10

D3
0
0
0
0
0
0
0
1
1
1
0
X
X
X
X
X

BIESTABLES
D2
D1
0
0
0
1
0
1
1
0
1
0
1
1
1
1
0
0
0
0
0
1
0
0
X
X
X
X
X
X
X
X
X
X

Q3Q2
00

01
1
1

1
1

11
X
X
X
X

10

D1
Q1Q0

ACT
SIG
Q3 Q2 Q1 Q0 Q3 Q2 Q1 Q0
0
0
0
0
0
0
0
1
0
0
0
1
0
0
1
0
0
0
1
0
0
0
1
1
0
0
1
1
0
1
0
0
0
1
0
0
0
1
0
1
0
1
0
1
0
1
1
0
0
1
1
0
0
1
1
1
0
1
1
1
1
0
0
0
1
0
0
0
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
0
0
0
0
1
0
1
1
X
X
X
X
1
1
0
0
X
X
X
X
1
1
0
1
X
X
X
X
1
1
1
0
X
X
X
X
1
1
1
1
X
X
X
X

00
01
11
10

D0
1
0
1
0
1
0
1
0
1
0
0
X
X
X
X
X

Q3Q2
00

01

11
X
X
X
X

10
1
X

D3 = Q1Q3 + Q2Q1Q0

D2 = Q2Q1 + Q2Q1Q0 + Q2Q0

D1 = Q1Q0 + Q3Q1Q0

D3 = Q1Q3 . Q2Q1Q0

D2 = Q2Q1 . Q2Q1Q0 . Q2Q0

D1 = Q1Q0 . Q3Q1Q0

Q1Q0

D0
00
01
11
10

Q3Q2
00
1

01
1

11
X
X
X
X

10
1
X

D0 = Q1Q0 + Q3Q0
D0 = Q1Q0 . Q3Q0

Pgina 4

Arquitectura y Organizacin de Computadoras

SECUENCIALES

8)
Q1
0
1

0
1
X

Q1
T0

1
1

Q0

T1
Q0

ESTADOS
ACT
SIG
BIESTABLES
T1
T0
Q1 Q0 Q1 Q0
0
0
1
1
1
1
0
1
X
X
X
X
1
0
0
0
1
0
1
1
1
0
0
1

T1 = Q0

0
1
X

0
1

1
1

T0 = Q1 + Q0

9)

00
01
11
10

EQ2
00
1

01
1

11

10

T2 = Q1Q0E + Q1Q0E
T1
Q1Q0

BIESTABLES
T2
T1
T0
1
1
1
0
0
1
0
1
1
0
0
1
1
1
1
0
0
1
0
1
1
0
0
1
0
0
1
0
1
1
0
0
1
1
1
1
0
0
1
0
1
1
0
0
1
1
1
1

00
01
11
10

EQ2
00
1

01
1

11

10

1
1

1
1

T1 = EQ0 + EQ0
T0
Q1Q0

Ent.
ACT
SIG
Q3 Q2 Q1 Q0 Q2 Q1 Q0
0
0
0
0
1
1
1
0
0
0
1
0
0
0
0
0
1
0
0
0
1
0
0
1
1
0
1
0
0
1
0
0
0
1
1
0
1
0
1
1
0
0
0
1
1
0
1
0
1
0
1
1
1
1
1
0
1
0
0
0
0
0
1
1
0
0
1
0
1
0
1
0
1
0
0
1
1
1
0
1
1
1
0
0
1
1
0
0
1
0
1
1
1
0
1
1
1
0
1
1
1
0
1
1
1
1
1
1
1
0
0
0

Q1Q0

T2

ESTADOS

00
01
11
10

EQ2
00
1
1
1
1

01
1
1
1
1

11
1
1
1
1

10
1
1
1
1

T0 = 1
Pgina 5

Arquitectura y Organizacin de Computadoras

SECUENCIALES

10)
Ent.
E
X
0
0
0
0
0
0
0
0
0
1
0
1
0
1
0
1
1
0
1
0
1
0
1
0
1
1
1
1
1
1
1
1

ESTADOS
ACT
SIG
A B A B
0
0
0
0
0
1
0
1
1
0
1
0
1
1
1
1
0
0
0
0
0
1
0
1
1
0
1
0
1
1
1
1
0
0
1
1
0
1
0
0
1
0
0
1
1
1
1
0
0
0
0
1
0
1
1
0
1
0
1
1
1
1
0
0

JA
0
0
X
X
0
0
X
X
1
0
X
X
0
1
X
X

BIESTABLES
KA
JB
X
0
X
X
0
0
0
X
X
0
X
X
0
0
0
X
X
1
X
X
1
1
0
X
X
1
X
X
0
1
1
X

KB
X
0
X
0
X
0
X
0
X
1
X
1
X
1
X
1

Pgina 6

Arquitectura y Organizacin de Computadoras

QAQB

00

00
01
11
10

X
X

01

X
X

11
1
X
X

10
1
X
X

KA
QAQB

EX

JA

JA = EXQB + EXQB

00
01
11
10

00
X
X

EX

01
X
X

11
1
X
X
1

JB = E

10
1
X
X
1

EX
00
X
X

01
X
X

11
X
X
1

10
X
X
1

KA = EXQB + EXQB

KB
QAQB

QAQB

JB

00
01
11
10

SECUENCIALES

00
01
11
10

EX
00
X

01
X

11
X
1
1
X

10
X
1
1
X

KB = E

Pgina 7