Documentos de Académico
Documentos de Profesional
Documentos de Cultura
02 Comps Boole 09a
02 Comps Boole 09a
02 Comps Boole 09a
Departamento de Electrnica
Temario del da
Compuertas lgicas
Formas comerciales de compuertas lgicas
Funciones lgicas: representacin Tecnologa: principales familias lgicas; los retardos de propagacin lgebra de Boole
Anlisis de circuitos combinacionales Sntesis de circuitos combinacionales (primera parte)
26/03/2013
26/03/2013
Circuito lgico
2 X Y
Tabla de verdad
Forma tabular de expresar una funcin lgica Columnas entradas / salidas Filas combinacin posible de entradas salida de cada una
26/03/2013 3
PD
?
PI
26/03/2013
PD PI M
26/03/2013 5
Compuertas lgicas
Circuito electrnico que implementa una funcin lgica elemental
26/03/2013
Compuerta OR
Suma lgica (O) Nmero mnimo de entradas: 2 A B
26/03/2013
notacin: Z = A + B
7
26/03/2013
Compuerta NAND
AND negada
Compuerta NOR
OR negada Nmero de entradas: 2 (ampliable) A B
notacin: Z = (A + B)
26/03/2013
notacin: Z = A B
notacin: Z = (A B)
Compuerta de coincidencia
10
26/03/2013
11
Circuitos internos
Tecnologa
Inversor
(elemental)
NAND LS-TTL
(2 entradas)
26/03/2013
13
Tecnologa
Formas comerciales
26/03/2013
15
Formas comerciales
26/03/2013
16
Formas comerciales
26/03/2013
17
Series TTL
Compuertas de hasta 8 entradas
74LS04: sxtuple INV 74LS08: cudruple AND de 2 entradas 74LS21: doble AND de 4 entradas 74LS30: NAND de 8 entradas
Formas comerciales
Compuertas compuestas
74LS51: AND-OR-INV
26/03/2013
18
Formas comerciales
26/03/2013
19
Aplicaciones
valor lmite prefijado de alarma Sensor de temperatura corporal Sensor de frecuencia cardiaca valor lmite prefijado de alarma
A Z
26/03/2013
20
lgebra de Boole
George Boole (s. XIX)
Formaliza las reglas del razonamiento lgico Desarrolla una estructura algebraica con dos valores (verdadero, falso) y dos leyes de composicin interna (y, o)
Claude Shannon (1938, Laboratorios Bell)
Adapta el lgebra de Boole a la computacin (valores 0 y 1) Formaliza las reglas de construccin de circuitos digitales
Axioma
Cada uno de los principios fundamentales e indemostrables sobre los que se construye una teora.
26/03/2013
Teoremas
Se derivan de los axiomas y tiene demostracin (algebraica o por tablas de verdad)
21
0.0=0 1 .1 = 1 0 .1 = 1 . 0 = 0
26/03/2013
22
26/03/2013
23
(T10) X . Y + X . Y = X = X ( Y + Y) =X.1 =X
24
Otros teoremas
X + X.Y = X + Y X + X.Y = X + Y X . (X + Y) = X . Y
= X . X + X . Y = 0 +X.Y = X.Y
26/03/2013
25
Teoremas de n variables
26/03/2013
26
(X + Y) = X . Y
26/03/2013
27
OR B 0 1 0 1 Z 0 1 1 1
AND
A
0 0 1 1
B
0 1 0 1
Z
0 0 0 1
26/03/2013
29
Dualidad
Cualquier teorema o identidad del lgebra de conmutacin contina siendo verdadero si tanto 0 y 1 como . y + son intercambiados en todas partes
26/03/2013
30
Literal: una variable o su complemento. Ejm: X, Y, X, Y Trmino de producto: literal o un producto de 2 o ms literales Ejm: X, X.Y, X .Y.Z Suma de productos: suma lgica de trminos de producto Ejm: X.Y + X.Y.Z Trmino de suma: literal o una suma de 2 o ms literales Ejm: X, X + Y, X + Y + Z Producto de sumas: producto lgico de trminos de suma Ejm: (X + Y) . (X + Y + Z)
31
Minitrmino: trmino de producto donde aparecen todos los literales de la funcin. Cada variable aparece complementada si su valor es 0 y sin complementar si es 1. Maxitrmino: trmino de suma donde aparecen todos los literales de la funcin. Cada variable aparece complementada si su valor es 1 y sin complementar si es 0
26/03/2013
32
26/03/2013
33
Producto cannico
Expresin algebraica de una funcin lgica como el producto de los maxitrminos que hacen 0 la funcin.
F = (X + Y + Z) . (X + Y + Z) . (X + Y + Z)
26/03/2013
34
26/03/2013
35
#1 Tabla de verdad
26/03/2013
36
Los circuitos hacen lo mismo pero puede haber diferencias en cuestiones elctricas (cargas, retardos, etc.) y de diseo (cantidad de compuertas, de CIs, etc.)
26/03/2013 37
Los circuitos hacen lo mismo pero puede haber diferencias en cuestiones elctricas (cargas, retardos, etc.) y de diseo (cantidad de compuertas, de CIs, etc.)
26/03/2013 38
26/03/2013
39
F = 1 para N = 1, 2, 3, 5, 7, 11, 13
26/03/2013
40
ALARM = PANIC + ENABLE. EXITING . SECURE SECURE = WINDOW . DOOR . GARAGE ALARM = PANIC + ENABLE. EXITING . (WINDOW . DOOR . GARAGE)
26/03/2013
41
26/03/2013
42
Ejemplo #1: sntesis a partir de una tabla de verdad usando los minitrminos
Z ( A, B) B'.A B. A (1,3)
A, B
Z = A . B + A . B
B A A.B B A.B
= A (B + B) =A.1
Z = A.B + A.B
=A
43
26/03/2013
Ejemplo #2: sntesis a partir de la misma tabla de verdad usando los maxitrminos
+ A.(B + B) + 0 + A.1 +A
A + B
=A =A =A
Z = (A + B) . (A + B)
Ejemplo #3: sntesis a partir de una descripcin con palabras Se necesita disear un circuito lgico que detecte que la mayora de sus 3 entradas est en ALTO
Z = A/BC + AB/C + ABC/ + ABC Z = A/BC + AB/C + ABC/ + ABC + ABC + ABC = A/BC + AB/C + ABC/ + ABC + ABC + ABC = BC (A + A/) + AC (B/ + B) + AB (C/ + C) = BC + AC + AB
26/03/2013 45
A B
Z C
26/03/2013
46
Ejemplo de diseo: sumador de 1 bit con acarreo (full adder) Entradas: 3 Salidas: 2 (funciones) S, COUT = X + Y + CIN
Diseo
26/03/2013
47
Tiempos de transicin
Tecnologa
Solid State Technology Association (antes Joint Electron Device Engineering Council - JEDEC)
tTLH tr
tTHL tf
tTLH / trRise time: The time interval between one reference point on a waveform and a second reference point of greater magnitude on the same waveform. tTHL / tf Fall time: The time interval between one reference point on a waveform and a second reference point of smaller magnitude on the same waveform.
26/03/2013
48
Tiempos de propagacin
Tecnologa
tPHL Propagation Delay Time, High-Level to Low-Level Output: el tiempo entre puntos de referencia especificados en las formas de onda de la entrada y la salida, cuando la salida cambia de nivel alto a nivel bajo. tPLH - Propagation Delay Time, Low-Level to High-Level Output: el tiempo entre puntos de referencia especificados en las formas de onda de la entrada y la salida, cuando la salida cambia de nivel bajo a nivel alto. 26/03/2013 49
Serie LS-TTL
Tecnologa
26/03/2013
50
26/03/2013
51
A B C D Z
Atraviesa 2 compuertas Atraviesa 3 compuertas Atraviesa 2 compuertas Atraviesa 3 compuertas Atraviesa 3 compuertas
26/03/2013
52
26/03/2013
hazard
53
A B
Z1 = AB + AC + BC
AB AC
Z2 = (A + B) C + AB
A Z1 B
AB
C
BC A+B
Z2
Versin de 2 tp
A B C AB (A+B) (A+B)C Z
tp1 tp2 tp3
0 1 1
0 0 1
(A+B)C
Versin de 3 tp
retardo
(A . A) = A
(A + A) = A
55 26/03/2013
Ejemplo
X + Y = (X . Y)
A B
4 compuertas 2 CIs
1 CI AND 2i 1 CI OR 3i
Versin #1 NAND
A B A C B C
26/03/2013
A B Z C
4 compuertas 2 CIs
1 CI AND 2i 1 CI OR 2i Versin #3
5 compuertas 2 CIs
1 CI NAND 2i 1 CI NAND 3i 2 CIs NAND 3i
56
Conclusiones
Cualquier circuito lgico puede implementarse con una combinacin de AND, OR e INV o solamente con NAND o NOR
26/03/2013
57
FIN
26/03/2013
58