Escolar Documentos
Profissional Documentos
Cultura Documentos
HPH, 2009 Este documento es propiedad del Ing. Hctor Pacheco Hernndez y no debe ser copiado y/o reproducido sin autorizacin expresa del autor. Fecha de creacin 13/08/2009 20:50:00. ltima modificacin: 20090813. Elabor Revis Aprob Pgina Archivo: HPH HPH HPH A-1 de A-14 DSD_HPH_NOTA_01.doc
En otras palabras: Estructura = [Componentes, Ligas] Es importante hacer notar que la estructura del sistema G definido anteriormente est definido por un conjunto de dos miembros ordenados en donde sabemos que C denota componentes y L significan ligas, y no a la inversa, por lo que se puede decir que el orden en que los conjuntos de un sistema son listados es significativa. De manera similar veremos que es el comportamiento de un sistema digital. Todos los sistemas tienen un conjunto de seales de entrada I y una o varias seales de salida O que pueden ser transmitidas a otros dispositivos o componentes. Por lo que la conducta de un sistema est definida por la relacin entre sus entradas y sus salidas. F = [I, O] Formalmente: Comportamiento = [Seales de entrada, Seales de salida] En sistemas complejos, el nmero de entradas y de salidas puede ser muy grande para permitir su explicacin y entendimiento individual, por lo que es comn representar el comportamiento de un sistema por medio de una funcin matemtica, F, en donde las variables independientes son las entradas al sistema X, y las variables dependientes son las seales de salida Z. Por lo que la relacin entradas salidas de un sistema puede ser escrita de la manera siguiente: Z = F (X) Clasificacin de los circuitos electrnicos basada en la densidad de sus componentes (Millman 1979) Nmero aproximado de componentes por chip SSI 1 A 100 MSI 101 A 1000 LSI 1001 10000 VLSI > 10001
HPH, 2009 Este documento es propiedad del Ing. Hctor Pacheco Hernndez y no debe ser copiado y/o reproducido sin autorizacin expresa del autor. Fecha de creacin 13/08/2009 20:50:00. ltima modificacin: 20090813. Elabor Revis Aprob Pgina Archivo: HPH HPH HPH A-2 de A-14 DSD_HPH_NOTA_01.doc
Para conseguir estos objetivos se siguen las siguientes reglas de diseo: Planeacin: Obtener especificaciones de la operacin del sistema a disear. Determinar la tecnologa y la familia de circuitos a utilizar. Diseo preliminar: Especificar el conjunto de arquitecturas del sistema, separando los circuitos combinacionales de los circuitos secuenciales. Diseo lgico: Implementar los circuitos lgicos, identificando en cada paso del proceso los componentes a utilizar. Observando que componentes pueden ser agrupados en los circuitos integrados a utilizar. Diseo Fsico: Construir, depurar y documentar una versin prototipo del sistema.
Una teora formal de diseo es la Teora del cambio (switching theory), ha existido desde los aos de 1930 y es aplicable al diseo lgico moderno. Esta teora est basada con el diseo de circuitos lgicos usando el menor nmero de compuertas y flip flops. Estos son procedimientos complejos y deben ser realizados mediante el uso de procesadores, en forma prctica se utilizan cuando se tienen un nmero pequeo de variables de entrada, y/o un nmero pequeo de estados. El uso de un nmero excesivo de compuertas y flip-flops para implementar un circuito es indeseable, desde los puntos de vista de costo, velocidad de operacin, potencia de consumo y mantenimiento.
No siempre el utilizar el mnimo nmero de circuitos integrados nos garantiza que se utilicen el menor nmero de compuertas, esto es un hecho muy comn en la prctica,
HPH, 2009 Este documento es propiedad del Ing. Hctor Pacheco Hernndez y no debe ser copiado y/o reproducido sin autorizacin expresa del autor. Fecha de creacin 13/08/2009 20:50:00. ltima modificacin: 20090813. Elabor Revis Aprob Pgina Archivo: HPH HPH HPH A-3 de A-14 DSD_HPH_NOTA_01.doc
en donde un solo circuito puede contener mas de una compuerta y de este nmero solo se utilizan dos o tres en forma prctica. Un sistema digital complejo puede ser fraccionado en C2 nmero de circuitos combinacionales y en un S nmero de circuitos secuenciales. Cada uno de estos circuitos debe desempear una solo funcin (o varias segn sea el caso), en el sistema. Los circuitos secuenciales son tpicamente mapas de memoria (Conjunto de latches o de flip flops), o circuitos con un procesamiento de datos limitado como los registros de corrimiento y los contadores. En los sistemas sncronos todos los elementos de memoria son conectados a una seal de reloj comn, esto permite que todos pueden cambiar de estado en forma simultanea. Circuitos Combinacionales: Un circuito lgico donde el valor de las seales de salida en cualquier tiempo son completamente determinadas por la combinacin del valor aplicado a las lneas de entrada es llamado CIRCUITO COMBINACIONAL. Donde se tienen 2n-1 combinaciones dadas por n entradas y las funciones de salida son vistas como funciones lgicas de las variables de entrada. Circuito secuencial: Un circuito lgico donde el valor de las seales de salida en cualquier tiempo estn determinadas por (o como secuencia de) la combinacin de las seales de entrada anteriores, y estn determinadas por la combinacin de las entradas en cualquier tiempo t, son llamados CIRCUITOS SECUENCIALES. Las influencias de las seales de entrada previas son almacenadas en circuitos de memoria como los registros y/o flip flops. Los circuitos secuenciales tienen dos aplicaciones principales: Como memorias para almacenar la informacin mientras est siendo procesada. Como circuitos de control para generar las seales de control necesarias para habilitar secuencias de habilitacin, de transferencia de datos, etc., en la ejecucin de complejas tareas.
HPH, 2009 Este documento es propiedad del Ing. Hctor Pacheco Hernndez y no debe ser copiado y/o reproducido sin autorizacin expresa del autor. Fecha de creacin 13/08/2009 20:50:00. ltima modificacin: 20090813. Elabor Revis Aprob Pgina Archivo: HPH HPH HPH A-4 de A-14 DSD_HPH_NOTA_01.doc
DISEO SECUENCIAL
Cualquier maquina secuencial con entradas primarias X y salidas primarias Z, pueden ser reducidas en principio como un circuito combinacional "C y un componente de memoria M (adicional a una seal de reloj, donde la memoria almacena el estado actual Y de la mquina mientras el mdulo combinacional C procesa la salida Z y el siguiente estado Y . El estado inicial del circuito secuencial es definido por el comportamiento deseado del sistema. Para esto es necesaria una tabla de estados, que es el equivalente en circuitos secuenciales, a la tabla de verdad de un circuito combinacional. Los estados son representados como un conjunto binario de estados Y0, Y1... Yn donde cada Yi es la salida Q de un Flip Flop. Si se tienen q estados, entonces se necesitan p Flip-flops, donde: P = {log 2 q} El representar los estados por medio de un mapeo de variables de estado binarias es llamado Asignacin de estados. Para el diseo secuencial se siguen los pasos siguientes: Especificar la tabla de estados: Obtener las especificaciones de la funcin deseada del sistema y convertirla a una tabla de estados. Asignacin de estados: Seleccionar el tipo de flip-flops a utilizar para implementar la memoria del circuito, y asignar un patrn de variables de estado (salidas de los flipflops) a cada estado. Diseo combinacional: Construir una tabla de verdad para los sub - circuitos combinacionales necesarios
HPH, 2009 Este documento es propiedad del Ing. Hctor Pacheco Hernndez y no debe ser copiado y/o reproducido sin autorizacin expresa del autor. Fecha de creacin 13/08/2009 20:50:00. ltima modificacin: 20090813. Elabor Revis Aprob Pgina Archivo: HPH HPH HPH A-5 de A-14 DSD_HPH_NOTA_01.doc
LGEBRA DE BOOLE
El lgebra de Boole nos permite manipular relaciones proposicionales y cantidades binarias. Aplicada a las tcnicas digitales, se utiliza para la descripcin y diseo de circuitos ms econmicos. DEFINICIN. Una variable booleana X tiene los valores posibles 0 y 1 Por definicin estos valores son exclusivos, es decir: si X 1, entonces X = 0 si X 0, entonces X = 1
REGLAS PRIMITIVAS Si dos variables son iguales, cada una puede reemplazar a la otra en todos los lugares en donde aparezca REGLA DE INFERENCIA Si X es un axioma o teorema vlido, derivado de axiomas y X implica al teorema Y, entonces Y es un teorema vlido POSTULADOS Y TEOREMAS No es objeto de este curso un anlisis profundo y formal de los postulados y teoremas por lo tanto como postulados consideramos lo siguiente: POSTULADOS Los postulados para las tres operaciones bsicas, adicin, multiplicacin complementacin son suficientes para deducir cualquier relacin booleana.
COMPLEMENTO ADICIN MULTIPLICACIN
~0 = 1 ~1 = 0
HPH, 2009 Este documento es propiedad del Ing. Hctor Pacheco Hernndez y no debe ser copiado y/o reproducido sin autorizacin expresa del autor. Fecha de creacin 13/08/2009 20:50:00. ltima modificacin: 20090813. Elabor Revis Aprob Pgina Archivo: HPH HPH HPH A-6 de A-14 DSD_HPH_NOTA_01.doc
3. COMPLEMENTACIN a) X + ~X = 1 4. INVOLUCIN a) ~(~X) = X 5. CONMUTATIVIDAD a) X + Y = Y + X Conmutatividad del + b) X Y = Y X Conmutatividad del 6. ASOCIATIVIDAD a) X + ( Y + Z ) = ( X + Y ) + Z = X + Y + Z b) X ( Y Z) = ( X Y ) Z = X Y Z 7. DISTRIBUTIVIDAD a) X + Y Z = ( X + Y ) ( X + Z) b) X (Y + Z) = X Y + X Z 8. LEYES DE ABSORCIN a) X ( X + Y ) = X b) X (~X + Y ) = X Y c) ~X ( X + Y ) = ~X Y d) ( X + Y ) ( X + ~Y ) = X e) X + X Y = X f) X + ~X Y = X + Y g) ~X + X Y = ~X + Y h) X Y + X ~Y = X Distributividad del + Distributividad del Asociatividad del + Asociatividad del b) X ~X = 0
HPH, 2009 Este documento es propiedad del Ing. Hctor Pacheco Hernndez y no debe ser copiado y/o reproducido sin autorizacin expresa del autor. Fecha de creacin 13/08/2009 20:50:00. ltima modificacin: 20090813. Elabor Revis Aprob Pgina Archivo: HPH HPH HPH A-7 de A-14 DSD_HPH_NOTA_01.doc
10. TEOREMAS GENERALIZADOS DEMORGAN a) ~(XY + ZU) = (~X + ~Y)(~Z + ~U) b) ~(X + Y)(Z + U) = ~X~Y + ~Z~U
DUALIDAD Los postulados y teoremas presentados anteriormente estn representados en pares. La razn es que cada teorema posee lo que llamamos un dual. El dual de una expresin se obtiene intercambiando las ocurrencias de OR por AND, 0 por 1 y viceversa. Si un teorema es vlido, tambin lo ser su dual. En efecto, siguiendo el dual de la demostracin del teorema se obtiene la demostracin del dual del teorema. Por ejemplo dado el postulado 0 + 0 = 0 se obtiene el dual haciendo 1 1 = 1 En clase se utilizarn los postulados y teoremas del lgebra de Boole para minimizar funciones booleanas. La simplificacin de estas funciones con el uso del lgebra de Boole es un arte. No existe un algoritmo que uno pueda seguir para garantizar que el resultado llegue a dar la forma ms simple de expresin mnima. Como en el juego de ajedrez, con la prctica se va aprendiendo a reconocer patrones que nos guan hacia la solucin. Una pregunta importante que tenemos que hacernos es la de qu es simplificacin?: una expresin con menos literales? Una expresin con menos operaciones? La respuesta depende de lo que deseamos optimizar: velocidad? Nmero de interconexiones entre compuertas? Nmero de componentes? Antes de proceder a detallar la forma de minimizar expresiones estudiaremos las diferentes representaciones de las funciones booleanas.
HPH, 2009 Este documento es propiedad del Ing. Hctor Pacheco Hernndez y no debe ser copiado y/o reproducido sin autorizacin expresa del autor. Fecha de creacin 13/08/2009 20:50:00. ltima modificacin: 20090813. Elabor Revis Aprob Pgina Archivo: HPH HPH HPH A-8 de A-14 DSD_HPH_NOTA_01.doc
HPH, 2009 Este documento es propiedad del Ing. Hctor Pacheco Hernndez y no debe ser copiado y/o reproducido sin autorizacin expresa del autor. Fecha de creacin 13/08/2009 20:50:00. ltima modificacin: 20090813. Elabor Revis Aprob Pgina Archivo: HPH HPH HPH A-9 de A-14 DSD_HPH_NOTA_01.doc
HPH, 2009 Este documento es propiedad del Ing. Hctor Pacheco Hernndez y no debe ser copiado y/o reproducido sin autorizacin expresa del autor. Fecha de creacin 13/08/2009 20:50:00. ltima modificacin: 20090813. Elabor Revis Aprob Pgina Archivo: HPH HPH HPH A-10 de A-14 DSD_HPH_NOTA_01.doc
Se puede expresar como: F(X, Y, Z) = mintrminos 1,4,5,6,7. Forma cannica producto de sumas
Es aquella constituida exclusivamente por trminos cannicos sumas (maxtrminos) multiplicados que aparecen una sola vez. Por ejemplo: F(X, Y, Z) = (X + Y + Z) (X + ~Y + Z) (X + ~Y + ~Z) Anlogamente al caso anterior, podemos simplificar la expresin de la funcin, indicando los maxtrminos. Sin embargo, en este caso se hace al contrario del ejemplo anterior. A cada maxtrmino se le asocia un nmero binario de n bits resultantes de considerar como 1 las variables complementadas y como 0 las variables no complementadas. As por ejemplo, el maxtrmino ~X + Y + Z corresponde a la combinacin X=1, Y=0, Z=0, que representa el nmero binario 100, cuyo valor decimal es 4. A este maxtrmino lo identificaremos entonces como M4. De esta forma, la funcin: F(X, Y, Z) = (X + Y + Z) (X+ ~Y + Z) (X + ~Y + ~Z) Se puede expresar como: F(X, YZ) = M(0,2,3) que quiere decir el producto de los maxtrminos 0,2,3. En resumen, cada mintrmino se asocia con la combinacin de entrada para la que la funcin producira un 1, y cada maxtrmino con la combinacin para la que producira un 0. En la tabla de abajo se muestran los mintrminos y los maxtrminos asociados con cada combinacin en una tabla de verdad de 3 variables. De acuerdo con esta tabla para determinar el trmino producto o suma, se hace lo siguiente: para los mintrminos cada variable no complementada se asocia con un 1 y cada variable complementada se asocia con 0. Para los maxtrminos la regla es la inversa.
HPH, 2009 Este documento es propiedad del Ing. Hctor Pacheco Hernndez y no debe ser copiado y/o reproducido sin autorizacin expresa del autor. Fecha de creacin 13/08/2009 20:50:00. ltima modificacin: 20090813. Elabor Revis Aprob Pgina Archivo: HPH HPH HPH A-11 de A-14 DSD_HPH_NOTA_01.doc
Ejemplo 1. Exprese la siguiente funcin como una suma de mintrminos: F = X + ~YZ Hay dos formas de resolver este problema. Forma 1. Se puede obtener la tabla de verdad de la expresin y entonces tomar los mintrminos. X Y Z F=X+~YZ Mintrminos 0 0 0 0 0 0 1 1 ~X~YZ 0 1 0 0 0 1 1 0 1 0 0 1 X~Y~Z 1 0 1 1 X~YZ 1 1 0 1 XY~Z 1 1 1 1 XYZ Se evala la funcin para todas las combinaciones y se toman los mintrminos de la tabla para los cuales la funcin vale 1. La respuesta es: F= ~X~YZ + X~Y~Z + X~YZ + XY~Z + XYZ Otra notacin que podemos utilizar es: F = m(1, 4,5,6,7) Que quiere decir la sumatoria de los mintrminos 1, 4, 5, 6,7. Forma 2. Aplicando los teoremas de expansin cannica para las variables faltantes. X + ~YZ X (Y + ~Y) (Z + ~Z) + ~YZ (X + ~X) (XY + X~Y) (Z +~Z) + ~YZX + ~YZ~X XYZ + XY~Z + X~YZ + X~Y~Z + ~YZX + ~YZ~X XYZ + XY~Z + X~YZ + X~Y~Z + X~YZ + ~X ~YZ
HPH, 2009 Este documento es propiedad del Ing. Hctor Pacheco Hernndez y no debe ser copiado y/o reproducido sin autorizacin expresa del autor. Fecha de creacin 13/08/2009 20:50:00. ltima modificacin: 20090813. Elabor Revis Aprob Pgina Archivo: HPH HPH HPH A-12 de A-14 DSD_HPH_NOTA_01.doc
111
110
101
100
101
001
(EN BINARIO)
XYZ + XY~Z + X~YZ + X~Y~Z + ~X~YZ 111 110 101 100 001 (EN BINARIO) Ejemplo 2. Exprese la siguiente funcin como un producto de maxtrminos: F = X + ~YZ De nuevo, se puede resolver construyendo una tabla de verdad o con manipulacin algebraica. Forma 1. Se obtiene la tabla de verdad de la funcin. Tomando los maxtrminos desde la tabla de verdad, la respuesta es: X 0 0 0 0 1 1 1 1 Y 0 0 1 1 0 0 1 1 Z 0 1 0 1 0 1 0 1 F=X+~YZ Maxtrminos 0 (X+Y+Z) 1 0 (X+~Y+Z) 0 (X+~Y+~Z) 1 1 1 1
Se evala la funcin para todas las combinaciones y se toman los maxtrmino de la tabla para los cuales la funcin vale 0. La respuesta es: F= (X+Y+Z) (X+~Y+Z) (X+~Y+~Z) Otra notacin que podemos utilizar es: F = M(0,2,3) Que quiere decir el producto de los maxtrminos 0, 2,3. Forma 2. Aplicando los teoremas de expansin cannica para las variables faltantes. X + ~YZ (X + ~Y) (X + Z) (X + ~Y + Z ~Z) (X + Z + Y ~Y) (X + ~Y + Z) (X + ~Y + ~Z) (X + Z + Y) (X + Z + ~Y) (X + ~Y + Z) (X + ~Y + ~Z) (X + Y + Z) (X + ~Y + Z) 101 100 111 101 EN BINARIO (X + ~Y + Z) (X + ~Y + ~Z) (X + Y + Z)
HPH, 2009 Este documento es propiedad del Ing. Hctor Pacheco Hernndez y no debe ser copiado y/o reproducido sin autorizacin expresa del autor. Fecha de creacin 13/08/2009 20:50:00. ltima modificacin: 20090813. Elabor Revis Aprob Pgina Archivo: HPH HPH HPH A-13 de A-14 DSD_HPH_NOTA_01.doc
101 100 111 (X + Y + Z) (X + ~Y + Z) (X + ~Y + ~Z) 111 101 100 (~X + ~Y + ~Z) (~X + Y + ~Z) (~X + Y + Z) 000 010 011
Note la simetra que existe entre la suma de productos y el producto de sumas de una expresin. Si m es el mintrmino para la combinacin i, y M es el maxtrmino.
~m = M
Para convertir de una forma cannica a otra se intercambian los signos y y se reemplazan los nmeros correspondientes a las combinaciones no incluidas en la forma original. Por ejemplo:
M(2,4,6) = m(0,1,3,5,7)
Forma normal de funciones Booleanas Otra manera importante de expresar expresiones booleanas es la forma normal. Tiene la misma estructura bsica, suma de productos o producto de sumas, pero no se requiere que los trminos sean mintrminos o maxtrminos. Por ejemplo: La siguiente es una forma normal suma de productos: XY + ~X~YZ La siguiente es una forma normal producto de sumas: (Y + X) (~X + Z) (Y) A lo largo de este curso la forma que se utilizar con preferencia ser la de suma de productos.
HPH, 2009 Este documento es propiedad del Ing. Hctor Pacheco Hernndez y no debe ser copiado y/o reproducido sin autorizacin expresa del autor. Fecha de creacin 13/08/2009 20:50:00. ltima modificacin: 20090813. Elabor Revis Aprob Pgina Archivo: HPH HPH HPH A-14 de A-14 DSD_HPH_NOTA_01.doc