Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Octubre 2012 Sistemas Digitales Electrónica Digital I Hay una fuerza motriz más poderosa que el vapor, la electricidad y la energía atómica: la voluntad. Albert Einstein

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Octubre 2012 Sistemas Digitales Electrónica Digital I Metodología del Diseño Combinacional 1.- Especificar el Sistema 2.- Determinar entradas y salidas 3.- Construir la Tabla de Verdad 4.- Minimizar 5.- Diagrama Esquemático 6.- Implementar

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I Ejemplo 4 Diseñe un Sumador Binario de cuatro números de un bit cada numero ?

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I Ejemplo 4 1, 2.- Especificar el problema, definir entradas y salidas Los cuatro números binarios los llamaremos A, B, C y D respectivamente y representan la entrada del sistema combinacional.

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I Ejemplo 4 1, 2.- Especificar el problema, definir entradas y salidas ? Cuantas son las salidas mínimas requeridas

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I Ejemplo 4 1, 2.- Especificar el problema, definir entradas y salidas El resultado mas grande se obtiene cuando todas las entradas A, B, C, y D tienen el valor de uno y tendríamos A B +C D

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I Ejemplo 4 1, 2.- Especificar el problema, definir entradas y salidas en donde el resultado es 4 y expresado en binario 100 se requieren 3 bits, los llamaremos S2, S1 y S0 1 (2) +1 (2) 1 (2) 100 (2)

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I Ejemplo 4 1, 2.- Especificar el problema, definir entradas y salidas en donde el resultado es 4 y expresado en código binario 100 se requieren 3 bits, los llamaremos S2, S1 y S0 A B +C D S 2 S 1 S 0

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I Ejemplo 4 Segunda opción salidas por línea También el resultado se puede expresar por medio de líneas A B +C D R 4 R 3 R 2 R 1

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I Ejemplo 4 1, 2.- Especificar el problema, definir entradas y salidas en donde el resultado es 4 y expresado en código binario 100 se requieren 3 bits, los llamaremos S2, S1 y S0 A B +C D S 2 S 1 S 0

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I m A B C DS2S1S Tabla de Verdad

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I m A B C DS2S1S Tabla de Verdad S 2 S 1 S (10)

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I m A B C DS2S1S Tabla de Verdad (10) = (2) (10)

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I m A B C DS2S1S Tabla de Verdad (10) = (2) 1 (10)

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I m A B C DS2S1S Tabla de Verdad (10) = (2) 2 (10)

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I m A B C DS2S1S Tabla de Verdad (10) = (2) 1 (10)

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I m A B C DS2S1S Tabla de Verdad (10) = (2) 2 (10)

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I m A B C DS2S1S Tabla de Verdad (10) = (2) (10)

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I m A B C DS2S1S Tabla de Verdad (10) = (2) (10)

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I m A B C DS2S1S Tabla de Verdad (10) = (2) (10)

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I m A B C DS2S1S Tabla de Verdad (10) = (2) (10)

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I m A B C DS2S1S Tabla de Verdad (10) = (2) (10)

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I m A B C DS2S1S Tabla de Verdad (10) = (2) (10)

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I m A B C DS2S1S Tabla de Verdad (10) = (2) (10)

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I m A B C DS2S1S Tabla de Verdad (10) = (2) (10)

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I m A B C DS2S1S Tabla de Verdad (10) = (2) (10)

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I m A B C DS2S1S Tabla de Verdad (10) = (2 ) (10)

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I m A B C DS2S1S Ecuaciones Mínimas S2 (A,B,C,D) = A B C D S2 (A,B,C,D) = ?

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I m A B C DS2S1S Ecuaciones Mínimas S1 (A,B,C,D) = ? Usar LogicAid para obtener todas las posibles soluciones

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I m A B C DS2S1S S1 = A B D' + A B'C + A C'D + B C D' + B C'D + A'C D 2S1 = A B D' + A B'C + A C'D + B C D' + A'B D + B'C D 3S1 = A B D' + A B'C + A C'D + B C D' + A'B D + A'C D 4S1 = A B D' + A B'C + A C'D + A'B C + A'B D + B'C D 5S1 = A B D' + A B'C + A C'D + A'B C + A'B D + A'C D 6S1 = A B D' + A B'C + A C'D + A'B C + B C'D + B'C D 7S1 = A B D' + A B'C + A C'D + A'B C + B C'D + A'C D 8S1 = A B D' + A C D' + A C'D + B C D' + A'B D + B'C D 9S1 = A B D' + A C D' + A C'D + A'B C + A'B D + B'C D 10S1 = A B D' + A C D' + A C'D + A'B C + B C'D + B'C D 11S1 = A B D' + A B'C + A B'D + B C D' + B C'D + A'C D 12S1 = A B D' + A B'C + A B'D + A'B C + B C'D + B'C D 13S1 = A B D' + A B'C + A B'D + A'B C + B C'D + A'C D 14S1 = A B D' + A C D' + A B'D + B C D' + B C'D + A'C D 15S1 = A B D' + A C D' + A B'D + A'B C + B C'D + B'C D 16S1 = A B D' + A C D' + A B'D + A'B C + B C'D + A'C D

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I m A B C DS2S1S S1 = A B C' + A C D' + A B'D + B C D' + B C'D + A'C D 18S1 = A B C' + A C D' + A B'D + B C D' + A'B D + B'C D 19S1 = A B C' + A C D' + A B'D + B C D' + A'B D + A'C D 20S1 = A B C' + A C D' + A B'D + A'B C + A'B D + B'C D 21S1 = A B C' + A C D' + A B'D + A'B C + A'B D + A'C D 22S1 = A B C' + A C D' + A B'D + A'B C + B C'D + B'C D 23S1 = A B C' + A C D' + A B'D + A'B C + B C'D + A'C D 24S1 = A B C' + A C D' + A C'D + B C D' + A'B D + B'C D 25S1 = A B C' + A C D' + A C'D + A'B C + A'B D + B'C D 26S1 = A B C' + A C D' + A C'D + A'B C + B C'D + B'C D 27S1 = A B C' + A B'C + A C'D + B C D' + B C'D + A'C D 28S1 = A B C' + A B'C + A C'D + B C D' + A'B D + B'C D 29S1 = A B C' + A B'C + A C'D + B C D' + A'B D + A'C D 30S1 = A B C' + A B'C + A B'D + B C D' + B C'D + A'C D 31S1 = A B C' + A B'C + A B'D + B C D' + A'B D + B'C D 32S1 = A B C' + A B'C + A B'D + B C D' + A'B D + A'C D

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I m A B C DS2S1S Ecuaciones Mínimas 1.- Cuantos grupos son los mínimos para la función S1. Utilice LogicAid para obtener cuantas y cuales son posibles soluciones mínimas de S1.

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I m A B C DS2S1S Ecuaciones Mínimas S0 (A,B,C,D) = ?

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I 4. Ecuaciones Mínimas S0 (A,B,C,D) = ? Se forman ocho grupos de un uno FS0 (A, B, C, D) = A’B’C’D+A’B’CD’+A’BC’D’+A’BCD+ABC’D+ABCD’+AB’C’D’+AB’CD

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I 4. Ecuaciones Mínimas S0 (A,B,C,D) = ? FS0 (A, B, C, D) = A’B’C’D+A’B’CD’+A’BC’D’+A’BCD+ABC’D+ABCD’+AB’C’D’+AB’CD Se puede efectuar una simplificación de la función buscado llegar a un Exor ya que los grupos están en diagonal. A’B’(C’D+CD’)+A’B(C’D’+CD)+AB'(C’D+CD’)+AB(’C’D’+CD) A’B’(C  D)+A’B(C  D)’+AB’(C  D)+AB(C  D)’ (C  D)( A’B’+AB)+ (C  D)’ (A’B+ AB’) (C  D) (A  B)’ + (C  D)’ (A  B) = A  B  C  D El resultado es un Exor de cuatro entradas

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I 4. Ecuaciones Mínimas S0 (A,B,C,D) = A  B  C  D El resultado es un Exor de cuatro entradas Preguntas 1.- ¿Qué es lo que determina si un número binario es par o impar? 2.- ¿Cuándo es verdadero el resultado de un Exor.

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I 4. Ecuaciones Mínimas S0 (A,B,C,D) = A  B  C  D El resultado es un Exor de cuatro entradas Preguntas 1.- ¿Qué es lo que determina si un número binario es par o impar? (2) = par 2.- ¿Cuándo es verdadero el resultado de un Exor. Cuando un numero impar de variables de entrada son uno 100 (2) = (2) = 5

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I MODULE sum "Entradas A,B,C,D PIN 1..4; "Salidas S2,S1,S0 PIN ISTYPE 'COM'; S=[S2,S1,S0]; TRUTH_TABLE ([A,B,C,D]->[S]) [0,0,0,0]->[0]; [0,0,0,1]->[1]; [0,0,1,0]->[1]; [0,0,1,1]->[2]; [0,1,0,0]->[1]; [0,1,0,1]->[2]; [0,1,1,0]->[2]; [0,1,1,1]->[3]; [1,0,0,0]->[1]; [1,0,0,1]->[2]; [1,0,1,0]->[2]; [1,0,1,1]->[3]; [1,1,0,0]->[2]; [1,1,0,1]->[3]; [1,1,1,0]->[3]; [1,1,1,1]->[4]; End S2 = ( D & C & B & A ); S1= !( D & C & B & A # !D & !C & !B # !D & !C & !A # !D & !B & !A # !C & !B & !A ); S0 = !( 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 );

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I Calculamos la Cantidad mínima de salidas Información por código y por línea En un mapa cuando los unos o los grupos están en diagonal existe la posibilidad de representaros por un Exor o Exnor Cuando un numero binario es par o impar

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Octubre 2012 Sistemas Digitales Electrónica Digital I Diseñe un sistema combinacional capáz de: a)Sumar dos números Binarios de dos bits cada número. b)Multiplicar dos números binarios de dos bits cada número. c)Restar dos números binarios de dos bits cada numero, en este ejemplo incluya una salida para indicar el signo de la diferencia si es positivo o nulo = a cero y si la diferencia es negativa =1. Ejemplo 5

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Octubre 2012 Sistemas Digitales Electrónica Digital I Diseñe un sistema combinacional capaz de: a)Sumar dos números Binarios de dos bits cada número. Ejemplo 5 A 1 A 0 B 1 B (2) + 3 (10) 6 (10) (2) S 2 S 1 S 0

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Octubre 2012 Sistemas Digitales Electrónica Digital I Diseñe un sistema combinacional capaz de: b) Multiplicar dos números binarios de dos bits cada número. Ejemplo 5 A 1 A 0 B 1 B 0 X 1 1 (2) X 3 (10) 9 (10) (2) M 3 M 2 M 1 M 0 X

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Octubre 2012 Sistemas Digitales Electrónica Digital I Diseñe un sistema combinacional capaz de: c) Restar dos números binarios de dos bits cada numero, en este ejemplo incluya una salida para indicar el signo de la diferencia si es positivo o nulo = a cero y si la diferencia es negativa =1. Ejemplo 5 A 1 A 0 B 1 B (2) (2) 3 (10) 0 (10) 3 (10) 1 1 (2) S R 1 R 0

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Octubre 2012 Sistemas Digitales Electrónica Digital I

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Octubre 2012 Sistemas Digitales Electrónica Digital I

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Octubre 2012 Sistemas Digitales Electrónica Digital I MODULE todos “Entradas A1,A0,B1,B0 pin 1..4; "Salidas de la suma S2..S0 pin istype 'com'; A=[A1,A0]; B=[B1,B0]; truth_table ([A,B]->[S2,S1,S0]) [0,0]->[0,0,0]; [0,1]->[0,0,1]; [0,2]->[0,1,0]; [0,3]->[0,1,1]; [1,0]->[0,0,1]; [1,1]->[0,1,0]; [1,2]->[0,1,1]; [1,3]->[1,0,0]; [2,0]->[0,1,0]; [2,1]->[0,1,1]; [2,2]->[1,0,0]; [2,3]->[1,0,1]; [3,0]->[0,1,1]; [3,1]->[1,0,0]; [3,2]->[1,0,1]; [3,3]->[1,1,0]; END

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Octubre 2012 Sistemas Digitales Electrónica Digital I MODULE todos "entradas A1,A0,B1,B0 pin 1..4; "Salidas de la suma S2..S0 pin istype 'com'; A=[A1,A0]; B=[B1,B0]; Z=[S2,S1,S0]; truth_table ([A,B]->Z) [0,0]->0; [0,1]->1; [0,2]->2; [0,3]->3; [1,0]->1; [1,1]->2; [1,2]->3; [1,3]->4; [2,0]->2; [2,1]->3; [2,2]->4; [2,3]->5; [3,0]->3; [3,1]->4; [3,2]->5; [3,3]->6; END

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Octubre 2012 Sistemas Digitales Electrónica Digital I

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Octubre 2012 Sistemas Digitales Electrónica Digital I MODULE todos "entradas A1,A0,B1,B0 pin 1..4; "Salidas de la suma M3..M0 pin istype 'com'; A=[A1,A0]; B=[B1,B0]; M=[M3..M0]; truth_table ([A,B]->[M]) [0,0]->[0]; [0,1]->[0]; [0,2]->[0]; [0,3]->[0]; [1,0]->[0]; [1,1]->[1]; [1,2]->[2]; [1,3]->[3]; [2,0]->[0]; [2,1]->[2]; [2,2]->[4]; [2,3]->[6]; [3,0]->[0]; [3,1]->[3]; [3,2]->[6]; [3,3]->[9]; End

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Octubre 2012 Sistemas Digitales Electrónica Digital I

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Octubre 2012 Sistemas Digitales Electrónica Digital I MODULE todos "entradas A1,A0,B1,B0 pin 1..4; "Salidas de la suma S,R1,R0 pin istype 'com'; A=[A1,A0]; B=[B1,B0]; R=[R1,R0]; truth_table ([A,B]->[S,R]) [0,0]->[0,0]; [0,1]->[1,1]; [0,2]->[1,2]; [0,3]->[1,3]; [1,0]->[0,1]; [1,1]->[0,0]; [1,2]->[1,1]; [1,3]->[1,2]; [2,0]->[0,2]; [2,1]->[0,1]; [2,2]->[0,0]; [2,3]->[1,1]; [3,0]->[0,3]; [3,1]->[0,2]; [3,2]->[0,1]; [3,3]->[0,0]; end

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Octubre 2012 Sistemas Digitales Electrónica Digital I

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I Diseño Combinacional Nunca desistas de un sueño. Sólo trata de ver las señales que te lleven a él. Paulo Coelho

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I La figura muestra la intersección de una Autopista Principal con un camino de acceso secundario. Se colocan detectores de vehículos a lo largo de los carriles C y D (camino principal) y en los carriles A y B (camino de acceso). Las lecturas o salidas de los detectores son BAJAS "0" cuando no pasa ningún vehículo y ALTAS "1" cuando pasa algún vehículo. Sistemas digitales Principios y aplicaciones. Autores: Ronald J. Tocci

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I a) El semáforo E-W estará en luz verde siempre que los carriles C y D estén ocupados. b) El semáforo E-W estará en luz verde siempre que C o D estén ocupados y siempre y cuando A y B no estén ocupados. c) El semáforo N-S estará en luz verde siempre que los carriles A y B estén ocupados y siempre y cuando C y D no estén ocupados. d) El semáforo N-S también estará en luz verde siempre que los carriles A o B estén ocupados en tanto C y D estén vacantes. e) El semáforo E-W estará en luz verde cuando no haya vehículos transitando.

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I Utilizando las salidas de los sensores A B C y D como entradas de un Circuito Lógico para controlar el semáforo, debe de tener dos salidas, N/S y E/W que sean alto "1" cuando corresponda la luz verde, y bajo “0” cuando corresponda a la luz roja. Indique a que combinación de la tabla de verdad corresponde cada uno de los incisos arriba mencionados.

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I Tabla de Verdad m A B C D E/W N/SInciso

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I m A B C D E/W N/SInciso El semáforo del crucero se controlará de acuerdo con la siguiente lógica: a) El semáforo E-W estará en luz verde siempre que los carriles C y D estén ocupados.

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I m A B C D E/W N/SInciso El semáforo del crucero se controlará de acuerdo con la siguiente lógica: a) El semáforo E-W estará en luz verde siempre que los carriles C y D estén ocupados. 1 0 a

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I m A B C D E/W N/SInciso a a a a b) El semáforo E-W estará en luz verde siempre que C o D estén ocupados y siempre y cuando A y B no estén ocupados.

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I m A B C D E/W N/SInciso b a a a a b) El semáforo E-W estará en luz verde siempre que C o D estén ocupados y siempre y cuando A y B no estén ocupados.

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I m A B C D E/W N/SInciso b b a a a a b) El semáforo E-W estará en luz verde siempre que C o D estén ocupados y siempre y cuando A y B no estén ocupados.

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I m A B C D E/W N/SInciso b b a b a a a b) El semáforo E-W estará en luz verde siempre que C o D estén ocupados y siempre y cuando A y B no estén ocupados.

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I m A B C D E/W N/SInciso b b a b b a a a b) El semáforo E-W estará en luz verde siempre que C o D estén ocupados y siempre y cuando A y B no estén ocupados.

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I m A B C D E/W N/SInciso b b a b b a b a a b) El semáforo E-W estará en luz verde siempre que C o D estén ocupados y siempre y cuando A y B no estén ocupados.

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I m A B C D E/W N/SInciso b b a b b a b 10 10b a a b) El semáforo E-W estará en luz verde siempre que C o D estén ocupados y siempre y cuando A y B no estén ocupados.

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I m A B C D E/W N/SInciso b b a b b a b 10 10b a a c) El semáforo N-S estará en luz verde siempre que los carriles A y B estén ocupados y siempre y cuando C y D no estén ocupados. 0 1 c

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I m A B C D E/W N/SInciso b b a b b a b 10 10b a c c c a c) El semáforo N-S estará en luz verde siempre que los carriles A y B estén ocupados y siempre y cuando C y D no estén ocupados.

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I m A B C D E/W N/SInciso b b a b b a b 10 10b a c c c a d) El semáforo N-S también estará en luz verde siempre que los carriles A o B estén ocupados en tanto C y D estén vacantes.

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I m A B C D E/W N/SInciso b b a d b b a d b 10 10b a c c c a d) El semáforo N-S también estará en luz verde siempre que los carriles A o B estén ocupados en tanto C y D estén vacantes.

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I m A B C D E/W N/SInciso e b b a d b b a d b 10 10b a c c c a e) El semáforo E-W estará en luz verde cuando no haya vehículos transitando.

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I m A B C D E/W N/SInciso e b b a d b b a d b 10 10b a c c c a e) El semáforo E-W estará en luz verde cuando no haya vehículos transitando.

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I MODULE sem A,B,C,D PIN 1..4; EW,NS PIN 12,13 ISTYPE 'COM'; TRUTH_TABLE ([A,B,C,D]->[NS,EW]) [0,0,0,0]->[1,0]; [0,0,0,1]->[1,0]; [0,0,1,0]->[1,0]; [0,0,1,1]->[1,0]; [0,1,0,0]->[0,1]; [0,1,0,1]->[1,0]; [0,1,1,0]->[1,0]; [0,1,1,1]->[1,0]; [1,0,0,0]->[0,1]; [1,0,0,1]->[1,0]; [1,0,1,0]->[1,0]; [1,0,1,1]->[1,0]; [1,1,0,0]->[0,1]; [1,1,0,1]->[0,1]; [1,1,1,0]->[0,1]; [1,1,1,1]->[1,0]; END

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I Indicador de nivel Se requiere diseñar e implementar un sistema electrónico digital que tiene como salida un grupo de siete lámparas llamadas de L1 a L7, además de tres entradas llamadas E2, E1 y E0. Si el valor binario de las entradas E2, E1, E0 es igual a 0 no debe de encender ninguna luz, si el valor de la entrada es 1 solo encenderá la lámpara L1, si el valor de la entrada es dos encenderán la lámpara L1 y L2 simultáneamente, y así sucesivamente de modo que en el valor siete deberán de encender todas las luces.

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I m ABCL1L2L3L4L5L6L

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I m ABCL1L2L3L4L5L6L MODULE NIVEL A,B,C PIN 1..3; L1..L7 PIN ISTYPE 'COM'; E=[A,B,C]; TRUTH_TABLE (E->[L1,L2,L3,L4,L5,L6,L7]) 0->[0,0,0,0,0,0,0]; 1->[1,0,0,0,0,0,0]; 2->[1,1,0,0,0,0,0]; 3->[1,1,1,0,0,0,0]; 4->[1,1,1,1,0,0,0]; 5->[1,1,1,1,1,0,0]; 6->[1,1,1,1,1,1,0]; 7->[1,1,1,1,1,1,1]; TEST_VECTORS (E->[L1,L2,L3,L4,L5,L6,L7]) 0->[0,0,0,0,0,0,0]; 1->[1,0,0,0,0,0,0]; 2->[1,1,0,0,0,0,0]; 3->[1,1,1,0,0,0,0]; 4->[1,1,1,1,0,0,0]; 5->[1,1,1,1,1,0,0]; 6->[1,1,1,1,1,1,0]; 7->[1,1,1,1,1,1,1]; END

Universidad Autónoma de Nuevo León Facultad de Ingeniería Mecánica y Eléctrica Marzo 2012 Sistemas Digitales Electrónica Digital I MODULE NIVEL A,B,C PIN 1..3; L1..L7 PIN ISTYPE 'COM'; E=[A,B,C]; L=[L7,L6,L5,L4,L3,L2,L1]; TRUTH_TABLE (E->L) 0->0; 1->1; 2->3; 3->7; 4->15; 5->31; 6->63; 7->127; TEST_VECTORS (E->[L1,L2,L3,L4,L5,L6,L7]) 0->[0,0,0,0,0,0,0]; 1->[1,0,0,0,0,0,0]; 2->[1,1,0,0,0,0,0]; 3->[1,1,1,0,0,0,0]; 4->[1,1,1,1,0,0,0]; 5->[1,1,1,1,1,0,0]; 6->[1,1,1,1,1,1,0]; 7->[1,1,1,1,1,1,1]; END