Escolar Documentos
Profissional Documentos
Cultura Documentos
- LGICA COMBINACIONAL
ELECTRNICA DIGITAL
Teniendo en cuenta que un sistema combinacional es todo aquel sistema digital que
en sus salidas son funcin exclusiva del valor de sus entradas en un momento dado,
sin que intervengan en ningn caso estados anteriores a las entradas o de las
salidas. Por tanto, carecen de memoria y de retroalimentacin. Los circuitos con
compuertas lgicas son circuitos combinacionales sencillos. Estn implementados
mediante circuitos integrados (CI) en los que existen entradas, salidas, entradas de
control, entrada de alimentacin y de entrada a puesta tierra.
XXII
digital memorias: PROM, EPROM, EEPROM, FLASH. Al mismo tiempo aparecen los
primeros dispositivos programables: PAL, PLA, PLD, los cuales evolucionaron a los
sistemas programables actuales: CPLD y FPGA. Estudiaremos algunos bloques
constructivos bsicos: Veremos que ellos pueden implementarse en base a
compuertas, o bien existen como dispositivos de mediana integracin, o son partes o
bloques que se pueden agregar a esquemticos, o son elementos bsicos de los
dispositivos programables, o son mdulos de software de los lenguajes descriptivos
de
hardware.
Estudiaremos
los
siguientes
bloques
bsicos:
Multiplexores,
I.II.I.- SUMADORES.
SEMISUMADOR:
La suma de dos dgitos binarios (PLUS) es similar a la suma de dos nmeros
XXII
decimales, pero teniendo en cuenta que la salida tambin es un nmero binario. Esto
Tabla.- II.
XXII
acarreo de un semisumador.
SUMADOR TOTAL:
Si adems de sumar dos dgitos, tambin queremos sumar un acarreo de entrada,
entonces l HA es insuciente. Para sumar 3 dgitos de 1 bit necesitamos lo que se
XXII
conoce como sumador completo (fulladder o FA). Si a los bits de entrada les
XXII
XXII
Queda calcular el acarreo de salida del FA. Para ello observamos que el acarreo del
primer HA es: C1 = AB. El acarreo del segundo HA es C2 = CinS1 = Cin(A B). Si
XXII
Cout = C1 + C2 = AB + (A B)Cin
XXII
Fig.- IX.
Como podemos observar, para calcular el bit i-simo del resultado solo necesitamos
conocer los bits i-simos de las entradas y el acarreo resultado de calcular el bit
anterior (i 1). Por lo tanto, el mdulo bsico es un sumador de 3 bits: un sumador
completo. Para sumar palabras de n bits ser preciso utilizar n FA. Nos queda por
resolver cmo y cundo calcular el acarreo de cada bit. Para ello existen varias
alternativas o soluciones, pero aqu solo veremos la conocida como sumador de
acarreo enlazado. En el sumador de acarreo enlazado, el acarreo del sumador
completo i se conecta al acarreo de entrada del sumador completo i + 1. De esta
forma, a pesar de que todos los FA trabajan en paralelo, el resultado nal (correcto),
no se obtendr hasta que todas las salidas sean estables, es decir, hasta que un
acarreo generado en el primer bit (el bit 1) se propague hasta el bit ms signicativo
(el bit n). Resulta evidente que la velocidad del sumador de acarreo enlazado es
baja, pues cada etapa o FA ha de esperar al cmputo de los acarreos por parte de
todos los sumadores situados a su derecha (bits menos signicativos), es decir, el
XXII
El resultado nal necesita un total de cinco bits para codicar el resultado, es decir,
CoutS3S2S1S0. Existe la posibilidad de conectar ms sumadores de palabras en
cascada para ampliar el tamao de las palabras a sumar. Para ello se debe conectar
el acarreo de salida Cout de cada circuito al acarreo de entrada Cin del circuito
situado a su izquierda.
Suma y Resta con nmeros con signo: La sustraccin, que vamos a denotar por
MINUS, se puede implementar de muchas formas. Se pueden denir las tablas de
verdad para cada uno de los bits de salida y minimizar las funciones con los
XXII
diagramas de Karnaugh. Tambin se puede seguir los mismos pasos que en la suma
I.- SISTEMAS COMBINACIONALES Y METODO DE DISEO
SignoMagnitud
es
necesario
implementar
un
restador
binario,
esta
XXII
XXII
son o bien ambos positivos o bien ambos negativos, pues obviamente cuando un
sumando es positivo y el otro negativo, el resultado siempre ser menor que uno de
los operandos y podr representarse con el formato de partida. En el caso de la
representacin SignoMagnitud el desbordamiento.
Circuito sumador/restador: Usando las propiedades de la funcin EXOR (cuadro 2.1)
podemos construir un cir-cuito para sumar o restar nmeros en C1 o C2.
Introducimos una seal denominada S/R, tal que si esta seal es 0 (S) se realizar
una suma A PLUS B y si es 1 (R) se realizar una resta A MINUS B. Para ello, si S/R
= 0 los bits de B se propagan tal cul (B= 0 Bi = Bi), pero si S/R = 1 entonces se
propagan Bi = 1 Bi = Bi. En C1 debemos conectar Cout con Cin para completar la
operacin. Sin embargo, en C2 para negar un nmero adems de negar todos sus
bits (C1), necesitamos sumarle 1. Para ello aplicamos tambin la seal S/R al Cin
del sumador, de tal forma que si se realiza una suma Cin = 0 (no afecta), mientras
que en la resta Cin = 1. En este caso Cout no formar parte del resultado y no se usa
para nada. Como ejemplo, el sumador/restador en Complemento a 2 para nmeros
de 4 bits.
XXII
I.II.II.- COMPARADORES.
COMPARADOR BINARIO:
La comparacin entre nmeros es la operacin que determina si uno de ellos es
mayor, menor o igual que el otro. Un comparador de magnitud es un circuito
combinacional que compara dos nmeros positivos A y B y proporciona tres salidas
(A < B), (A = B) y (A > B). Como son mutuamente excluyentes, conociendo dos de
estas funciones es posible determinar la tercera, con lo que realmente solo
necesitamos implementar dos. Por ejemplo, para obtener la funcin (A < B) a partir
de las otras dos:
XXII
mnimas.
Fig.- XIV.
XXII
Fig.- XVI.- En el inciso (a): Comparador binario 4 bits; (b): diagrama de pines de
comparador 7485.
A y B sern iguales si se verica que los cuatro bits son iguales, o lo que es lo
mismo, si (A3 = B3) y (A2 = B2) y (A1 = B1) y (A0 = B0). En el lgebra de Boole esto
XXII
es equivalente a la funcin:
A ser mayor que B en si: A3 > B3 o (A3 = B3 y A2 > B2) o (A3 = B3 y A2 = B2 y A1 >
B1) o (A3 = B3 y A2 = B2 y A1 = B1 y A0 > B0). Entonces:
(A>B) = (A3>B3) + (A3=B3)(A2>B2) + (A3=B3)(A2=B2)(A1>B1) +(A3=B3)(A2=B2)
(A1=B1)(A0>B0) = A3B3 + x3A2B2 + x3x2A1B1 + x3x2x1A0B0.
Del mismo modo, A ser menor que B si: A3 < B3 o (A3 = B3 y A2 < B2) o (A3 = B3 y
A2 = B2 y A1 < B1) o (A3 = B3 y A2 = B2 y A1 = B1 y A0 < B0). Entonces:
(A<B) = (A3<B3) + (A3=B3)(A2<B2) + (A3=B3)(A2=B2)(A1<B1) +(A3=B3)(A2=B2)
(A1=B1)(A0<B0) = A3B3 + x3A2B2 + x3x2A1B1 + x3x2x1A0B0
XXII
Fig.- XVIII.
ambos
nmeros son
positivos.
En
ese
caso
estamos
XXII
comparador nos dir cul de los dos es mayor (menor) o si son iguales (recordemos
que los nmeros positivos se codican igual que
en binario puro). El nico caso que nos falta es cuando los dos nmeros son
negativos. Al igual que antes, no tiene sentido intercambiar los signos puesto que
ambos son 1. El comparador har la comparacin suponiendo que los nmeros estn
codicados en binario puro. El resultado ser correcto porque tanto en Complemento
a 1 como en Complemento a 2, el orden (de mayor a menor) de los nmeros
negativos se mantiene si se considera que los nmeros estn codicados en binario
puro. Por ejemplo, -5 es mayor que -7 pero menor que -3. En Complemento a 1 con
4 bits, -5 es 1010, -7 es 1000 y -3 es 1100. Como podemos comprobar, en binario
puro 1010 es mayor que 1000 pero menor que 1100, y eso es precisamente lo que
nos dir el comparador binario. Por otra parte, en Complemento a 2 -5 es 1011, -7 es
1001 y -3 es 1101. Tambin se puede ver que en binario puro, 1011 es mayor que
1001 y menor que 1101. El circuito de la Fig.- XVIII comparara cualquier pareja de
nmeros en Complemento a 2, pero para Complemento a 1 haran falta puertas
lgicas adicionales para tener en cuenta la doble representacin del cero en este
formato. En el caso de nmeros en SignoMagnitud no se puede implementar un
comparador utilizando nicamente un comparador binario, sino que se necesitan
puertas lgicas u otros elementos adicionales debidos a que tambin hay doble
representacin del cero y a que la representacin de los nmeros negativos no
XXII
XXII
XXII
MULTIPLEXOR (MUX):
Es un circuito selector de datos, es decir, la operacin de este dispositivo es
seleccionar una de entre varias entradas y llevar su valor a la salida. Para realizar
esta seleccin son precisas lneas de control que nos indiquen cul de las entradas
es la seleccionada. Si disponemos de 2n entradas necesitaremos n lneas de control
para hacer referencia a cada una de ellas. Por tanto, podemos denir el MUX 2n a 1
XXII
como aquel dispositivo con 2n entradas, una salida y n variables de control, de forma
que el cdigo binario contenido en las lneas de control indica cul de las entradas es
la que se conecta a la salida. Para un MUX con n = 3, donde tenemos 3 lneas de
control (a, b, c) y 8 entradas (desde i0 hasta i7).
XXII
Tabla.- XXII.
CONTRUCCIN DE UN MUX:
En la Tabla.- XXIII.- presentamos las tablas de verdad del MUX 4 a 1 y del MUX 8 a:
1.- Se puede observar que solamente se trasmite a la salida el valor (0 o 1) de la
entrada i seleccionada, no inuyendo en la misma las dems entradas, donde hemos
puesto x. Por ejemplo, para el MUX 4 a 1 si ab = 00 a la salida el valor de y ser el
que haya en i0, independientemente de los valores de i1, i2 e i3, es decir, para ab =
00 e i0 = 0 la salida ser siempre 0 para cualquier combinacin de valores de las
otras tres entradas i1i2i3 desde 000 hasta 111.
Las expresiones lgicas de las salidas son las siguientes:
MUX 4 a 1: y = a bi0 + abi1 + abi2 + abi3
XXII
XXII
Arboles Multiplexores:
El mayor MUX comercial disponible en forma de chip es de tamao 16 a 1, pero
podemos construir MUXes de cualquier tamao interconectando varios MUX en una
es-tructura de rbol. Por ejemplo, podemos realizar un MUX 32 a 1 a partir de cuatro
MUX 8 a 1 y un MUX 4 a 1. Cada MUX del primer nivel selecciona una de sus 8
entradas dependiendo de los bits de control comunes c, d y e. El MUX del segundo
nivel selecciona una de las salidas de los MUXes del primer nivel en funcin de los
bits de control a y b. El resultado nal es que la salida toma el valor de una de las 32
entradas en funcin de las cinco lneas de control a, b, c, d y e. Notar que al MUX del
segundo nivel (MUX 4 a 1) van las lneas de control ms signicativas. El tamao del
MUX global se obtiene multiplicando los tamaos de los MUXes de los dos niveles.
XXII
XXII
DEMULTIPLEXOR (DEMUX):
Un demultiplexor es un circuito distribuidor de datos, es decir, la operacin de este
dispositivo consiste en tomar la nica entrada, seleccionar una de entre varias
salidas y conectarla a la entrada. Para realizar esta seleccin son precisas lneas de
control que nos indiquen cul de las salidas es la seleccionada. Si disponemos de 2n
salidas son precisas n lneas de control para hacer referencia a cada una de ellas
(DEMUX 1 a 2n). Bsicamente realiza la funcin inversa del multiplexor. Por tanto
podemos denir el DEMUX 1 a 2n como aquel dispositivo con 1 entrada, 2n salidas,
y n variables de control, de forma que el cdigo binario contenido en las lneas de
control indica cul de las salidas es la que se conecta a la entrada. El resto de las
salidas toman un valor inactivo (0 si son activas a tensin alta o 1 si son activas a
tensin baja).
XXII
CONSTRUCCION DE UN DEMUX:
En la Tabla.- XXVIII.- Presentamos las tablas de verdad del DEMUX 1 a 4 y del
DEMUX 1 a 8 (activacin a nivel alto). Las expresiones lgicas de las salidas son:
DEMUX 1 a 4: o0 = a bi, o1 = abi, o2 = abi, o3 = abi.
DEMUX 1 a 8: o0 = a b ci, o1 = a bci, o2 = abci, o3 = abci, o4 = ab ci, o5 = abci,
Al igual que en el caso del MUX, normalmente se suele incluir una seal de enable o
strobe (s) para la inhibicin del dispositivo, con el siguiente funcionamiento:
s = 0: El circuito est inhibido y todas las salidas son siempre cero (oi = 0, para todo
i).
XXII
XXII
El tamao del DEMUX global se obtiene multiplicando los tamaos de los DEMUX de
los dos niveles. En este caso, el DEMUX 1 a 4 y los DEMUXes 1 a 8 dan lugar a un
DEMUX 1 a 4 8 (DEMUX 1 a 32). Se pueden construir rboles demultiplexores de
XXII
ARBOLES DEMULTIPLEXORES:
El mayor DEMUX comercial disponible en forma de chip es de tamao 1 a 16, pero
podemos construir DEMUXes de cualquier tamao interconectando varios DEMUX
en una estructura de rbol. Por ejemplo, podemos implementar un DEMUX 1 a 32 a
partir de un DEMUX 1 a 4 y cuatro DEMUXes 1 a 8. El DEMUX del primer nivel lleva
la entrada a una de sus cuatro salidas dependiendo de los bits de control a y b. Los
DEMUXes del segundo nivel llevan cada una de las salidas del DEMUX del primer
nivel a la salida seleccionada en funcin de los bits de control comunes c, d y e. El
resultado nal es que la entrada se lleva a una de las 32 salidas en funcin de las
cinco lneas de control a, b, c, d y e. Notar que al DEMUX del primer nivel (DEMUX 1
a 4) van las lneas de control ms signicativas.
XXII
DECODIFICADORES BINARIOS:
La funcin de un decodicador binario es recibir el cdigo binario de la entrada y
activar (poner a 1 si la activacin es a nivel alto o a cero si es a nivel bajo) la lnea de
salida que corresponde a ese cdigo binario, dejando el resto de las salidas inactivas
(proceso que se denomina decodicacin). Un decodicador n a 2n presentar n
XXII
entradas y 2n salidas.
o6 = abc y o7 = abc.
Estas expresiones son exactamente iguales a las de los DEMUX, pero con la
diferencia de que no incluyen la entrada i. Por tanto los decodicadores binarios no
se suelen cons-truir como tales; lo que se hace es partir de un DEMUX y hacer la
XXII
con seal de strobe, don-de la entrada i estara haciendo esta funcin. Teniendo en
cuenta esto, tambin podemos concluir que decodicadores mayores de 4 a 16
pueden ser construidos a partir de rboles demultiplexores poniendo la primera
entrada a uno (i = 1).
CODIFICADORES BINARIOS:
Un codicador binario es el dispositivo inverso a un decodicador. La funcin de este
dispositivo es generar el cdigo binario de la nica lnea de entrada que est activa
en cada instante de un conjunto de varias entradas (proceso denominado
codicacin). Un codicador 2n a n presentar 2n entradas y n salidas. En principio
solo se podr poner a 1 una de las 2n entradas. Por ejemplo, en la Tabla.- XXXIV.mostramos las tablas de un codicador binario 4 a 2 y de un codicador binario 8 a 3.
XXII
Fig.- XXXV.
Incluido las combinaciones de entrada permitidas. Las expresiones lgicas de las
salidas son las siguientes:
Codicador 4 a 2: a = i2 + i3, b = i1 + i3.
Codicador 8 a 3: a = i4 + i5 + i6 + i7, b = i2 + i3 + i6 + i7, c = i1 + i3 + i5 + i7.
Como puede observarse las expresiones de las salidas son la suma lgica de los
trminos de las lneas de entrada a 1 que ponen dicha salida a 1. Estas expresiones
sencillas se deben al gran nmero de indiferencias que presentan las salidas. En la
Fig.- XXXVI.- Se muestra el diagrama lgico del codicador binario 4 a 2, segn las
ecuaciones anteriores.
XXII
lneas de entrada es el que se tomar como salida. Tal como hemos diseado el
XXII
Como comentario nal, indicar que los codicadores comerciales binarios pueden
llegar a ser de 16 a 4. Para disear codicadores mayores no es posible construir
rboles de decodicadores siguiendo el mismo mtodo empleado para MUX y
DEMUX y habra que estudiar cada caso en particular.
XXII
XXII
El visualizador incluye una entrada de control para cada segmento de forma que si,
por ejemplo, la entrada correspondiente al segmento a est activa ste se iluminar,
mientras que si est inactiva el segmento permanecer apagado. Igual para los seis
segmentos restantes. La activacin de un segmento puede ser con un valor alto
(HIGH) cuando el visualizador es de ctodo comn, o con un valor bajo (LOW)
cuando el visualizador es de nodo comn. El cdigo BCD (cdigo binario decimal)
consta de 4 bits en los cuales las combinaciones posibles son las que generan los
nmeros binarios 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, que son precisamente los dgitos que se
emplean en el sistema decimal. La conversin BCD a 7 segmentos viene dada por la
Tabla.- XLI.
XXII
XXII
XXII
La respuesta en la salida solo depende de los valores que tenemos en la entrada del
circuito una vez que este se ha estabilizado cuando no hay lazos de realimentacin
ni elementos de memoria.
El Anlisis puede ser:
-
Anlisis
Lgico:
Tabla
expresin
algebraica
que
descubre
el
Anlisis fsico o dinmico: estudio de cada uno de los elementos del circuito
y su respuesta real en el tiempo.
- FAN-IN. Nmero mximo de puertas del mismo tipo que la dada que pueden
conectarse a esta, de manera que el circuito funcione correctamente.
- FAN-OUT. Nmero mximo de puertas del mismo tipo que la dada que pueden
XXII
XXII
determinadas entradas.
- Retraso neto = media de los retrasos para cada una de las entradas.
Las puertas lgicas introducen retardo en la propagacin de las seales digitales que
representan a las variables lgicas que procesan. Este retardo no es constante, sino
que puede variar dentro de un intervalo acotado entre dos valores mximo y mnimo,
especificados por el fabricante, y que es consecuencia de la dispersin de los
parmetros de fabricacin. Por ello el tiempo de propagacin de una seal en un
circuito combinacional es difcil de predecir con exactitud. Por otro lado, una salida de
un sistema combinacional puede depender de una misma variable de entrada de
diversas formas que dan lugar a una multiplicidad de caminos de entrada/salida,
cada uno de los cuales puede llevar asociado diferentes tiempos de propagacin.
Como consecuencia de esta diferencia, las transiciones de las salidas de un sistema,
como consecuencia de cambios en las entradas, pueden no ser limpias y presentar
ciertas fluctuaciones, de carcter aleatorio, hasta que alcanzan su valor final estable
esperado. Estos fenmenos aleatorios reciben el nombre de riesgos (hazards).
Dependiendo del uso que se haga del sistema estos fenmenos pueden ser ms o
menos peligrosos.
Definicin: Un riesgo es una breve excursin o fluctuacin de la seal de salida de
un circuito digital, que produce una transicin momentnea a un nivel lgico no
XXII
esperado.
XXII
XXII
XXII
Diseo
programable.-
Los
bloques
disponibles
sern
dispositivos
Cada uno de estos tipos ser objeto de estudio en diferentes temas. Concretamente,
en el presente tema estudiaremos el diseo semi-custom. En el diseo semi-custom,
podemos distinguir entre implementaciones en dos niveles o multiniveles, donde los
niveles son el nmero mximo de puertas que estn conectados en cas-cada (en los
niveles no se suelen contar los inversores de entrada). La implementacin en dos
niveles es del tipo de suma de productos o de producto de sumas; en cambio, la
implementacin multinivel corresponde a una frmula compleja en las que las
operaciones AND y OR aparecen mezcladas. La implementacin en dos niveles tiene
la ventaja de ser rpida, solamente el retraso de dos puertas; en cambio, como
contraposicin, las puertas debern tener un mayor nmero de entradas, siendo ms
complejas y lentas. Mientras, la implementacin multinivel tiene la ven-taja de usar
puertas ms pequeas y rpidas (por lo general), pero el circuito global ser ms
lento al tener un retraso de ms de dos puertas. En la Fig.- XLVI.- mostramos dos
implementaciones de la misma funcin: en dos niveles y en multinivel.
XXII
Fig.- XLVI.- Diferencia entre una implementacin (a) en dos niveles y (b) multinivel.
al nmero de entradas).
Menor valor asociado.
unirlas posteriormente.
Obtener una implementacin en dos niveles y una vez que tengamos la
frmula, operar mediante el lgebra de Boole para unir los trminos posibles.
XXII
Mtodo
del
Mapa.-
suele
ser
usado
para
implementar
funciones
XXII
Debido a la caracterstica de que todas las celdas adyacentes tienen una distancia
igual a la unidad (slo cambia una variable), se pueden demostrar las siguientes
igualdades:
Un grupo de 1s adyacentes en un nmero igual a una potencia de dos, es realizado
por el trmino producto de las variables que no cambian de valor, tomndolas como
sin complementar si valen 1 y complementadas si valen 0. Supongamos que
tenemos un grupo de dos 1s adyacentes en los que la variable que cambia sea xn.
Los posibles mintrminos de dichos 1s podran ser x1...xn...xm y x1...xn...xm.
Una posible frmula de la funcin que tendra dichos 1s sera la suma de los
mintrminos, por lo tanto:
F = x1...xn...xm + x1...xn...xm= x1...xn-1(xn+xn)xn+1...xm = x1...xn1xn+1...xm.
Es decir, sera el producto de todas las variables (complementadas o sin
complementar) excepto la variable que ha realizado el cambio. Supongamos ahora
que el grupo es de cuatro 1s adyacentes en los que las variables que cambian son
xn
xp.
Los
posibles
mintrminos
podran
ser
x1...xn...xp...xm,
x1...xn...xp...xm
x1...xn...xp...xm
x1...xn...xp...xm
XXII
= x1...xn...xp-1xp+1...xm + x1...xn...xp...xm
Por lo tanto, los grupos deben tener un nmero de 1s igual a una potencia de dos,
es decir, 1, 2, 4, 8, 16, 32, 64,...
Por una aplicacin directa del principio de dualidad, obtenemos unas deniciones
equivalentes para el caso de los 0s y de los trminos sumas. Un grupo de 0s
adyacentes en un nmero igual a una potencia de dos, es realizado por el trmino
suma de las variables que no cambian de valor, tomndolas sin complementar si
valen 0 y complementadas si valen 1.
Supongamos que tenemos un grupo de dos 0s adyacentes en los que la variable
que cambia sea xn. Los posibles maxitrminos de dichos 0s podran ser x1+...+xn+...
+xm y x1+...+xn+...+xm. Una posible frmula de la funcin que tendra dichos 0s
sera el producto de los maxitrminos, luego:
F = (x1+...+xn+...+xm)(x1+...+xn+...+xm) = x1+...+xn-1+xn+1+...+xm + xnxn =
= x1+...+xn-1+xn+1+...+xm.
Es decir, sera la suma de todas las variables (complementadas o sin complementar)
excepto la variable que ha realizado el cambio.
Para el resto de la demostracin se opera siguiendo los mismo pasos que en el caso
de los grupos de 1s. Veamos un ejemplo al respecto. En la Fig.- XLVIII.- se muestra
el mapa de Karnaugh de una funcin cuya frmula de mintrminos es F(A,B,C,D) =
m( 1, 5, 7, 10, 11, 14, 15). Podemos apreciar que en dicha funcin podemos formar
XXII
Dichos grupos se correspondern con los siguientes trminos producto (puesto que
hemos agrupados los 1s):
I1 = m(10) + m(11) + m(14) + m(15) = ABCD + ABCD + ABCD + ABCD =
ABC(D+D) + ABC(D+D) = ABC + ABC = A(B+B)C = AC
I2 = m(7) + m(15) = ABCD + ABCD = (A+A)BCD = BCD
I3 = m(5) + m(7) = ABCD + ABCD = AB(C+C)D = ABD
I4 = m(1) + m(5) = ABCD + ABCD = A(B+B)CD = ACD
Por lo tanto, tenemos trminos con dos entradas (el grupo I1) y con tres entradas (los
grupos restantes). Como podemos comprobar, los trminos con un nmero menor de
entradas sern aquellos que ms 1s engloben, ya que habr ms seales de
entrada que cambien (con lo que no inuirn en dicho trmino). Un posible grupo
formado por los mintrminos m(10) y m(11) no ser considerado ya que se encuentra
completamente dentro del grupo I1.
En relacin con estos grupos de 1s (0s), tenemos las siguientes deniciones:
Un implicante prima o implicante es un grupo de 1s (0s) con un nmero igual a una
potencia de dos que no est contenido totalmente en otro grupo de las mismas
caractersticas.
Si observamos en el ejemplo anterior, podemos ver que todos los implicantes son
primas. Cuando algn 1 (0) es cubierto por un solo implicante, se dice que dicho
implicante es esencial. Si observamos en el ejemplo anterior, podemos identicar que
los implicantes I1 e I4 son esenciales, mientras que los I2 e I3 no son esenciales.
XXII
Una vez que se han denido los implicantes, podemos demostrar que:
Teorema 4.1.- La frmula mnima de la funcin ser aquella compuesta por la unin
de los implicantes esenciales y puede que de algunos no esenciales, de tal forma
que cubramos toda la tabla.
Demostracin.- En la frmula debern estar incluidos todos los 1s (0s) de la funcin.
Luego, los implicantes que estarn presentes en la frmula deben cubrir todos los 1s
(0s). Por denicin de implicante esencial, es el nico implicante que cubre a algn 1
(0); por lo tanto, para que dicho 1 (0) est involucrado en la frmula, dicho implicante
debe aparecer en ella. No obstante, puede que exista algn 1 (0) cubierto por
implicantes no esenciales; luego puede que alguno de estos implicantes no
esenciales deban aparecer en la frmula para cubrir algn 1 englobado slo por
implicantes no esenciales. Esta unin ser a travs de sumas, cuando estamos
considerando los 1s y los implicantes se correspondern con trminos productos; o
travs de productos, cuando estemos considerando los 0s y los implicantes se
correspondern con trminos sumas. Si consideramos la funcin del ejemplo
anterior, y consideramos la frmula como suma de productos (consideraremos los
1s), todas las frmulas de dicha funcin sern:
f = I1 + I3 + I4 = ac + a'bd + a'c'd,
f = I1 + I2 + I4 = ac + bcd + a'c'd,
f = I1 + I2 + I3 + I4 = ac + bcd + a'bd + a'c'd
Las dos primeras soluciones tienen el mismo coste, siendo el mnimo, mientras que
en la ltima puede eliminarse un implicante, I2 o I3, lo cual nos llevar a una
implementacin no mnima. Luego, segn lo visto, podemos encontrarnos con
frmulas en las que podemos eliminar algn trmino y con otras en las que no se
puede eliminar ningn trmino. Segn las frmulas podemos encontrar las siguientes
deniciones:
Una frmula se denomina irredundante cuando no se puede eliminar ningn
implicante sin que cambia la funcin lgica. En caso contrario se denominar
redundante. Las dos primeras frmulas sern irredundantes ya que si eliminamos
XXII
XXII
mtodo del mapa. Para resolver este problema, existen dos soluciones.
XXII
F = x5x4x3x2 + x5x3x1
Fig.- L.- Mapas de Karnaugh de la funcin F(x5, x4, x3, x2, x1)= m(0, 2, 8, 10, 30,
31).
XXII
agrupamiento ms. Por lo tanto, los implicantes obtenidos para esta funcin han sido
Fig.- LI.- Obtencin de los implicantes de una funcin de cinco variables mediante el
mtodo tabular.
Hasta ahora slo hemos considerado funciones completas. Para el caso de las
funciones incompletas, las inespecicaciones se tratan para aumentar el tamao de
los implicantes. Si las especicaciones no pueden aumentarlos, no se tienen en
cuenta. Veamos el ejemplo de la Fig.- LII.- Las inespecicaciones en los
minitrminos 3 y 6 nos han servido para pasar de tres implicantes de tres variables a
dos implicantes de dos variables. En cambio, la inespecicacin 12 no nos sirve para
aumentar ningn implicante, por lo que no se considera. En la nueva funcin, se
puede observar que los implicantes I1 y I3 son esenciales, mientras que el I2 no. En
este caso, la funcin mnima slo es la suma de los dos implicantes esenciales, es
XXII
decir, f = ac + a'd.
Fig.- LII.- Ejemplo de diseo de una funcin incompleta utilizando el mtodo del
mapa.
XXII
XXII
para F1 y el n para F2) e implicantes para dos salidas (el implicante 3).
La reduccin de esta tabla nos llevar al nmero mnimo de implicantes que sern
necesarios para cubrir todos los mintrminos de las salidas, y por tanto a la frmula
mnima. La minimizacin se reduce a la aplicacin sucesiva de los criterios de
esencialidad y de dominancia, y eventualmente de equivalencia, hasta que estn
cubiertos todos los 1s de todas las salidas. El criterio de esencialidad nos indica
cules de los implicantes son esenciales, y por lo tanto, deben aparecer en la frmula
mnima. Un la esencial es aquella cuyo implicante es esencial para alguna de las
salidas. Este implicante debe aparecer en la frmula de la salida correspondiente.
Una vez cogido dicho implicante, se tacha la la donde estaba y todas las columnas
marcadas en dicha la ya que dichos 1's han sido obtenidos. Este proceso se repite
para todas las las esenciales. En la tabla, la esencialidad se observa cuando existe
alguna columna (algn 1) que nicamente tiene una cruz (es cubierto por un solo
implicante); luego el implicante de dicha cruz es esencial. Una vez que ya no existan
ms las esenciales, pasamos a aplicar los criterios de dominancia. Este criterio nos
indica los implicantes que son redundantes, y por lo tanto, no debern aparecer en la
frmula mnima. Una la o implicante A se dice que domina a otro B,
representndose A B, si todas las marcas de B estn contenidas en A, que a su
XXII
XXII
que son esenciales) y las columnas cubiertas por dichos implicantes. Por lo tanto,
obtenemos una nueva tabla en la que aparecern los implicantes I1, I2 e I5, y las
columnas 7 de ambas salidas.
Seguidamente se aplica los criterios de dominancia (Fig.- LVI.- c). Dichos criterios
hay que aplicarlos sobre la la completa, y no sobre cada salida por separado. De
esta forma garantizamos que se premia a los implicantes comunes a ms de una
salida, ya que tendrn ms cruces. En este caso, podemos observar que el
implicante I1 domina a los otros dos. Por lo tanto, estos ltimos sern eliminados.
Despus de eliminar los implicantes dominados, volvemos a aplicar los criterios de
esencialidad sobre la nueva tabla (Fig.- LVI.- d). En este caso observamos que el
implicante I1 es esencial para ambas salidas, luego deber aparecer en ambas
frmulas. Una vez hecho esto, se elimina la la de los implicantes esenciales (o las
porciones de ellas), as como las columnas donde tengan cruces. Este procedimiento
nalizar cuando no exista ninguna columna en la tabla. Con ello garantizamos que
XXII
Se puede dar el caso de que una vez que hayamos utilizado los criterios de
implicantes esenciales y dominantes, no se puedan seguir aplicando ya que no existe
ningn implicante dominante sobre otro. Entonces llegamos a lo que se conoce como
tabla de implicantes cclica. A partir de este momento no existe ningn mtodo que
nos d una solucin mnima. Lo nico que se puede hacer es elegir una implicante
de forma arbitraria como esencial y seguir con el procedimiento anterior. Esto se
repite para todos los implicantes que queden y la frmula mnima se escoge como la
de menor coste de todas las obtenidas. En el caso de que tengamos funciones
incompletas, las inespecicaciones solamente se utilizaran a la hora de obtener las
implicantes primas, de tal forma que las implicantes tengan el menor coste posible.
Una vez obtenidas dichas implicantes, solamente se trata la funcin completa
XXII
asociada.
Al igual que en el mtodo del mapa, si en vez de querer obtener una frmula como
suma de productos, queremos obtenerla como producto de sumas se opera de igual
forma pero obteniendo los implicantes a partir de los ceros y en lugar del producto de
las funciones se coge la suma, como podemos ver en la Fig.- LVII.
XXII
dominancia hasta acabar con todas las columnas o llegar a una tabla cclica.
Los mtodos que hemos visto hasta ahora nos proporcionan una implementacin
mnima sin tener en cuenta el comportamiento transitorio, es decir, slo se centra en
el comportamiento esttico. Para poder obtener un diseo libre de azares, solamente
tenemos que hacer algunas modicaciones sobre los mtodos anteriores. Para ello
haremos uso de la premisa de que un par de 1s (0s) adyacentes no englobados por
el mismo implicante, constituir un riesgo de azar. Luego para evitar todos los riesgos
de azares, debemos garantizar que no existan ninguna pareja de 1s (0s) adyacentes
con la propiedad anterior. Con esta condicin conseguimos eliminar todos los azares
XXII
estticos, y por lo tanto todos los azares dinmicos (ya que estn basados en ellos).
XXII
XXII
Hasta ahora, hemos desarrollado los mtodos para obtener una frmula de
conmutacin mnima que realiza una determinada funcin de conmutacin. El
siguiente paso, y ltimo, consiste en pasar de la frmula al circuito digital. Este paso
es simple y directo. Se procede de tal forma que se sustituye el operador que
aparece en la frmula por su puerta equivalente. Luego el operador producto es
sustituido por una puerta AND, mientras que el operador suma es sustituido por una
XXII
XXII
puertas NAND y el de las puertas NOR. Por lo tanto, a continuacin nos planteamos
I.- SISTEMAS COMBINACIONALES Y METODO DE DISEO
XXII
viceversa).
XXII