hay una fuerza motriz más poderosa que el vapor, la electricidad y la energía atómica:
DESCRIPTION
Hay una fuerza motriz más poderosa que el vapor, la electricidad y la energía atómica: la voluntad. Albert Einstein. Metodología del Diseño Combinacional. 1.- Especificar el Sistema. 2.- Determinar entradas y salidas. 3.- Construir la Tabla de Verdad. 4.- Minimizar. - PowerPoint PPT PresentationTRANSCRIPT
Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica
Octubre 2012
Sistemas DigitalesElectró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ónFacultad de Ingeniería Mecánica y Eléctrica
Octubre 2012
Sistemas DigitalesElectró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ónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012
Sistemas DigitalesElectró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ónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012
Sistemas DigitalesElectró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ónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012
Sistemas DigitalesElectró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ónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012
Sistemas DigitalesElectró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 1+1+1+1
AB
+CD
Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012
Sistemas DigitalesElectró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)
1(2)
100(2)
Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012
Sistemas DigitalesElectró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
AB
+CD
S2 S1 S0
Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012
Sistemas DigitalesElectrónica Digital I
Ejemplo 4Segunda opción salidas por línea
También el resultado se puede expresar por medio de líneas
AB
+CD
R4 R3 R2 R1
Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012
Sistemas DigitalesElectró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
AB
+CD
S2 S1 S0
Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012
Sistemas DigitalesElectrónica Digital I
m A B C D S2 S1 S0
0 0 0 0 0
1 0 0 0 1
2 0 0 1 0
3 0 0 1 1
4 0 1 0 0
5 0 1 0 1
6 0 1 1 0
7 0 1 1 1
8 1 0 0 0
9 1 0 0 1
10 1 0 1 0
11 1 0 1 1
12 1 1 0 0
13 11 0 1
14 1 1 1 0
15 1 1 1 1
3.-Tabla de Verdad
Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012
Sistemas DigitalesElectrónica Digital I
m A B C D S2 S1 S0
0 0 0 0 01 0 0 0 1
2 0 0 1 0
3 0 0 1 1
4 0 1 0 0
5 0 1 0 1
6 0 1 1 0
7 0 1 1 1
8 1 0 0 0
9 1 0 0 1
10 1 0 1 0
11 1 0 1 1
12 1 1 0 0
13 11 0 1
14 1 1 1 0
15 1 1 1 1
3.-Tabla de Verdad
00
+00
S2 S1 S0
0 0 0
0 0 0
0(10)
Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012
Sistemas DigitalesElectrónica Digital I
m A B C D S2 S1 S0
0 0 0 0 0
1 0 0 0 12 0 0 1 0
3 0 0 1 1
4 0 1 0 0
5 0 1 0 1
6 0 1 1 0
7 0 1 1 1
8 1 0 0 0
9 1 0 0 1
10 1 0 1 0
11 1 0 1 1
12 1 1 0 0
13 11 0 1
14 1 1 1 0
15 1 1 1 1
3.-Tabla de Verdad
00
+01
0 0 0
1(10)= 0 0 1(2)
0 0 1 1(10)
Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012
Sistemas DigitalesElectrónica Digital I
m A B C D S2 S1 S0
0 0 0 0 0
1 0 0 0 1
2 0 0 1 03 0 0 1 1
4 0 1 0 0
5 0 1 0 1
6 0 1 1 0
7 0 1 1 1
8 1 0 0 0
9 1 0 0 1
10 1 0 1 0
11 1 0 1 1
12 1 1 0 0
13 11 0 1
14 1 1 1 0
15 1 1 1 1
3.-Tabla de Verdad
00
+10
0 0 0
0 0 1
0 0 1
1(10)= 0 0 1(2)
1(10)
Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012
Sistemas DigitalesElectrónica Digital I
m A B C D S2 S1 S0
0 0 0 0 0
1 0 0 0 1
2 0 0 1 0
3 0 0 1 14 0 1 0 0
5 0 1 0 1
6 0 1 1 0
7 0 1 1 1
8 1 0 0 0
9 1 0 0 1
10 1 0 1 0
11 1 0 1 1
12 1 1 0 0
13 11 0 1
14 1 1 1 0
15 1 1 1 1
3.-Tabla de Verdad
00
+11
0 0 0
0 0 1
0 0 1
0 1 0
2(10)= 0 1 0(2)
2(10)
Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012
Sistemas DigitalesElectrónica Digital I
m A B C D S2 S1 S0
0 0 0 0 0
1 0 0 0 1
2 0 0 1 0
3 0 0 1 1
4 0 1 0 05 0 1 0 1
6 0 1 1 0
7 0 1 1 1
8 1 0 0 0
9 1 0 0 1
10 1 0 1 0
11 1 0 1 1
12 1 1 0 0
13 11 0 1
14 1 1 1 0
15 1 1 1 1
3.-Tabla de Verdad
01
+00
0 0 0
0 0 1
0 0 1
0 1 0
0 0 1
1(10)= 0 0 1(2)
1(10)
Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012
Sistemas DigitalesElectrónica Digital I
m A B C D S2 S1 S0
0 0 0 0 0
1 0 0 0 1
2 0 0 1 0
3 0 0 1 1
4 0 1 0 0
5 0 1 0 16 0 1 1 0
7 0 1 1 1
8 1 0 0 0
9 1 0 0 1
10 1 0 1 0
11 1 0 1 1
12 1 1 0 0
13 11 0 1
14 1 1 1 0
15 1 1 1 1
3.-Tabla de Verdad
01
+01
0 0 0
0 0 1
0 0 1
0 1 0
0 0 1
0 1 0
2(10)= 0 1 0(2)
2(10)
Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012
Sistemas DigitalesElectrónica Digital I
m A B C D S2 S1 S0
0 0 0 0 0
1 0 0 0 1
2 0 0 1 0
3 0 0 1 1
4 0 1 0 0
5 0 1 0 1
6 0 1 1 07 0 1 1 1
8 1 0 0 0
9 1 0 0 1
10 1 0 1 0
11 1 0 1 1
12 1 1 0 0
13 11 0 1
14 1 1 1 0
15 1 1 1 1
3.-Tabla de Verdad
01
+10
0 0 0
0 0 1
0 0 1
0 1 0
0 0 1
0 1 0
2(10)= 0 1 0(2)
0 1 0 2(10)
Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012
Sistemas DigitalesElectrónica Digital I
m A B C D S2 S1 S0
0 0 0 0 0
1 0 0 0 1
2 0 0 1 0
3 0 0 1 1
4 0 1 0 0
5 0 1 0 1
6 0 1 1 0
7 0 1 1 18 1 0 0 0
9 1 0 0 1
10 1 0 1 0
11 1 0 1 1
12 1 1 0 0
13 11 0 1
14 1 1 1 0
15 1 1 1 1
3.-Tabla de Verdad
01
+11
0 0 0
0 0 1
0 0 1
0 1 0
0 0 1
0 1 0
3(10)= 0 1 1(2)
0 1 0
0 1 1 3(10)
Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012
Sistemas DigitalesElectrónica Digital I
m A B C D S2 S1 S0
0 0 0 0 0
1 0 0 0 1
2 0 0 1 0
3 0 0 1 1
4 0 1 0 0
5 0 1 0 1
6 0 1 1 0
7 0 1 1 1
8 1 0 0 09 1 0 0 1
10 1 0 1 0
11 1 0 1 1
12 1 1 0 0
13 11 0 1
14 1 1 1 0
15 1 1 1 1
3.-Tabla de Verdad
10
+00
0 0 0
0 0 1
0 0 1
0 1 0
0 0 1
0 1 0
1(10)= 0 0 1(2)
0 1 0
0 1 1
0 0 1 1(10)
Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012
Sistemas DigitalesElectrónica Digital I
m A B C D S2 S1 S0
0 0 0 0 0
1 0 0 0 1
2 0 0 1 0
3 0 0 1 1
4 0 1 0 0
5 0 1 0 1
6 0 1 1 0
7 0 1 1 1
8 1 0 0 0
9 1 0 0 110 1 0 1 0
11 1 0 1 1
12 1 1 0 0
13 11 0 1
14 1 1 1 0
15 1 1 1 1
3.-Tabla de Verdad
10
+01
0 0 0
0 0 1
0 0 1
0 1 0
0 0 1
0 1 0
2(10)= 0 1 0(2)
0 1 0
0 1 1
0 0 1
0 1 0 2(10)
Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012
Sistemas DigitalesElectrónica Digital I
m A B C D S2 S1 S0
0 0 0 0 0
1 0 0 0 1
2 0 0 1 0
3 0 0 1 1
4 0 1 0 0
5 0 1 0 1
6 0 1 1 0
7 0 1 1 1
8 1 0 0 0
9 1 0 0 1
10 1 0 1 011 1 0 1 1
12 1 1 0 0
13 11 0 1
14 1 1 1 0
15 1 1 1 1
3.-Tabla de Verdad
10
+10
0 0 0
0 0 1
0 0 1
0 1 0
0 0 1
0 1 0
2(10)= 0 1 0(2)
0 1 0
0 1 1
0 0 1
0 1 0
0 1 0 2(10)
Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012
Sistemas DigitalesElectrónica Digital I
m A B C D S2 S1 S0
0 0 0 0 0
1 0 0 0 1
2 0 0 1 0
3 0 0 1 1
4 0 1 0 0
5 0 1 0 1
6 0 1 1 0
7 0 1 1 1
8 1 0 0 0
9 1 0 0 1
10 1 0 1 0
11 1 0 1 112 1 1 0 0
13 11 0 1
14 1 1 1 0
15 1 1 1 1
3.-Tabla de Verdad
10
+11
0 0 0
0 0 1
0 0 1
0 1 0
0 0 1
0 1 0
3(10)= 0 1 1(2)
0 1 0
0 1 1
0 0 1
0 1 0
0 1 0
0 1 1 3(10)
Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012
Sistemas DigitalesElectrónica Digital I
m A B C D S2 S1 S0
0 0 0 0 0
1 0 0 0 1
2 0 0 1 0
3 0 0 1 1
4 0 1 0 0
5 0 1 0 1
6 0 1 1 0
7 0 1 1 1
8 1 0 0 0
9 1 0 0 1
10 1 0 1 0
11 1 0 1 1
12 1 1 0 013 11 0 1
14 1 1 1 0
15 1 1 1 1
3.-Tabla de Verdad
11
+00
0 0 0
0 0 1
0 0 1
0 1 0
0 0 1
0 1 0
2(10)= 0 1 0(2)
0 1 0
0 1 1
0 0 1
0 1 0
0 1 0
0 1 1
0 1 0 2(10)
Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012
Sistemas DigitalesElectrónica Digital I
m A B C D S2 S1 S0
0 0 0 0 0
1 0 0 0 1
2 0 0 1 0
3 0 0 1 1
4 0 1 0 0
5 0 1 0 1
6 0 1 1 0
7 0 1 1 1
8 1 0 0 0
9 1 0 0 1
10 1 0 1 0
11 1 0 1 1
12 1 1 0 0
13 11 0 114 1 1 1 0
15 1 1 1 1
3.-Tabla de Verdad
11
+01
0 0 0
0 0 1
0 0 1
0 1 0
0 0 1
0 1 0
3(10)= 0 1 1(2)
0 1 0
0 1 1
0 0 1
0 1 0
0 1 0
0 1 1
0 1 00 1 1 3(10)
Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012
Sistemas DigitalesElectrónica Digital I
m A B C D S2 S1 S0
0 0 0 0 0
1 0 0 0 1
2 0 0 1 0
3 0 0 1 1
4 0 1 0 0
5 0 1 0 1
6 0 1 1 0
7 0 1 1 1
8 1 0 0 0
9 1 0 0 1
10 1 0 1 0
11 1 0 1 1
12 1 1 0 0
13 11 0 1
14 1 1 1 015 1 1 1 1
3.-Tabla de Verdad
11
+10
0 0 0
0 0 1
0 0 1
0 1 0
0 0 1
0 1 0
3(10)= 0 1 1(2)
0 1 0
0 1 1
0 0 1
0 1 0
0 1 0
0 1 1
0 1 00 1 1
0 1 1 3(10)
Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012
Sistemas DigitalesElectrónica Digital I
m A B C D S2 S1 S0
0 0 0 0 0
1 0 0 0 1
2 0 0 1 0
3 0 0 1 1
4 0 1 0 0
5 0 1 0 1
6 0 1 1 0
7 0 1 1 1
8 1 0 0 0
9 1 0 0 1
10 1 0 1 0
11 1 0 1 1
12 1 1 0 0
13 1 1 0 1
14 1 1 1 0
15 1 1 1 1
3.-Tabla de Verdad
11
+11
0 0 0
0 0 1
0 0 1
0 1 0
0 0 1
0 1 0
4(10)= 1 0 0(2)
0 1 0
0 1 1
0 0 1
0 1 0
0 1 0
0 1 1
0 1 00 1 1
0 1 11 0 0 4(10)
Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012
Sistemas DigitalesElectrónica Digital I
m A B C D S2 S1 S00 0 0 0 0 0 0 01 0 0 0 1 0 0 12 0 0 1 0 0 0 13 0 0 1 1 0 1 04 0 1 0 0 0 0 15 0 1 0 1 0 1 06 0 1 1 0 0 1 07 0 1 1 1 0 1 18 1 0 0 0 0 0 19 1 0 0 1 0 1 010 1 0 1 0 0 1 011 1 0 1 1 0 1 112 1 1 0 0 0 1 013 11 0 1 0 1 114 1 1 1 0 0 1 115 1 1 1 1 1 0 0
4. Ecuaciones Mínimas
S2(A,B,C,D)= A B C D
S2(A,B,C,D)= ?
Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012
Sistemas DigitalesElectrónica Digital I
m A B C D S2 S1 S00 0 0 0 0 0 0 01 0 0 0 1 0 0 12 0 0 1 0 0 0 13 0 0 1 1 0 1 04 0 1 0 0 0 0 15 0 1 0 1 0 1 06 0 1 1 0 0 1 07 0 1 1 1 0 1 18 1 0 0 0 0 0 19 1 0 0 1 0 1 010 1 0 1 0 0 1 011 1 0 1 1 0 1 112 1 1 0 0 0 1 013 11 0 1 0 1 114 1 1 1 0 0 1 115 1 1 1 1 1 0 0
4. Ecuaciones Mínimas
S1(A,B,C,D)= ?
Usar LogicAid para obtener todas las posibles soluciones
Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012
Sistemas DigitalesElectrónica Digital I
m A B C D S2 S1 S00 0 0 0 0 0 0 01 0 0 0 1 0 0 12 0 0 1 0 0 0 13 0 0 1 1 0 1 04 0 1 0 0 0 0 15 0 1 0 1 0 1 06 0 1 1 0 0 1 07 0 1 1 1 0 1 18 1 0 0 0 0 0 19 1 0 0 1 0 1 010 1 0 1 0 0 1 011 1 0 1 1 0 1 112 1 1 0 0 0 1 013 11 0 1 0 1 114 1 1 1 0 0 1 115 1 1 1 1 1 0 0
1 S1 = A B D' + A B'C + A C'D + B C D' + B C'D + A'C D
2 S1 = A B D' + A B'C + A C'D + B C D' + A'B D + B'C D
3 S1 = A B D' + A B'C + A C'D + B C D' + A'B D + A'C D
4 S1 = A B D' + A B'C + A C'D + A'B C + A'B D + B'C D
5 S1 = A B D' + A B'C + A C'D + A'B C + A'B D + A'C D
6 S1 = A B D' + A B'C + A C'D + A'B C + B C'D + B'C D
7 S1 = A B D' + A B'C + A C'D + A'B C + B C'D + A'C D
8 S1 = A B D' + A C D' + A C'D + B C D' + A'B D + B'C D
9 S1 = A B D' + A C D' + A C'D + A'B C + A'B D + B'C D
10 S1 = A B D' + A C D' + A C'D + A'B C + B C'D + B'C D
11 S1 = A B D' + A B'C + A B'D + B C D' + B C'D + A'C D
12 S1 = A B D' + A B'C + A B'D + A'B C + B C'D + B'C D
13 S1 = A B D' + A B'C + A B'D + A'B C + B C'D + A'C D
14 S1 = A B D' + A C D' + A B'D + B C D' + B C'D + A'C D
15 S1 = A B D' + A C D' + A B'D + A'B C + B C'D + B'C D
16 S1 = A B D' + A C D' + A B'D + A'B C + B C'D + A'C D
Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012
Sistemas DigitalesElectrónica Digital I
m A B C D S2 S1 S00 0 0 0 0 0 0 01 0 0 0 1 0 0 12 0 0 1 0 0 0 13 0 0 1 1 0 1 04 0 1 0 0 0 0 15 0 1 0 1 0 1 06 0 1 1 0 0 1 07 0 1 1 1 0 1 18 1 0 0 0 0 0 19 1 0 0 1 0 1 010 1 0 1 0 0 1 011 1 0 1 1 0 1 112 1 1 0 0 0 1 013 11 0 1 0 1 114 1 1 1 0 0 1 115 1 1 1 1 1 0 0
17 S1 = A B C' + A C D' + A B'D + B C D' + B C'D + A'C D
18 S1 = A B C' + A C D' + A B'D + B C D' + A'B D + B'C D
19 S1 = A B C' + A C D' + A B'D + B C D' + A'B D + A'C D
20 S1 = A B C' + A C D' + A B'D + A'B C + A'B D + B'C D
21 S1 = A B C' + A C D' + A B'D + A'B C + A'B D + A'C D
22 S1 = A B C' + A C D' + A B'D + A'B C + B C'D + B'C D
23 S1 = A B C' + A C D' + A B'D + A'B C + B C'D + A'C D
24 S1 = A B C' + A C D' + A C'D + B C D' + A'B D + B'C D
25 S1 = A B C' + A C D' + A C'D + A'B C + A'B D + B'C D
26 S1 = A B C' + A C D' + A C'D + A'B C + B C'D + B'C D
27 S1 = A B C' + A B'C + A C'D + B C D' + B C'D + A'C D
28 S1 = A B C' + A B'C + A C'D + B C D' + A'B D + B'C D
29 S1 = A B C' + A B'C + A C'D + B C D' + A'B D + A'C D
30 S1 = A B C' + A B'C + A B'D + B C D' + B C'D + A'C D
31 S1 = A B C' + A B'C + A B'D + B C D' + A'B D + B'C D
32 S1 = A B C' + A B'C + A B'D + B C D' + A'B D + A'C D
Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012
Sistemas DigitalesElectrónica Digital I
m A B C D S2 S1 S00 0 0 0 0 0 0 01 0 0 0 1 0 0 12 0 0 1 0 0 0 13 0 0 1 1 0 1 04 0 1 0 0 0 0 15 0 1 0 1 0 1 06 0 1 1 0 0 1 07 0 1 1 1 0 1 18 1 0 0 0 0 0 19 1 0 0 1 0 1 010 1 0 1 0 0 1 011 1 0 1 1 0 1 112 1 1 0 0 0 1 013 11 0 1 0 1 114 1 1 1 0 0 1 115 1 1 1 1 1 0 0
4. 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ónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012
Sistemas DigitalesElectrónica Digital I
m A B C D S2 S1 S00 0 0 0 0 0 0 01 0 0 0 1 0 0 12 0 0 1 0 0 0 13 0 0 1 1 0 1 04 0 1 0 0 0 0 15 0 1 0 1 0 1 06 0 1 1 0 0 1 07 0 1 1 1 0 1 18 1 0 0 0 0 0 19 1 0 0 1 0 1 010 1 0 1 0 0 1 011 1 0 1 1 0 1 112 1 1 0 0 0 1 013 1 1 0 1 0 1 114 1 1 1 0 0 1 115 1 1 1 1 1 0 0
4. Ecuaciones Mínimas
S0(A,B,C,D)= ?
Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012
Sistemas DigitalesElectrónica Digital I
4. Ecuaciones MínimasS0(A,B,C,D)= ?
Se forman ocho grupos de un unoFS0 (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ónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012
Sistemas DigitalesElectrónica Digital I
4. Ecuaciones MínimasS0(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’(CD)+A’B(C D)’+AB’(CD)+AB(CD)’
(CD)( A’B’+AB)+ (CD)’ (A’B+ AB’)
(CD) (AB)’ + (CD)’ (AB) = A B C D
El resultado es un Exor de cuatro entradas
Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012
Sistemas DigitalesElectrónica Digital I
4. Ecuaciones Mínimas
S0(A,B,C,D)= A B C DEl resultado es un Exor de cuatro entradas
Preguntas1.- ¿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ónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012
Sistemas DigitalesElectrónica Digital I
4. Ecuaciones Mínimas
S0(A,B,C,D)= A B C DEl resultado es un Exor de cuatro entradas
Preguntas1.- ¿Qué es lo que determina si un número binario es par o impar?
11111111111100(2)= par
2.- ¿Cuándo es verdadero el resultado de un Exor.
Cuando un numero impar de variables de entrada son uno
100(2)= 4 101(2)= 5
Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012
Sistemas DigitalesElectrónica Digital I
MODULE sum"EntradasA,B,C,D PIN 1..4;"SalidasS2,S1,S0 PIN 19..17 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ónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012
Sistemas DigitalesElectró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ónFacultad de Ingeniería Mecánica y Eléctrica
Octubre 2012
Sistemas DigitalesElectró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ónFacultad de Ingeniería Mecánica y Eléctrica
Octubre 2012
Sistemas DigitalesElectrónica Digital I
Diseñe un sistema combinacional capaz de:
a) Sumar dos números Binarios de dos bits cada número.
Ejemplo 5
A1 A0
B1 B0
+1 1(2)
+ 1 1(2)
3(10)
3(10)
6(10) 1 1 0(2)S2 S1 S0
Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica
Octubre 2012
Sistemas DigitalesElectrónica Digital I
Diseñe un sistema combinacional capaz de:
b) Multiplicar dos números binarios de dos bits cada número .
Ejemplo 5
A1 A0
B1 B0
X1 1(2)
X 1 1(2)
3(10)
3(10)
9(10) 1 0 0 1(2)M3 M2 M1 M0
X
Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica
Octubre 2012
Sistemas DigitalesElectró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
A1 A0
B1 B0
-1 1(2) -0 0(2)
3(10)
0(10)
3(10) 1 1(2) S R1 R0
Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica
Octubre 2012
Sistemas DigitalesElectrónica Digital I
Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica
Octubre 2012
Sistemas DigitalesElectrónica Digital I
Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica
Octubre 2012
Sistemas DigitalesElectrónica Digital I
MODULE todos
“Entradas
A1,A0,B1,B0 pin 1..4;
"Salidas de la suma
S2..S0 pin 19..17 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ónFacultad de Ingeniería Mecánica y Eléctrica
Octubre 2012
Sistemas DigitalesElectrónica Digital I
MODULE todos
"entradas
A1,A0,B1,B0 pin 1..4;
"Salidas de la suma
S2..S0 pin 19..17 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ónFacultad de Ingeniería Mecánica y Eléctrica
Octubre 2012
Sistemas DigitalesElectrónica Digital I
Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica
Octubre 2012
Sistemas DigitalesElectrónica Digital I
MODULE todos
"entradas
A1,A0,B1,B0 pin 1..4;
"Salidas de la suma
M3..M0 pin 19..16 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ónFacultad de Ingeniería Mecánica y Eléctrica
Octubre 2012
Sistemas DigitalesElectrónica Digital I
Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica
Octubre 2012
Sistemas DigitalesElectrónica Digital I
MODULE todos
"entradas
A1,A0,B1,B0 pin 1..4;
"Salidas de la suma
S,R1,R0 pin 19..17 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ónFacultad de Ingeniería Mecánica y Eléctrica
Octubre 2012
Sistemas DigitalesElectrónica Digital I
Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012Sistemas DigitalesElectró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ónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012Sistemas DigitalesElectró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 digitalesPrincipios y aplicaciones.
Autores: Ronald J. Tocci
Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012Sistemas DigitalesElectró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ónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012Sistemas DigitalesElectró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ónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012Sistemas DigitalesElectrónica Digital I
Tabla de
Verdad
m A B C D E/W N/S Inciso
0 0 0 0 01 0 0 0 12 0 0 1 03 0 0 1 14 0 1 0 05 0 1 0 16 0 1 1 07 0 1 1 18 1 0 0 09 1 0 0 1
10 1 0 1 011 1 0 1 112 1 1 0 013 1 1 0 114 1 1 1 015 1 1 1 1
Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012Sistemas DigitalesElectrónica Digital I
m A B C D E/W N/S Inciso
0 0 0 0 01 0 0 0 12 0 0 1 03 0 0 1 14 0 1 0 05 0 1 0 16 0 1 1 07 0 1 1 18 1 0 0 09 1 0 0 1
10 1 0 1 011 1 0 1 112 1 1 0 013 1 1 0 114 1 1 1 015 1 1 1 1
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ónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012Sistemas DigitalesElectrónica Digital I
m A B C D E/W N/S Inciso
0 0 0 0 01 0 0 0 12 0 0 1 0
3 0 0 1 1
4 0 1 0 05 0 1 0 16 0 1 1 07 0 1 1 18 1 0 0 09 1 0 0 1
10 1 0 1 011 1 0 1 112 1 1 0 013 1 1 0 114 1 1 1 015 1 1 1 1
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
1 0 a
1 0 a
1 0 a
Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012Sistemas DigitalesElectrónica Digital I
m A B C D E/W N/S Inciso
0 0 0 0 01 0 0 0 12 0 0 1 03 0 0 1 1 1 0 a4 0 1 0 05 0 1 0 16 0 1 1 07 0 1 1 1 1 0 a8 1 0 0 09 1 0 0 1
10 1 0 1 011 1 0 1 1 1 0 a12 1 1 0 013 1 1 0 114 1 1 1 015 1 1 1 1 1 0 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ónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012Sistemas DigitalesElectrónica Digital I
m A B C D E/W N/S Inciso
0 0 0 0 01 0 0 0 1 1 0 b2 0 0 1 03 0 0 1 1 1 0 a
4 0 1 0 05 0 1 0 16 0 1 1 07 0 1 1 1 1 0 a
8 1 0 0 09 1 0 0 1
10 1 0 1 011 1 0 1 1 1 0 a
12 1 1 0 013 1 1 0 114 1 1 1 015 1 1 1 1 1 0 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ónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012Sistemas DigitalesElectrónica Digital I
m A B C D E/W N/S Inciso
0 0 0 0 01 0 0 0 1 1 0 b2 0 0 1 0 1 0 b3 0 0 1 1 1 0 a
4 0 1 0 05 0 1 0 16 0 1 1 07 0 1 1 1 1 0 a
8 1 0 0 09 1 0 0 1
10 1 0 1 011 1 0 1 1 1 0 a
12 1 1 0 013 1 1 0 114 1 1 1 015 1 1 1 1 1 0 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ónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012Sistemas DigitalesElectrónica Digital I
m A B C D E/W N/S Inciso
0 0 0 0 01 0 0 0 1 1 0 b2 0 0 1 0 1 0 b3 0 0 1 1 1 0 a
4 0 1 0 05 0 1 0 1 1 0 b6 0 1 1 07 0 1 1 1 1 0 a
8 1 0 0 09 1 0 0 1
10 1 0 1 011 1 0 1 1 1 0 a
12 1 1 0 013 1 1 0 114 1 1 1 015 1 1 1 1 1 0 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ónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012Sistemas DigitalesElectrónica Digital I
m A B C D E/W N/S Inciso
0 0 0 0 01 0 0 0 1 1 0 b2 0 0 1 0 1 0 b3 0 0 1 1 1 0 a
4 0 1 0 05 0 1 0 1 1 0 b6 0 1 1 0 1 0 b7 0 1 1 1 1 0 a
8 1 0 0 09 1 0 0 1
10 1 0 1 011 1 0 1 1 1 0 a
12 1 1 0 013 1 1 0 114 1 1 1 015 1 1 1 1 1 0 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ónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012Sistemas DigitalesElectrónica Digital I
m A B C D E/W N/S Inciso
0 0 0 0 01 0 0 0 1 1 0 b2 0 0 1 0 1 0 b3 0 0 1 1 1 0 a
4 0 1 0 05 0 1 0 1 1 0 b6 0 1 1 0 1 0 b7 0 1 1 1 1 0 a
8 1 0 0 09 1 0 0 1 1 0 b
10 1 0 1 011 1 0 1 1 1 0 a
12 1 1 0 013 1 1 0 114 1 1 1 015 1 1 1 1 1 0 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ónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012Sistemas DigitalesElectrónica Digital I
m A B C D E/W N/S Inciso
0 0 0 0 01 0 0 0 1 1 0 b
2 0 0 1 0 1 0 b
3 0 0 1 1 1 0 a
4 0 1 0 05 0 1 0 1 1 0 b
6 0 1 1 0 1 0 b
7 0 1 1 1 1 0 a
8 1 0 0 09 1 0 0 1 1 0 b
10 1 0 1 0 1 0 b
11 1 0 1 1 1 0 a
12 1 1 0 013 1 1 0 114 1 1 1 015 1 1 1 1 1 0 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ónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012Sistemas DigitalesElectrónica Digital I
m A B C D E/W N/S Inciso
0 0 0 0 01 0 0 0 1 1 0 b
2 0 0 1 0 1 0 b
3 0 0 1 1 1 0 a
4 0 1 0 05 0 1 0 1 1 0 b
6 0 1 1 0 1 0 b
7 0 1 1 1 1 0 a
8 1 0 0 09 1 0 0 1 1 0 b
10 1 0 1 0 1 0 b
11 1 0 1 1 1 0 a
12 1 1 0 013 1 1 0 114 1 1 1 015 1 1 1 1 1 0 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
0 1 c0 1 c
Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012Sistemas DigitalesElectrónica Digital I
m A B C D E/W N/S Inciso
0 0 0 0 01 0 0 0 1 1 0 b
2 0 0 1 0 1 0 b
3 0 0 1 1 1 0 a
4 0 1 0 05 0 1 0 1 1 0 b
6 0 1 1 0 1 0 b
7 0 1 1 1 1 0 a
8 1 0 0 09 1 0 0 1 1 0 b
10 1 0 1 0 1 0 b
11 1 0 1 1 1 0 a
12 1 1 0 0 0 1 c13 1 1 0 1 0 1 c14 1 1 1 0 0 1 c15 1 1 1 1 1 0 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ónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012Sistemas DigitalesElectrónica Digital I
m A B C D E/W N/S Inciso
0 0 0 0 01 0 0 0 1 1 0 b
2 0 0 1 0 1 0 b
3 0 0 1 1 1 0 a
4 0 1 0 05 0 1 0 1 1 0 b
6 0 1 1 0 1 0 b
7 0 1 1 1 1 0 a
8 1 0 0 09 1 0 0 1 1 0 b
10 1 0 1 0 1 0 b
11 1 0 1 1 1 0 a
12 1 1 0 0 0 1 c13 1 1 0 1 0 1 c14 1 1 1 0 0 1 c15 1 1 1 1 1 0 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ónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012Sistemas DigitalesElectrónica Digital I
m A B C D E/W N/S Inciso
0 0 0 0 01 0 0 0 1 1 0 b
2 0 0 1 0 1 0 b
3 0 0 1 1 1 0 a
4 0 1 0 0 0 1 d5 0 1 0 1 1 0 b
6 0 1 1 0 1 0 b
7 0 1 1 1 1 0 a
8 1 0 0 0 0 1 d9 1 0 0 1 1 0 b
10 1 0 1 0 1 0 b
11 1 0 1 1 1 0 a
12 1 1 0 0 0 1 c
13 1 1 0 1 0 1 c
14 1 1 1 0 0 1 c
15 1 1 1 1 1 0 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ónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012Sistemas DigitalesElectrónica Digital I
m A B C D E/W N/S Inciso
0 0 0 0 0 1 0 e1 0 0 0 1 1 0 b
2 0 0 1 0 1 0 b
3 0 0 1 1 1 0 a
4 0 1 0 0 0 1 d
5 0 1 0 1 1 0 b
6 0 1 1 0 1 0 b
7 0 1 1 1 1 0 a
8 1 0 0 0 0 1 d
9 1 0 0 1 1 0 b
10 1 0 1 0 1 0 b
11 1 0 1 1 1 0 a
12 1 1 0 0 0 1 c
13 1 1 0 1 0 1 c
14 1 1 1 0 0 1 c
15 1 1 1 1 1 0 a
e) El semáforo E-W
estará en luz verde
cuando no haya
vehículos transitando.
Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012Sistemas DigitalesElectrónica Digital I
m A B C D E/W N/S Inciso
0 0 0 0 0 1 0 e1 0 0 0 1 1 0 b
2 0 0 1 0 1 0 b
3 0 0 1 1 1 0 a
4 0 1 0 0 0 1 d
5 0 1 0 1 1 0 b
6 0 1 1 0 1 0 b
7 0 1 1 1 1 0 a
8 1 0 0 0 0 1 d
9 1 0 0 1 1 0 b
10 1 0 1 0 1 0 b
11 1 0 1 1 1 0 a
12 1 1 0 0 0 1 c
13 1 1 0 1 0 1 c
14 1 1 1 0 0 1 c
15 1 1 1 1 1 0 a
e) El semáforo E-W estará en
luz verde cuando no haya
vehículos transitando.
Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012Sistemas DigitalesElectrónica Digital I
MODULE semA,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ónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012Sistemas DigitalesElectró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ónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012Sistemas DigitalesElectrónica Digital I
m A B C L1 L2 L3 L4 L5 L6 L7
0 0 0 0 0 0 0 0 0 0 0
1 0 0 1 1 0 0 0 0 0 0
2 0 1 0 1 1 0 0 0 0 0
3 0 1 1 1 1 1 0 0 0 0
4 1 0 0 1 1 1 1 0 0 0
5 1 0 1 1 1 1 1 1 0 0
6 1 1 0 1 1 1 1 1 1 0
7 1 1 1 1 1 1 1 1 1 1
Universidad Autónoma de Nuevo LeónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012Sistemas DigitalesElectrónica Digital I
m A B C L1 L2 L3 L4 L5 L6 L7
0 0 0 0 0 0 0 0 0 0 0
1 0 0 1 1 0 0 0 0 0 0
2 0 1 0 1 1 0 0 0 0 0
3 0 1 1 1 1 1 0 0 0 0
4 1 0 0 1 1 1 1 0 0 0
5 1 0 1 1 1 1 1 1 0 0
6 1 1 0 1 1 1 1 1 1 0
7 1 1 1 1 1 1 1 1 1 1
MODULE NIVELA,B,C PIN 1..3;L1..L7 PIN 12..18 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ónFacultad de Ingeniería Mecánica y Eléctrica
Marzo 2012Sistemas DigitalesElectrónica Digital I
MODULE NIVELA,B,C PIN 1..3;L1..L7 PIN 12..18 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