1 1

5. !ntroduccin a los
sistemas digitales
Luis Rincn Crcoles
Cristina Conde Vilda
ngel Serrano Snchez de Len
Estructura y Tecnologa de Computadores (ITIG)
2
Tema 5. Introduccin a los sistemas digitales
Programa
1. Introduccin.
2. Definicin de lgebra de Boole.
3. Teoremas y propiedades del lgebra de Boole.
4. Demostracin de teoremas del lgebra de Boole.
5. Formas cannicas o normales de las funciones lgicas.
6. Implementacin de funciones lgicas.
7. Sistemas digitales.
8. Construccin de sistemas digitales.
9. Tecnologas de circuitos digitales.
10. Bibliografa.
Conceptos bsicos: Variable booleana, tabla de verdad, miniterm, maxiterm,
suma de productos, producto de sumas, teorema de De Morgan, teorema de
expansin, 1 y 2 forma cannica, implementacin de funciones lgicas, valor
dont-care, voltaje o nivel alto/bajo, circuito digital (combinacional/secuencial),
diagrama de Gajski-Kuhn, lenguajes de descripcin de hardware (HDL),
tecnologas de circuitos integrados (TTL, CMOS, etc), nivel de integracin.
2 2
3
Tema 5. Introduccin a los sistemas digitales
El lgebra de Boole fue creada por el matemtico britnico George Boole
(An Investigation of the Laws of Thought, 1854).
Constituye un formalismo matemtico sencillo para representar el
conocimiento y realizar clculos.
Inicialmente se plante como un formalismo ms para realizar clculos en
Lgica Proposicional.
En 1939, Claude E. Shannon public su tesis de master (A Symbolic
Analysis of Relay and Switching Circuits), en la que estabeci la relacin
existente entre el lgebra de Boole y el estudio de los circuitos electrnicos.
Tambin tiene aplicacin en la Lgica Proposicional.
1. Introduccin
4
Tema 5. Introduccin a los sistemas digitales
Elementos del lgebra de Boole:
Valores: verdadero (V, 1) y falso (F, 0).
Constantes: valores fijos (0,1).
Variables: elementos cuyo valor puede cambiar.
Operaciones en el lgebra de Boole:
Adicin o unin: A+B, AB
Producto o interseccin: AB, AB
Complementacin o inversin: , A, A, A
Expresiones o formas booleanas: combinaciones de constantes,
variables y operadores, incluyendo quiz parntesis.
Funciones: expresiones sin constantes (salvo que la funcin sea siempre
cierta o siempre falsa).
Tablas de verdad: representan los valores adoptados por las funciones
lgicas de forma extensiva. Incluyen todas las combinaciones posibles de las
variables.
A
3 3
5
Tema 5. Introduccin a los sistemas digitales
Literal: variable suelta, afirmada o negada.
Trmino producto: expresin booleana compuesta por un nico literal o por un
producto de literales.
Minitrmino (minterm): es un trmino producto que contiene todas las variables de
la funcin, algunas de ellas pueden estar afirmadas y otras negadas.
Trmino suma: expresin booleana compuesta por un nico literal o por una
suma de literales.
Maxitrmino (maxterm): es un trmino suma que contiene todas las variables de la
funcin, algunas de ellas pueden estar afirmadas y otras negadas
Suma de productos (SOP, SdP): expresin booleana compuesta por un nico
trmino producto o por una suma de trminos producto.
Producto de sumas (POS, PdS): expresin booleana compuesta por un nico
trmino suma o por un producto de trminos suma.
6
Tema 5. Introduccin a los sistemas digitales
Un lgebra de Boole bivaluada es un conjunto B que cumple que:
1. a B , a = 0 a = 1.
2. Todo elemento tiene un complementario (funcin NOT).
NOT: negacin lgica o complementacin.
3. La operacin producto lgico ( , AND) que se define como:
AND: producto lgico, interseccin o conjuncin.
4. La operacin suma lgica (+, OR) se define como:
OR: suma lgica, unin o disyuncin.
5. La operacin AND tiene precedencia sobre la OR.
2. Definicin formal de lgebra de Boole
1 1 1
0 0 1
0 1 0
0 0 0
f(a,b) = ab b a
1 1 1
1 0 1
1 1 0
0 0 0
f(a,b) = a+b b a
0 1
1 0
a
a f(a) =
4 4
7
Tema 5. Introduccin a los sistemas digitales
Otras operaciones usuales
XOR (suma lgica exclusiva o diferencia simtrica).
NOR (suma lgica complementada).
NAND (producto lgico complementado).
XNOR (suma lgica exclusiva complementada o equivalencia).
Operaciones del lgebra de Boole
XOR
0 1 1
1 0 1
1 1 0
0 0 0
b a b a b) f(a, =
NOR
0 1 1
0 0 1
0 1 0
1 0 0
b a b a b) f(a, + =
0 1 1
1 0 1
1 1 0
1 0 0
b a
b a b) f(a, =
1 1 1
0 0 1
0 1 0
1 0 0
b a
b a b) f(a, =
NAND XNOR
8
Tema 5. Introduccin a los sistemas digitales
Un conjunto B dotado de dos operaciones algebraicas + y es un lgebra
de Boole si y slo si se verifican los postulados de Huntington:
1. Las operaciones + y son conmutativas: a+b = b+a ; ab=ba, a,b B.
2. 0 y 1 B tal que: a+0 = 0+a= a ; a1 = 1a = a a B.
3. Cada operacin es distributiva respecto de la otra. Es decir, que a,b B se
cumple que:
a+(bc) = (a+b)(a+c)
a(b+c) = ab+ac
4. a B su complementario a B tal que:
a + a = 1; aa = 0.
Otra definicin formal de lgebra de Boole
5 5
9
Tema 5. Introduccin a los sistemas digitales
Principio de dualidad: dado un teorema del lgebra de Boole, existe otro
teorema que se obtiene sustituyendo:
+ por
por +
0 por 1
1 por 0.
El nuevo teorema as obtenido se denomina teorema dual.
Ejemplo:
Si se cumple el siguiente teorema (propiedad conmutativa de la suma)
a+b = b+a
tambin se cumplir su teorema dual (propiedad conmutativa del producto):
ab = ba
3. Teoremas y propiedades del lgebra de Boole
10
Tema 5. Introduccin a los sistemas digitales
(a+b)(a+c)= (a+b)(a+c)(b+c) ab+ac= ab+ac+bc Teoremas del consenso
a(b+c) = ab + ac a+(bc) = (a+b) (a+c) Propiedad distributiva
ab = ba a+b = b+a Propiedad conmutativa
a(bc) = (ab)c = abc a+(b+c) = (a+b)+c = a+b+c Propiedad asociativa
(ab) = a+b (a+b) = ab Teoremas de De Morgan
a(a+b)=ab a+ab=a+b
a(a+b) = a a+ab = a Teoremas de absorcin
(a)=a Teorema de involucin
aa=a a+a=a
Teoremas de
idempotencia
aa=0 a+a=1 Teoremas de identidad
0a=0 1+a=1
1a=a 0+a=a Elemento neutro
Teoremas y propiedades del lgebra de Boole
6 6
11
Tema 5. Introduccin a los sistemas digitales
Ley de De Morgan generalizada: la inversa de una funcin se obtiene
complementando todas las variables que aparecen en ella e intercambiando
los operadores de suma y producto lgicos.
IMPORTANTE: es preciso respetar las precedencias de la expresin booleana
original.
Ejemplo:
[ ] [ ]
[ ] [ ] d c) a ( ) c b (a d c a c) (b a
d c a c) (b a d c a c) (b a d) c, b, (a, f
d c a c) (b a d) c, b, f(a,
+ + = + + + =
= + = + + + =
+ + + =
12
Tema 5. Introduccin a los sistemas digitales
Teorema de expansin (de descomposicin de funciones):
Ejemplo:
c,...)] b, f(1, a c,...)] b, f(0, a c,...) b, f(a,
c,...) b, f(1, a c,...) b, f(0, a c,...) b, f(a,
+ + =
+ =
| |
d c a c) (b a
a) a ( d c a c) (b a
d a c a d a c) (b a
] d c 1 c) (b 1 [ a ] d c 0 c) (b 0 [ a
d) c, b, f(1, a d) c, b, f(0, a d) c, b, f(a,
d c a c) (b a d) c, b, f(a,
+ + + =
= + + + + =
= + + + + =
= + + + + + + + =
= + =
+ + + =
7 7
13
Tema 5. Introduccin a los sistemas digitales
Induccin perfecta: consiste en comprobar que el teorema se cumple
comprobando que es cierto para todas las posibles combinaciones de valores de
las variables implicadas en el mismo.
Este mtodo normalmente es inviable a la hora de probar teoremas con nmeros
enteros o reales, pero es sencillo para hacer lo propio en lgebra de Boole, ya que
sta maneja slo dos valores diferentes.
La demostracin por induccin perfecta consiste en calcular la tabla de verdad de
la expresin booleana del teorema.
Mediante manipulaciones algebraicas: las expresiones booleanas se
pueden manipular aplicando en ellas las propiedades y teoremas conocidos
para as obtener nuevas expresiones equivalentes.
Este mtodo es ms elegante, pero tambin ms complicado.
Mediante el principio de dualidad. Por este principio, si demostramos un
teorema cualquiera, tenemos automticamente demostrado el teorema dual.
4. Demostracin de teoremas del lgebra de Boole
14
Tema 5. Introduccin a los sistemas digitales
Ejemplo: demostracin por induccin perfecta de la propiedad asociativa de la
suma.
1
1
1
1
1
1
1
0
(a+b)+c
1
1
1
0
1
1
1
0
b+c
1
1
1
1
1
1
0
0
a+b
1
1
1
1
1
1
1
0
a+(b+c)
1
1
1
1
0
0
0
0
a
1
1
0
0
1
1
0
0
b
1
0
1
0
1
0
1
0
c
Ambas columnas son iguales:
la propiedad se cumple
8 8
15
Tema 5. Introduccin a los sistemas digitales
Ejemplo: demostracin por manipulacin algebraica del teorema a+ab=a+b .
Ejemplo: demostracin de a(a+b)=ab a travs del principio de dualidad.
Puesto que hemos demostrado que a+ab=a+b , se cumplir tambin su
teorema dual a(a+b)=ab .
b a (neutro) b) (a 1 ) (identidad b) (a ) a (a iva) (distribut b a a + = = + = = + + = = +
16
Tema 5. Introduccin a los sistemas digitales
La tabla de verdad de una funcin booleana es nica.
Una funcin booleana dada tiene mltiples representaciones algebraicas,
todas ellas equivalentes entre s (las obtendramos aplicando los teoremas del
lgebra de Boole).
Formas cannicas, formas normales o formas estndares de una
funcin booleana: expresiones booleanas equivalentes de la funcin que
cumplen determinadas caractersticas:
Primera forma cannica: funcin lgica = suma de minitrminos.
Segunda forma cannica: funcin lgica = producto de maxitrminos.
5. Formas cannicas o normales
9 9
17
Tema 5. Introduccin a los sistemas digitales
Minitrmino (minterm): trmino producto que contiene todas las variables de
la funcin, algunas de las cuales pueden estar afirmadas y otras negadas.
Ejemplo: f(a,b,c)
S son minitrminos:
NO son minitrminos:
Un minitrmino es 1 para una nica combinacin de valores de las variables,
precisamente para la combinacin que hace 1 a las variables que estn
afirmadas y 0 a las que estn negadas.
Ejemplo: f(a,b,c), minitrmino
Este minitrmino vale 1 para la combinacin de variables a=1, b=0 y c=1, y vale
0 para todas las dems combinaciones.
Primera forma cannica (1FC)
c b a c b a c b a c b a c b a
c a b a c a c b b a
c b a
18
Tema 5. Introduccin a los sistemas digitales
Los minitrminos se nombran con subndices
(m
i
), donde i es un nmero obtenido tras pasar a
base 10 el nmero binario formado al sustituir
ordenadamente las variables afirmadas por 1 y las
negadas por 0.
Ejemplo: f(a,b,c), minitrmino
Cada minitrmino est asociado a una fila de la
tabla de verdad de la funcin lgica correspondiente.
Primera forma cannica: funcin booleana
expresada como suma de minitrminos.
La expresin en 1FC es nica para cada funcin.
Minitrmino
m
15
1 1 1 1
m
14
0 1 1 1
m
13
1 0 1 1
m
12
0 0 1 1
m
11
1 1 0 1
m
10
0 1 0 1
m
9
1 0 0 1
m
8
0 0 0 1
m
7
1 1 1 0
m
6
0 1 1 0
m
5
1 0 1 0
m
4
0 0 1 0
m
3
1 1 0 0
m
2
0 1 0 0
m
1
1 0 0 0
m
0
0 0 0 0
m
i
d c b a
5
m c b a =
d c b a
d c b a
d c b a
d c b a
d c b a
d c b a
d c b a
d c b a
d c b a
d c b a
d c b a
d c b a
d c b a
d c b a
d c b a
d c b a
10 10
19
Tema 5. Introduccin a los sistemas digitales
La expresin en 1FC de una funcin booleana es la suma de los
minitrminos asociados a las filas que valen 1 en la tabla de verdad.
Puede demostrarse aplicando reiteradamente el teorema de descomposicin
de funciones.
0
1
0
1
0
1
0
1
c
0
0
0
0
1
1
1
0
a(b+c)
0
0
0
0
1
1
1
1
a
1
1
1
0
1
1
1
0
b+c
0
1
0
1
0
0
0
0
ac
0 1 1 1
1 0 1 1
0 1 0 1
1 0 0 1
1 1 1 0
1 0 1 0
1 1 0 0
0 0 0 0
f(i) c b a
Ejemplo:
Calculando su tabla de verdad se obtiene lo siguiente:
c a c) (b a c) b, f(a, + + =
Entonces:

= + + + + =
3
6 4 3 2 1
6} m{1,2,3,4, m m m m m c} b, f{a,
20
Tema 5. Introduccin a los sistemas digitales
Maxitrmino (maxterm): trmino suma que contiene todas las variables de la
funcin, algunas de las cuales pueden estar afirmadas y otras negadas.
Ejemplo: f(a,b,c)
S son maxitrminos:
NO son maxitrminos:
Un maxitrmino es 0 para una nica combinacin de valores de las variables,
precisamente para la combinacin que hace 1 a las variables que estn
negadas y 0 a las que estn afirmadas.
Ejemplo: f(a,b,c), maxitrmino
Este maxitrmino vale 0 para la combinacin de variables a=0, b=1 y c=0, y vale
1 para todas las dems combinaciones.
Segunda forma cannica (2FC)
c b a c b a c b a c b a c b a + + + + + + + + + +
c a b a c a c b b a + + + + +
c b a + +
11 11
21
Tema 5. Introduccin a los sistemas digitales
Los maxitrminos se nombran con subndices
(M
i
), donde i es un nmero obtenido tras pasar a
base 10 el nmero binario formado al sustituir
ordenadamente las variables afirmadas por 0 y las
negadas por 1.
Ejemplo: f(a,b,c), maxitrmino
Cada maxitrmino est asociado a una fila de la
tabla de verdad de la funcin lgica correspondiente.
Los minitrminos y los maxitrminos son
complementarios:
Maxitrmino
M
15
1 1 1 1
M
14
0 1 1 1
M
13
1 0 1 1
M
12
0 0 1 1
M
11
1 1 0 1
M
10
0 1 0 1
M
9
1 0 0 1
M
8
0 0 0 1
M
7
1 1 1 0
M
6
0 1 1 0
M
5
1 0 1 0
M
4
0 0 1 0
M
3
1 1 0 0
M
2
0 1 0 0
M
1
1 0 0 0
M
0
0 0 0 0
M
i
d c b a
2
M c b a = + +
d c b a + + +
d c b a + + +
d c b a + + +
d c b a + + +
d c b a + + +
d c b a + + +
d c b a + + +
d c b a + + +
d c b a + + +
d c b a + + +
d c b a + + +
d c b a + + +
d c b a + + +
d c b a + + +
d c b a + + +
d c b a + + +
i
i
i
i
M m
M m
=
=
22
Tema 5. Introduccin a los sistemas digitales
La expresin en 2FC de una funcin booleana es el producto
de los maxitrminos asociados a las filas que valen 0 en la tabla
de verdad.
Puede demostrarse aplicando reiteradamente el teorema de
descomposicin de funciones.
0 1 1 1
1 0 1 1
0 1 0 1
1 0 0 1
1 1 1 0
1 0 1 0
1 1 0 0
0 0 0 0
f(i) c b a
7 5 0 7 6 5 4 3 2 1 0
7 6 5 4 3 2 1 0
m m m 1 m 0 m 1 m 0 m 0 m 0 m 0 m 1 m
(7) f m (6) f m (5) f m (4) f m (3) f m (2) f m (1) f m (0) f m c) b, (a, f
+ + = + + + + + + + =
= + + + + + + + =
Ejemplo:
c a c) (b a c) b, f(a, + + =
Tomando las filas que valen 0, tendremos f(a,b,c):
Negando la expresin anterior obtendremos f(a,b,c) :

= = = + + = =
3
M{0,5,7} c} b, f{a,
7 5 0
7 5 0
7 5 0
M M M m m m m m m c) b, f(a, c) b, (a, f
Por tanto, la 2FC es el producto de los maxitrminos cuyas filas asociadas en la
tabla de verdad valen 0.
Segunda forma cannica: funcin booleana expresada como
producto de maxitrminos.
12 12
23
Tema 5. Introduccin a los sistemas digitales
1 1 1 1 1
1 0 1 1 1
0 1 0 1 1
0 0 0 1 1
1 1 1 0 1
1 0 1 0 1
0 1 0 0 1
0 0 0 0 1
0 1 1 1 0
0 0 1 1 0
1 1 0 1 0
1 0 0 1 0
1 1 1 0 0
0 0 1 0 0
0 1 0 0 0
1 0 0 0 0
f d c b a
Formas cannicas: resumen
Las formas cannicas se pueden extraer directamente de la
tabla de verdad.
Primera forma cannica: suma de minitrminos asociados
a las filas con valor 1.
Segunda forma cannica: producto de maxitrminos
asociados a las filas con valor 0.
Las formas cannicas son nicas para cada funcin: una
funcin tiene una nica expresin en 1FC y una nica
expresin en 2FC.
La 1FC y la 2FC de una funcin son equivalentes.
IMPORTANTE: El orden en el que aparecen las variables en
la tabla de verdad determina el ndice asociado a los
minitrminos y maxitrminos.

=
4
8,9,12,13) M(1,2,6,7, d) c, b, f(a,

=
4
5) 10,11,14,1 m(0,3,4,5, d) c, b, f(a,
24
Tema 5. Introduccin a los sistemas digitales
El lgebra de Boole es la herramienta ms adecuada para estudiar los circuitos
electrnicos (Shannon).
Existen dispositivos electrnicos capaces de implementar operadores lgicos: las
puertas lgicas.
Para cada operacin lgica (AND, OR, NOT, XOR, NAND, NOR, XNOR) existe la
correspondiente puerta lgica que la materializa (tema 6).
Un circuito lgico se construye a partir de una expresin algebraica de la funcin
lgica que queremos implementar, interconectando puertas lgicas bsicas de
acuerdo con dicha expresin.
Una funcin dada puede representarse mediante mltiples expresiones algebraicas
equivalentes.
Una funcin dada puede materializarse con diferentes circuitos.
Mientras ms sencilla sea la expresin lgica utilizada, ms sencillo ser el circuito que
materialice la funcin buscada.
6. Implementacin de funciones lgicas
13 13
25
Tema 5. Introduccin a los sistemas digitales
En algunos sistemas digitales reales, hay ciertas
combinaciones de las variables de entrada que por
construccin no pueden producirse nunca.
En estos casos, la salida que pudiera producir el
sistema ante dichas combinaciones de entrada es
irrelevante, puesto que nunca se va a dar tal caso.
Combinaciones imposibles: indiferencias,
valores indiferentes, redundancias o dont care
values (tabla de verdad: smbolo X).
Si aparece un smbolo X en una o varias filas de
una tabla, nos dara exactamente igual sustituirla
por un 1 por un 0.
Las indiferencias son un concepto ingenieril.
Funciones definidas de forma incompleta
Ejemplo: funcin que dice si
un nmero en BCD es par.
X 1 1 1 1
X 0 1 1 1
X 1 0 1 1
X 0 0 1 1
X 1 1 0 1
X 0 1 0 1
0 1 0 0 1
1 0 0 0 1
0 1 1 1 0
1 0 1 1 0
0 1 0 1 0
1 0 0 1 0
0 1 1 0 0
1 0 1 0 0
0 1 0 0 0
1 0 0 0 0
f d c b a

+ =
4
,13,14,15) X(10,11,12 8) m(0,2,4,6, d) c, b, f(a,

=
4
,13,14,15) X(10,11,12 9) M(1,3,5,7, d) c, b, f(a,
}
26
Tema 5. Introduccin a los sistemas digitales
Las formas cannicas son slo una de las mltiples formas para representar una
funcin lgica.
En ocasiones se puede implementar una funcin de manera ms simplificada. Para
ello habr que manipular adecuadamente las expresiones lgicas.
Criterios posibles para simplificar los circuitos digitales:
Obtener el circuito ms barato reduciendo el nmero de trminos.
Obtener el circuito ms rpido.
Obtener el circuito formado por menos circuitos integrados de un tipo dado.
Obtener un circuito sin valores transitorios no deseados (azares, glitches).
Existen mtodos de simplificacin de circuitos digitales (no los vamos a estudiar):
Simplificacin automtica para computadores (Quine-McCluskey es el ms conocido).
Manipulaciones algebraicas (manual, costoso).
Mtodos grficos: Veitch-Karnaugh (manual, sencillo para pocas variables).
Simplificacin de funciones lgicas
14 14
27
Tema 5. Introduccin a los sistemas digitales
7. Sistemas digitales
Un sistema digital es un sistema dependiente del tiempo cuyas entradas y
salidas en un instante determinado slo pueden tomar un valor perteneciente
a un conjunto finito y discreto de valores.
Manejaremos sistemas digitales con seales binarias dependientes del
voltaje.
V
H
, H: voltaje alto; V
L
, L: voltaje bajo.
Si hay ms de dos valores distintos se utilizarn varias seales
binarias relacionadas.
Zona de incertidumbre
0 V 0 V V
Lmin
1 V 0,8 V V
Lmax
3,5 V 2 V V
Hmin
5 V 5 V V
Hmax
CMOS TTL Voltajes tpicos
28
Tema 5. Introduccin a los sistemas digitales
7.1. Circuitos combinacionales
En los circuitos combinacionales la salida Z en un determinado instante
de tiempo t
i
slo depende de X en ese mismo instante de tiempo t
i
, es
decir que no tienen capacidad de memoria y que se puede obviar la variable
de tiempo t.
Z(t) = F(X(t)) Z = F(X)
F X Z
15 15
29
Tema 5. Introduccin a los sistemas digitales
7.2. Circuitos secuenciales
En los circuitos secuenciales la salida Z en un determinado instante de
tiempo t
i
depende de X en ese mismo instante de tiempo t
i
y en todos
los instantes temporales anteriores. Para ello es necesario que el sistema
disponga de elementos de memoria que le permitan recordar la situacin en
que se encuentra (estado).

= +
=
transicin de funcin : H S(t)) H(X(t), 1) S(t
salida de funcin : G S(t)) G(X(t), Z(t)
G,H
X(t) Z(t)
memoria
Realimentacin
S(t+1) S(t)
X(t): entrada actual
S(t+1): estado prximo
Z(t): salida actual
S(t): estado actual
Como un sistema secuencial es finito, tiene una capacidad de memoria
finita y un conjunto finito de estados posibles mquina finita de
estados (FSM: finite state machine).
30
Tema 5. Introduccin a los sistemas digitales
Tipos de sincronismo
Existen dos tipos de sistemas secuenciales: asncronos y sncronos.
Los asncronos son sistemas secuenciales que pueden cambiar de estado en
cualquier instante de tiempo en funcin de cambios en las seales de entrada.
Son ms frecuentes en la vida real.
Existen mtodos especficos para disear sistemas asncronos (no los vamos a
estudiar).
Los sncronos son sistemas secuenciales que slo pueden cambiar de estado
en determinados instantes de tiempo, es decir, estn sincronizados con una
seal que marca dichos instantes y que se conoce como seal de reloj (Clk).
El sistema slo hace caso de las entradas en los instantes de sincronismo.
Son ms fciles de disear.
Estudiaremos los sistemas sncronos, y veremos cmo sincronizar los
sistemas asncronos (temas 7 y 8).
16 16
31
Tema 5. Introduccin a los sistemas digitales
El estudio de los sistemas digitales requiere
mtodos para su especificacin, diseo,
materializacin y anlisis.
Especificacin de un sistema: descripcin
formal y no ambigua de su funcin y de otros
detalles que sern relevantes en el diseo
(tecnologa, tamao, consumo, etc).
8. Construccin de sistemas digitales
Diseo o sntesis de un sistema: permite generar una materializacin a partir
de una especificacin dada.
Anlisis de un sistema: permite describir el comportamiento de un sistema
generando una especificacin del mismo a partir de su materializacin.
Materializacin de un sistema: indica cmo se ha construido el sistema a partir
de componentes ms sencillos (primitivas).
32
Tema 5. Introduccin a los sistemas digitales
Un sistema digital puede
describirse desde diferentes
dominios conceptuales:
Conductual: cmo se
comporta.
Estructural: qu bloques lo
componen y cmo se interconectan.
Fsico: cmo est construido
realmente.
Descripcin de sistemas digitales
17 17
33
Tema 5. Introduccin a los sistemas digitales
Niveles de abstraccin:
Circuito: electrnica.
Lgico: valores lgicos (0,1).
RT (transferencias entre
registros): palabras, seales de
control, temporizaciones.
Algortmico: estructuras
abstractas, dependencias.
Sistema: protocolos de
sincronizacin entre subsistemas.
34
Tema 5. Introduccin a los sistemas digitales
Transiciones:
Sntesis - anlisis: dominios
conductual estructural.
Generacin - extraccin:
dominios fsico estructural.
Optimizacin: mejora dentro
del mismo nivel de abstraccin.
Refinamiento - abstraccin:
cambiar el nivel de abstraccin en el
mismo dominio.
18 18
35
Tema 5. Introduccin a los sistemas digitales
Existen lenguajes de descripcin de sistemas digitales muy extendidos que
permiten incluso realizar la sntesis de los mismos. Entre ellos sealaremos los
siguientes:
VHDL (Very high speed circuits Hardware Description Language).
ABEL (Advanced Boolean Equation Language).
Verilog.
VHDL permite describir sistemas segn diferentes modelos de comportamiento
(funcional, algortmico y estructural).
El modelo funcional est prximo a la especificacin del sistema.
El modelo algortmico es ms elaborado, y describe el comportamiento del sistema.
El modelo estructural describe el sistema indicando los bloques que lo componen y
sus interconexiones.
Lenguajes de descripcin de hardware (HDL)
36
Tema 5. Introduccin a los sistemas digitales
Una especificacin de alto nivel de un sistema digital se compone de un
conjunto (I,O,F) formado por:
Entradas (I).
Salidas (O).
Funcin realizada por el sistema (F).
La especificacin de un sistema puede realizarse mediante:
Tablas.
Expresiones matemticas.
Descripciones textuales.
Expresiones condicionales.
Expresiones lgicas (de conmutacin).
Combinaciones de las anteriores.
Especificacin de sistemas digitales
19 19
37
Tema 5. Introduccin a los sistemas digitales
Los circuitos digitales actuales se construyen mediante tecnologa electrnica.
Transistor: dispositivo que acta como un interruptor de encendido/apagado
controlado elctricamente.
Tecnologas de transistores: CMOS, NMOS, PMOS, TTL, ECL, etc.
Circuitos integrados (chips): dispositivos que pueden contener desde decenas
hasta millones de transistores en su interior.
Niveles de integracin:
9. Tecnologas de circuitos digitales
Muy gran escala de integracin 100.000- VLSI (very large scale integration)
Gran escala de integracin 1000-100.000 LSI (large scale integration)
Escala de integracin media 100-1000 MSI (medium scale integration)
Baja escala de integracin 1-100 SSI (short scale integration)
Puertas Nombre
38
Tema 5. Introduccin a los sistemas digitales
Una puerta lgica es un dispositivo
con una o varias entradas y una salida
en el cual el voltaje de salida (H/L) es
una funcin conocida para todas las
combinaciones posibles de voltajes de
las entradas (H/L).
Las puertas lgicas se construyen con
transistores e implementan funciones
lgicas bsicas.
En un chip pueden caber desde unas
pocas puertas lgicas hasta varios millones.
20 20
39
Tema 5. Introduccin a los sistemas digitales
Adems de diferentes familias lgicas, tambin existen distintos tipos de
encapsulado (conexin de las entradas y salidas de los circuitos a las patas del
chip).
40
Tema 5. Introduccin a los sistemas digitales
J.M. ANGULO, J.GARCA. Sistemas Digitales y Tecnologa de Computadores.
Paraninfo, 2002.
C. CERRADA, V. FELIU. Estructura y Tecnologa de Computadores I.
U.N.E.D., 1993.
T.L. FLOYD. Fundamentos de Sistemas Digitales. 7 edicin. Prentice Hall,
2000.
D.D. GAJSKI. Principios de Diseo Digital. Prentice - Hall, 2000.
J.F. WAKERLY. Diseo Digital. Principios y Prcticas. Prentice Hall, 2001.
A. PRIETO, A. LLORIS, J.C. TORRES. Introduccin a la Informtica. 3
edicin, McGraw-Hill, 2002.
A. LLORIS, A. PRIETO. Diseo Lgico. Mc-Graw-Hill, 1996.
10. Bibliografa