Tema 3.

2 Sistemas Combinacionales
ndice Circuitos combinacionales: concepto, anlisis y sntesis. Mtodos de simplificacin de funciones lgicas. Estructuras combinacionales bsicas Multiplexores Demultiplexores Decodificadores Codificadores Comparadores Bibliografa Fundamentos de sistemas digitales. Thomas Floyd. Prentice-Hall. Fundamentos de diseo lgico y computadoras. M. Morris Mano. Prentice-Hall

Departamento de Automtica Universidad de Alcal

Fundamentos de Tecnologa de Computadores

Circuitos combinacionales (I)

Concepto: son aquellos circuitos cuyas salidas, en un determinado instante, son funcin exclusivamente del valor de las entradas en ese instante.

Funciones

Anlisis

Sntesis

Circuito Lgico Combinacional

Tablas de verdad

Anlisis: Obtencin de la funcin de salida de un circuito, para cada una de las posibles combinaciones de las n variables de entrada. Sntesis: Obtencin del circuito que realiza la funcin especifcada.
rea de Arquitectura y Tecnologa de Computadores Departamento de Automtica Universidad de Alcal T3 Circuitos Combinacionales Fundamentos de Tecnologa de Computadores

Circuitos combinacionales (II)

Los circuitos combinacionales pueden ser: Sistemas unifuncionales: tienen una sola funcin de salida Sistemas multifuncionales: tienen varias funciones de salida Una funcin puede ser: Completa. Su valor est determinado para todas las posibles combinaciones de las variables de entrada. Incompleta. Existen algunas combinaciones de entrada para las cuales el valor de la funcin es indeterminado. Causas: Existencia de combinaciones de las variables que nunca se presentan. Existencia de combinaciones de las variables para las que el valor que tome la funcin sea indiferente.

rea de Arquitectura y Tecnologa de Computadores Departamento de Automtica Universidad de Alcal

T3 Circuitos Combinacionales Fundamentos de Tecnologa de Computadores

Sntesis de circuitos combinacionales

Proceso a seguir para obtener un circuito combinacional ptimo: Establecer la tabla de verdad, desde el enunciado del problema. Obtener la funcin cannica expresada en minterms o en maxterms, a partir de la tabla de verdad. Simplificar la funcin cannica, bien en forma algebraica (aplicando teoremas y postulados del lgebra de Boole), bien mediante la aplicacin de mtodos grficos sencillos (Karnaugh) o con el mtodo tabular numrico de Quine-McCluskey. Realizar la funcin simplificada, mediante las oportunas puertas lgicas.

rea de Arquitectura y Tecnologa de Computadores Departamento de Automtica Universidad de Alcal

T3 Circuitos Combinacionales Fundamentos de Tecnologa de Computadores

Mtodos de simplificacin de funciones lgicas (I)

Mtodo algebraico Es el mtodo bsico de simplificacin de funciones y consiste en aplicar directamente la propiedad distributiva a los trminos de la funcin, eliminando variables. Por ejemplo: f1(d,c,b,a) = dcba + dcba = dcb(a+a) = dcb1 = dcb f2 (d,c,b,a) = (d+c+b+a)(d+c+b+a) = (d+c+bb+a) = (d+c+a) Sin embargo, pocas veces viene expresada la funcin de forma que sea fcilmente aplicable este mtodo.

rea de Arquitectura y Tecnologa de Computadores Departamento de Automtica Universidad de Alcal

T3 Circuitos Combinacionales Fundamentos de Tecnologa de Computadores

Mtodos de simplificacin de funciones lgicas (II)

Mtodo de Karnaugh Mtodo tabular grfico que se basa en los llamados mapas de Karnaugh, consistentes en una tabla de cuadros, cada uno de los cuales representa un trmino cannico. Estos cuadros estn distribuidos de tal modo que dos cualesquiera de ellos, contiguos fsicamente, corresponden a trminos cannicos adyacentes. Trminos cannicos adyacentes: son aquellos para los que sus respectivas configuraciones binarias difieren entre s en un nico bit. Se pueden definir tambin como aquellos trminos a los que se les puede aplicar la propiedad distributiva para simplificar una variable.

rea de Arquitectura y Tecnologa de Computadores Departamento de Automtica Universidad de Alcal

T3 Circuitos Combinacionales Fundamentos de Tecnologa de Computadores

Mtodos de simplificacin de funciones lgicas (III)

Mapa de Karnaugh para funciones de dos variables
a b

0 0 1
0 2

1
1 3

ba

00 01 11 10
0 1 3 2

Tres variables
ba c

ba dc

Cuatro variables

00 01 11 10 00 01 11 10
0 4 12 8 1 5 13 9 3 7 15 11 2 6 14 10

00 01 11 10 0 1
0 4 1 5 3 7 2 6

rea de Arquitectura y Tecnologa de Computadores Departamento de Automtica Universidad de Alcal

T3 Circuitos Combinacionales Fundamentos de Tecnologa de Computadores

Mtodos de simplificacin de funciones lgicas (IV)

Procedimiento de simplificacin mediante los mapas de Karnaugh 1.- Dibujar el mapa adecuado para la funcin a simplificar (2, 3 4 variables). 2.- Marcar los cuadros correspondientes a los minterms o maxterms (1). 3.- Agrupar, mediante una curva cerrada, el mximo nmero posible de elementos adyacentes (potencia de 2 2, 4, 8, 16). A continuacin lo mismo con los que queden y asi, sucesivamente, hasta que no reste ningn elemento marcado (con adyacente tambin marcado) sin agrupar. 4.- Escribir la funcin mediante los trminos simplificados obtenidos. Criterio: en cada grupo desaparece la variable o variables cuyo valor es 0 en la mitad de los cuadros del grupo, y 1 en la otra mitad. Las variables que permanecen son tomadas como no negadas si su valor es 1 en todo el grupo de cuadros, y como negadas si su valor es 0. Si algn bit no tiene ningno adyacente seguir como trmino cannico
8
rea de Arquitectura y Tecnologa de Computadores Departamento de Automtica Universidad de Alcal T3 Circuitos Combinacionales Fundamentos de Tecnologa de Computadores

Estructuras Combinacionales bsicas (I) Multiplexores

Un multiplexor es un circuito que tiene 2n entradas de informacin (canales), una sola salida y un mecanismo de seleccin que determina cul de las entradas es la que se transfiere su informacin a la nica salida. Se comporta como un conmutador de entrada mltiple y salida nica, pero cuyo control no es mecnico, sino electrnico.

Multiplexor E7 E6 E5 E4 E3 E2 E1 E0
S eleccin de datos

C1 C0 E3
Multiplexor 4a 1

S
Entrada de datos

E2 E1 E0

S
S alida de datos

rea de Arquitectura y Tecnologa de Computadores Departamento de Automtica Universidad de Alcal

T3 Circuitos Combinacionales Fundamentos de Tecnologa de Computadores

Estructuras Combinacionales bsicas (II) Demultiplexores

Realizan la funcin inversa de un multiplexor, es decir, se comportan como conmutadores de entrada nica y salida mltiple, existiendo un mecanismo de control que selecciona la salida hacia la que se enva la informacin de entrada. En general un demultiplexor tiene una nica entrada de informacin, 2n salidas y n entradas de control en las que se introduce el nmero binario correspondiente a la salida seleccionada.

E
Demultiplexor 1a4

C1 C0

S 3 S 2 S 1 S 0
T3 Circuitos Combinacionales Fundamentos de Tecnologa de Computadores

10

rea de Arquitectura y Tecnologa de Computadores Departamento de Automtica Universidad de Alcal

Estructuras Combinacionales bsicas (III) Multiplexores /Demultiplexores

Aplicaciones bsicas

Multiplexor

Demultiplexor

Esta entrada controla la secuencia de conmutacin

Esta entrada controla la secuencia de conmutacin

11

rea de Arquitectura y Tecnologa de Computadores Departamento de Automtica Universidad de Alcal

T3 Circuitos Combinacionales Fundamentos de Tecnologa de Computadores

Estructuras Combinacionales bsicas (IV) Decodificadores (1)

Son circuitos digitales que tienen como entrada (n bits) la informacin codificada en binario, y tantas salidas como posibles configuraciones binarias distintas de entrada (2 n), activndose en cada momento una sola de ellas, la correspondiente a la combinacin binaria aplicada a la entrada. Decodificador 2 a 4
Dec odificador 2a 4

E1 E0

S 3 S 2 S 1 S 0

I 0 0 0 0 1

E1 0 0 1 1 X

E0 0 1 0 1 X

S3 S2 S1 S0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0

I
rea de Arquitectura y Tecnologa de Computadores Departamento de Automtica Universidad de Alcal

12

T3 Circuitos Combinacionales Fundamentos de Tecnologa de Computadores

Estructuras Combinacionales bsicas (V) Decodificadores (2)

Decodificador 3 a 8

S 7
Dec odificador 3a 8

E2 E1 E0

S 6 S 5 S 4 S 3 S 2 S 1 S 0

I 0 0 0 0 0 0 0 0 1

E2 0 0 0 0 1 1 1 1 X

E1 0 0 1 1 0 0 1 1 X

E0 0 1 0 1 0 1 0 1 X

S7 S6 S5 S4 S3 S2 S1 S0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

13

rea de Arquitectura y Tecnologa de Computadores Departamento de Automtica Universidad de Alcal

T3 Circuitos Combinacionales Fundamentos de Tecnologa de Computadores

Estructuras Combinacionales bsicas (VI) Codificadores (1)

Realizan la funcin inversa de los decodificadores, es decir, poseen en general N entradas y n salidas de cdigo en las que aparece codificado en binario el valor de la entrada que ha sido activada (N2 n). Codificadores sin prioridad. Codificadores con prioridad.
9 8 7 6 5 4 3 2 1 0

Codi icador

7 4 1 0

8 5 2 .

9 6 3 +/-

Salida !inaria Codi icada

14

rea de Arquitectura y Tecnologa de Computadores Departamento de Automtica Universidad de Alcal

T3 Circuitos Combinacionales Fundamentos de Tecnologa de Computadores

Estructuras Combinacionales bsicas (VII) Codificadores (2)

Codificador 8 a 3 con prioridad
I E7
Codific ador 8 a 3 con prioridad

E6 E5 E4 E3 E2 E1 E0

S 2 S 1 S 0

I E7 E6 1 X X 0 1 1 0 X X 0 X X 0 X X 0 X X 0 X X 0 X X 0 X 0 0 0 1

E5 X 1 X X X X X 0 1 1

E4 X 1 X X X X 0 1 1 1

E3 X 1 X X X 0 1 1 1 1

E2 X 1 X X 0 1 1 1 1 1

E1 X 1 X 0 1 1 1 1 1 1

E0 X 1 0 1 1 1 1 1 1 1

S2 S1 S0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1

P1 P0 1 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1

P1 P0

15

rea de Arquitectura y Tecnologa de Computadores Departamento de Automtica Universidad de Alcal

T3 Circuitos Combinacionales Fundamentos de Tecnologa de Computadores

Estructuras Combinacionales bsicas (VIII) Comparadores

Un comparador de n bits es un circuito combinacional que tiene por entradas dos nmeros binarios de n bits cada uno (A,B), determinando a su salida si uno es mayor, menor o igual que el otro. Normalmente dispone de tres salidas: A>B, A=B y A<B
A3 A2 A1 A0 0 1 0 B3 B2 B1 B0
Comparador de 4 bits

7485

Ay B
C>
C=

C> C= C< A>B A=B A<B

A> B A= B A< B

C<

A >B X A <B X A=B 0 A=B 0 A=B 1

X X 0 1 0

X X 1 0 0

1 0 0 0 1

0 0 0 1 0

0 1 1 0 0

16

rea de Arquitectura y Tecnologa de Computadores Departamento de Automtica Universidad de Alcal

T3 Circuitos Combinacionales Fundamentos de Tecnologa de Computadores

Circuitos sumadores binarios (I)

Semisumador Suma de dos nicos bits. Proporciona como salidas la suma y el acarreo.
Entradas Sumando a 0 0 1 1 Sumando b 0 1 0 1 Salidas Suma S 0 1 1 0 Acarreo Csalida 0 0 0 1

S= a a b
rea de Arquitectura y Tecnologa de Computadores Departamento de Automtica Universidad de Alcal

Csalida = ab
T3 Circuitos Combinacionales Fundamentos de Tecnologa de Computadores

17

Circuitos sumadores binarios (II)

Sumador completo Suma de tres bits: 2 bits i-simos ms el acarrreo
Entradas Sumando a 0 0 0 0 1 1 1 1 Sumando b 0 0 1 1 0 0 1 1 Acarreo Centrada 0 1 0 1 0 1 0 1 Salidas Suma S 0 1 1 0 1 0 0 1 Acarreo Csalida 0 0 0 1 0 1 1 1

a b C entrada

b S = (a b) C entrada

18

rea de Arquitectura y Tecnologa de Computadores Departamento de Automtica Universidad de Alcal

T3 Circuitos Combinacionales Fundamentos de Tecnologa de Computadores

Circuitos sumadores binarios (III)

Sumador completo Circuito en funcin de semisumadores

a b C entrada

b S = (a b) C entrada

(a

b)C entrada C
salida

= ab + (a

b)C

entrada

ab

19

rea de Arquitectura y Tecnologa de Computadores Departamento de Automtica Universidad de Alcal

T3 Circuitos Combinacionales Fundamentos de Tecnologa de Computadores

Circuitos sumadores binarios (IV)

El acarreo en los circuitos sumadores Sumador paralelo con acarreo serie
Bn-1 An-1 Bn-2 An-2 B1 A1 B0 A 0 C -1

Sumador completo
Cn-2

Sumador completo
C1

Sumador completo
C0

Sumador completo

Cn-1

Sn-1

Sn-2

S1

S0

Sumador paralelo con acarreo paralelo (acarreo anticipado) C i = A i B i + (A i B i) C i-1= G i + P i C i-1 Generacin de acarreo de la propia etapa G i = A i B i Propagacin del acarreo de la etapa anterior P i = A i B i Sumador en paralelo con acarreo mixto
rea de Arquitectura y Tecnologa de Computadores Departamento de Automtica Universidad de Alcal T3 Circuitos Combinacionales Fundamentos de Tecnologa de Computadores

20

Circuitos sumadores/restadores
Operaciones con signo (Circuito Sumador/Restador) En complemento a uno En complemento a dos
Operando a Operando b

Circuito M complementador

Suma/resta
a Cn-1 a ... a a b b ... b b

n-1 n-2

n-1 n-2

0 C -1

Sumador completo de n bits

S
n-1 n-2

... S

Resultado
rea de Arquitectura y Tecnologa de Computadores Departamento de Automtica Universidad de Alcal T3 Circuitos Combinacionales Fundamentos de Tecnologa de Computadores

21