UNIVERSIDAD NACIONAL

MAYOR DE SAN MARCOS

FACULTAD DE INGENIERÍA
ELECTRÓNICA

MICRO/NANO SISTEMAS ELECTRONICOS

“TRABAJO PRÁCTICO No 6”

PROFESOR ING. RUBEN VIRGILIO ALARCON MATUTTI

ALUMNOS GÜERE LAVADO YEAN CARLOS 15190036

HORARIO JUEVES DE 6PM – 8PM

2020
 TRABAJO PRACTICO N°6
1. Considerando el circuito mostrado, se pide encontrar el vector (o
los vectores) que permite detectar en cada caso lo indicado.
Emplear el método CAMINO DE SENSIBILIZACIÓN:

𝐹 = ̅̅̅
𝑋2 𝑋3 𝑋4 + 𝑋1 𝑋2 𝑋4

TABLA DE VERDAD:

X1 X2 X3 X4 F
0 0 0 0 0
0 0 0 1 0
0 0 1 0 0
0 0 1 1 1
0 1 0 0 0
0 1 0 1 0
0 1 1 0 0
0 1 1 1 0
1 0 0 0 0
1 0 0 1 0
1 0 1 0 0
1 0 1 1 1
1 1 0 0 0
1 1 0 1 1
1 1 1 0 0
1 1 1 1 1
 a) Para el modelo Stuck-At-0, hallar los vectores de test para la línea h.

Para este primer enunciado el test de la línea “h” se deberá iniciar el proceso con la entra X2:

PROCEDIMIENTO:
Disparo del fallo
ℎ = 1 (Valor complemento del fallo).

Propagación del fallo

h=1, j=0, k=0, l=0 ⇒ F=1

Justificación de las entradas

𝑋1 = 1, 𝑋3 = 𝑑, 𝑋4 = 1 ⇒ F=1
 Luego los vectores de test serán:
< 𝑋1 , 𝑋2 , 𝑋3 , 𝑋4 > = < 𝑑, 0,1,1 >

1, 𝑁𝑜 ℎ𝑎𝑦 𝑓𝑎𝑙𝑙𝑜
Tal que 𝐹 = {
0, 𝐸𝑥𝑖𝑠𝑡𝑒 𝑓𝑎𝑙𝑙𝑜 𝑠𝑡𝑢𝑐𝑘 − 𝑎𝑡 − 0

b) Para el modelo Stuck-At-1, hallar los vectores de test para la línea j.

Para esta parte presentara dos casos:

CASO 1 A

CASO 1 B
Caso 2

Para ambos casos en las líneas donde no colocamos valor puede ser 0 o 1 lo cual
colocaremos con una letra “m”.

PROCEDIMIENTO:
Disparo del fallo
𝑗 = 0 (Valor complemento del fallo).

Propagación del fallo

Caso 1.A:
h=0, j=0, k=0, l=1 ⇒ F=0
Caso 1.2:
h=1, j=0, k=0, l=1 ⇒ F=0
Caso 2:
h=0, j=1, k=0, l=d ⇒ F=0

Justificación de las entradas

Caso 1.B:
𝑋1 =1, 𝑋2 =1, 𝑋3 =d, 𝑋4 =0 ⇒ F=0
Caso 1.2:
𝑋1 =d, 𝑋2 =0, 𝑋3 =1, 𝑋4 =0 ⇒ F=0
Caso 2:
𝑋1 =0, 𝑋2 =1, 𝑋3 =d, 𝑋4 =d ⇒ F=0
Luego los vectores de test serán:
< 𝑋1 , 𝑋2 , 𝑋3 , 𝑋4 > = < 1,1, 𝑚, 0 >
 < 𝑋1 , 𝑋2 , 𝑋3 , 𝑋4 > = < 𝑚, 0,1,0 >
< 𝑋1 , 𝑋2 , 𝑋3 , 𝑋4 > = < 0,1, 𝑚, 𝑚 >

0, 𝑁𝑜 ℎ𝑎𝑦 𝑓𝑎𝑙𝑙𝑜
Tal que 𝐹 = {
1, 𝐸𝑥𝑖𝑠𝑡𝑒 𝑓𝑎𝑙𝑙𝑜 𝑠𝑡𝑢𝑐𝑘 − 𝑎𝑡 − 1

2. Considerando el circuito mostrado, se pide encontrar el vector (o

los vectores) para hacer el test de todo el circuito según el modelo
stuck-at-0 y stuck-at-1.

X1 X2 X3 X4 F
0 0 0 0 0
0 0 0 1 0
0 0 1 0 0
0 0 1 1 1
0 1 0 0 0
0 1 0 1 0
0 1 1 0 0
0 1 1 1 0
1 0 0 0 0
1 0 0 1 0
1 0 1 0 0
1 0 1 1 1
1 1 0 0 0
1 1 0 1 1
1 1 1 0 0
1 1 1 1 1
Tabla de verdad del circuito
 a) Hallar el número total de líneas del circuito.

 Input: 4 lineas
 Nodos: 4 lineas
 out: 1 linea

Para este circuito contamos con un número de líneas 9

b) Para el modelo Stuck-At-0, hallar los vectores de test para todas las líneas del
circuito.

PARA LA ENTRADA X1:

Los vectores de test serán :

<X1, X2, X3, X4> = <1, 1, 0, 1> ; <1, 1, 1, 1>

 PARA LA ENTRADA X2:

Los vectores de test serán :

<X1, X2, X3, X4> = <1, 1, 0, 1> ; <1, 1, 1, 1>

PARA LA ENTRADA X3:

Los vectores de test serán:

<X1, X2, X3, X4>= <0, 0, 1, 1> ; <1, 0, 1, 1>

 PARA LA ENTRADA X4:

Los vectores de test serán

<X1, X2, X3, X4> = <0, 0, 1, 1>; <1, 0, 1, 1>; <1, 1, 0, 1>; <1, 1, 1, 1>

PARA EL NODO “H”:

El vector de test serán:

<X1, X2, X3, X4> = <0, 0, 1, 1>

 PARA EL NODO K:

Los vectores de test serán:

<X1, X2, X3, X4> = <0, 1, 0, 1>; <0, 1, 1, 1>

PARA EL NODO “J”:

Los vectores de test serán:

<X1, X2, X3, X4> = <0, 0, 0, 1>; <1, 0, 0, 1>

 PARAEL NODO L:

Los vectores de test serán:

<X1, X2, X3, X4> = <0, 0, 1, 0>; <1, 0, 1, 0>; <1, 1, 0, 0>; <1, 1, 1, 0>

PARA LA SALIDA F:

Los vectores de test serán:

<X1, X2, X3, X4> = <0, 0, 1, 1>; <1, 0, 1,1>;<1, 1, 0,1>;<1, 1, 1,1>
 c) Para el modelo Stuck-At-1, hallar los vectores de test para todas las líneas del
circuito.

PARA LA ENTRADA X1:

Los vectores de test serán :

<X1, X2, X3, X4> = <0, 1, 0, 1>; <0, 1, 1, 1>

PARA LA ENTRADA X2:

El vector de test serán:

<X1, X2, X3, X4> = <0, 0, 1, 1>

 PARA LA ENTRADA X3:

Los vectores de test serán:

<X1, X2, X3, X4>=<0, 0, 0, 1>; <1, 0, 0, 1>

PARA LA ENTRADA X4:

Los vectores de test serán:

<X1, X2, X3, X4> = <0, 0, 1, 0>; <1, 0, 1, 0>; <1, 1, 0, 0>; <1, 1, 1, 0>
 PARA EL NODO”H”:

Los vectores de test serán:

<X1, X2, X3, X4> = <0, 1, 0, 1>; <0, 1, 1,1>

PARA EL NODO”K”:

Los vectores de test serán :

<X1, X2, X3, X4> = <0, 0, 1, 1>; <1, 1, 0, 1>; <1, 1, 1,1>
 PARA EL NODO”J”:

Los vectores de test serán :

<X1, X2, X3, X4> = <0, 0, 1, 1>; <1, 0, 1, 1>;<1, 1, 0, 1>; <1, 1, 1, 1>

PARA EL NODO”L”:

Los vectores de test serán:

<X1, X2, X3, X4> = <0, 0, 1, 1>; <1, 0, 1, 1>; <1, 1, 0, 1>; <1, 1, 1, 1>
 PARA LA SALIDA “F”:

Los vectores de test serán:

<X1, X2, X3, X4> = <0, 0, 0, 1>; <0,0,1,0>;<0,1,0,1>;<0,1,1,1>;

<1,0,0,1>;<1,0,1,0>;<1,1,0,0>;<1,1,1,0>

d) Hallar el conjunto mínimo de vectores de test y la cobertura alcanzada.

X1 X2 X3 X4 F STUCK AT 0
X1 X2 X3 X4 H K J L F
0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 1 0 0 0 0 0 0 0 1 0 0
0 0 1 0 0 0 0 0 0 0 0 0 1 0
0 0 1 1 1 1 1 1 1 1 1 1 1 1
0 1 0 0 0 0 0 0 0 0 0 0 0 0
0 1 0 1 0 0 0 0 0 0 1 0 0 0
0 1 1 0 0 0 0 0 0 0 0 0 0 0
0 1 1 1 0 0 0 0 0 0 1 0 0 0
1 0 0 0 0 0 0 0 0 0 0 0 0 0
1 0 0 1 0 0 0 0 0 0 0 1 0 0
1 0 1 0 0 0 0 0 0 0 0 0 1 0
1 0 1 1 1 1 1 1 1 1 1 1 1 1
1 1 0 0 0 0 0 0 0 0 0 0 1 0
1 1 0 1 1 1 1 1 1 1 1 1 1 1
1 1 1 0 0 0 0 0 0 0 0 0 1 0
1 1 1 1 1 1 1 1 1 1 1 1 1 1
 X1 X2 X3 X4 F STUCK AT 1
X1 X2 X3 X4 H K J L F
0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 1 0 0 0 1 0 0 0 0 0 1
0 0 1 0 0 0 0 0 1 0 0 0 0 1
0 0 1 1 1 1 1 1 1 1 1 1 1 1
0 1 0 0 0 0 0 0 0 0 0 0 0 0
0 1 0 1 0 1 0 0 0 1 0 0 0 1
0 1 1 0 0 0 0 0 0 0 0 0 0 1
0 1 1 1 0 1 0 0 0 1 0 0 0 0
1 0 0 0 0 0 0 0 0 0 0 0 0 0
1 0 0 1 0 0 0 1 0 0 0 0 0 1
1 0 1 0 0 0 0 0 1 0 0 0 0 1
1 0 1 1 1 1 1 1 1 1 1 1 1 1
1 1 0 0 0 0 0 0 1 0 0 0 0 1
1 1 0 1 1 1 1 1 1 1 1 1 1 1
1 1 1 0 0 0 0 0 1 0 0 0 0 1
1 1 1 1 1 1 1 1 1 1 1 1 1 1

El conjunto mínimo de vectores de test será:

<X1, X2, X3, X4>= <0, 0, 1,1> ------(Este vector se repite 8 veces)
<X1, X2, X3, X4>= <1, 1, 0,1> ------(Este vector se repite 7 veces)
<X1, X2, X3, X4>= <1, 1, 0,0> ------(Este vector se repite 3 veces)

PARA HALLAR LA COBERTURA ALCANZADA USAMOS LA SIGUIENTE FORMULA:

# 𝑭𝑨𝑳𝑳𝑶𝑺 𝑺𝑻𝑼𝑪𝑲𝟎 𝒀 𝑺𝑻𝑼𝑪𝑲𝟏

𝑪𝑶𝑩% = ∗ 𝟏𝟎𝟎
𝟐𝑵

𝟏𝟖
𝑪𝑶𝑩% = ∗ 𝟏𝟎𝟎
𝟗∗𝟐

𝑪𝑶𝑩% = 𝟏𝟎𝟎%

Obtenemos como resultado una cobertura del 100%