UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS
FACULTAD DE INGENIERÍA ELECTRÓNICA Y ELÉCTRICA
CURSO
LABORATORIO DE MICRO/NANO SISTEMAS ELECTRÓNICOS
LABORATORIO NO 7
“MODELOS DE FALLOS PARA PUERTAS LÓGICAS”
GRUPO
L12
HORARIO
LUNES 14:00-16:00
DOCENTE
ALARCON MATUTTI, RUBEN VIRGILIO
INTEGRANTES
LIMA, PERÚ
2022
PREGUNTA 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:
Primero vamos a determinar el número total de líneas del circuito que pueden
tener los fallos:
S-AT-0 y S-AT-1.
# Inputs = 4 x1, x2, x3 y x4
# Nodos = 4 a, b, h y j
#Outputs= 1 F
Por lo tanto, el número de líneas es 9
Pueden existir 18 fallos: 9 stuck at 0 y 9 stuck at 1
Dado el circuito la función lógica de salida es:
F=X2*X3*X4 + X1*X2*X4
X1 X2 X3 X4 Y
0 0 0 0 0
0 0 0 1 0
0 0 1 0 1
0 0 1 1 0
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 1
1 0 1 1 0
1 1 0 0 1
1 1 0 1 0
1 1 1 0 1
1 1 1 1 0
TABLA DE VERDAD DEL CIRCUITO
CIRCUITO EN DSCH
a) Para el modelo Stuck-At-0, hallar los vectores de test para la línea h.
Stuck at 0
I) Disparar el fallo
Asumimos que h no presenta fallas
h=1 (valor complementario del fallo)
II) Propagación del fallo a la salida
Para esto debemos propagar la falla a la salida
s-a-0
s-a-0
s-a-0
Luego se propagará este valor asumido a la salida. Por lo que las líneas tomarán
los siguientes valores:
X1= d
X2= 0
X3= 1
X4= 0 d
0
0 1
0
1 1
0 0
Para el caso de que hubiera falla
0
1
0 0
1 0
0 0
Entonces si h=1, el valor de F sería 1 por tanto no existe falla, pero si h=0, el
valor de F sería 0 entonces existiría falla SA0.
Por lo tanto, el vector de test sería:
< x1,x2,x3,x4 > = < 0,0,1,0 >
A continuación, procedemos a inyectar el fallo en el Dsch2 para la línea h con
fallo stuck at 0.
b) Para el modelo Stuck-At-1, hallar los vectores de test para la línea j.
Stuck at 1
i) Disparar el fallo
j=0 (valor complementario del fallo)
II) Propagación del fallo a la salida
F=1
Para lograr F=1 debemos propagar la falla a la salida, esto lo logramos haciendo
que la línea a y b sean 0 para hacer pasar el fallo a la salida.
0
Valores
necesarios para
no enmascarar
0/1 1/0 el valor de j en
la salida
cuando cambia
a1
0 0
Justificando el valor de las entradas, cuando los nodos a y b son 0
X1 X2 X3 X4
0 0 1 0
1 0 1 0
1 1 0 0
1 1 1 0
Por lo tanto, los vectores de test serían:
< x1, x2, x3, x4 >= < 0, 0, 1, 0 >, < 1, 0, 1, 0 >, < 1, 1, 0, 0 >, < 1,1,1,0 >
Pregunta 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.
En el programa DSCH (solo en el esquemático), del conjunto mínimo de
vectores de test, elegir DOS vectores y simular el circuito con fallo, para una
ENTRADA y para la SALIDA.
1. Hallar el número total de líneas del circuito
.
Inputs = 04
Output = 01
Nodos = 03
Líneas = Inputs + Output + Nodos = 08
Tendremos 16 fallas en total incluyendo la salida.
2. Para el modelo Stuck-At-0, hallar los vectores de test para todas las
líneas del circuito.
Para una salida F=1
Para X1:
El vector es: 〈𝑋1,𝑋2,𝑋3,𝑋4〉=〈1,1,𝑥,0〉
Salida sin fallo
Salida con fallo S-At-0.
Para X2:
El vector es:
〈𝑋1,𝑋2,𝑋3,𝑋4〉=〈1,1,0,0〉
〈𝑋1,𝑋2,𝑋3,𝑋4〉=〈0,1,1,0〉
Salida sin fallo
Salida con fallo S-At-0
Para X3:
El vector es: 〈𝑋1,𝑋2,𝑋3,𝑋4〉=〈𝑥,0,1,0〉
Para X4:
Los vectores son:
〈𝑋1,𝑋2,𝑋3,𝑋4〉=〈1,𝑥,1,0〉
〈𝑋1,𝑋2,𝑋3,𝑋4〉=〈𝑥,0,1,0〉
〈𝑋1,𝑋2,𝑋3,𝑋4〉=〈1,1,𝑥,0〉
Para a:
El vector es:
〈𝑋1,𝑋2,𝑋3,𝑋4〉=〈0,1,𝑥,0〉
Para b:
El vector es:
〈𝑋1,𝑋2,𝑋3,𝑋4〉=〈0,0,1,0〉
Para c:
El vector es:
〈𝑋1,𝑋2,𝑋3,𝑋4〉=〈𝑥,0,0,0〉
Para d:
Los vectores son:
〈𝑋1,𝑋2,𝑋3,𝑋4〉=〈1,𝑥,1,1〉
〈𝑋1,𝑋2,𝑋3,𝑋4〉=〈1,1,𝑥,1〉
Para F:
Los vectores son:
〈𝑋1,𝑋2,𝑋3,𝑋4〉=〈1,𝑥,1,0〉
〈𝑋1,𝑋2,𝑋3,𝑋4〉=〈1,1,𝑥,0〉
〈𝑋1,𝑋2,𝑋3,𝑋4〉=〈𝑥,0,1,0〉
[Link] el modelo Stuck-At-1, hallar los vectores de test para todas las
líneas del circuito.
Para X1:
El vector es:
〈𝑋1,𝑋2,𝑋3,𝑋4〉=〈0,1,𝑥,0〉
Salida sin fallo
Salida con fallo S-At-1
Para X2:
El vector es:
〈𝑋1,𝑋2,𝑋3,𝑋4〉=〈0,0,1,0〉
Salida sin fallo
Salida con fallo S-At-1
Para X3:
El vector es:
〈𝑋1,𝑋2,𝑋3,𝑋4〉=〈𝑥,0,0,0〉
Para X4:
Los vectores son:
〈𝑋1,𝑋2,𝑋3,𝑋4〉=〈1,𝑥,1,1〉
〈𝑋1,𝑋2,𝑋3,𝑋4〉=〈1,1,𝑥,1〉
〈𝑋1,𝑋2,𝑋3,𝑋4〉=〈𝑥,0,1,1〉
Para a:
Los vectores son:
〈𝑋1,𝑋2,𝑋3,𝑋4〉=〈𝑥,0,1,0〉
〈𝑋1,𝑋2,𝑋3,𝑋4〉=〈1,𝑥,1,0〉
〈𝑋1,𝑋2,𝑋3,𝑋4〉=〈1,1,𝑥,0〉
Para b:
El vector es:
〈𝑋1,𝑋2,𝑋3,𝑋4〉=〈0,1,𝑥,0〉
Para c:
Los vectores son:
〈𝑋1,𝑋2,𝑋3,𝑋4〉=〈𝑥,0,1,0〉
〈𝑋1,𝑋2,𝑋3,𝑋4〉=〈1,𝑥,1,0〉
〈𝑋1,𝑋2,𝑋3,𝑋4〉=〈1,1,𝑥,0〉
Para d:
Los vectores son:
〈𝑋1,𝑋2,𝑋3,𝑋4〉=〈𝑥,1,𝑥,0〉
〈𝑋1,𝑋2,𝑋3,𝑋4〉=〈1,𝑥,1,0〉
Para F:
Los vectores son:
〈𝑋1,𝑋2,𝑋3,𝑋4〉=〈𝑥,0,1,1〉
〈𝑋1,𝑋2,𝑋3,𝑋4〉=〈1,𝑥,1,1〉
〈𝑋1,𝑋2,𝑋3,𝑋4〉=〈1,1,𝑥,1〉
〈𝑋1,𝑋2,𝑋3,𝑋4〉=〈1,𝑥,1,𝑥〉
〈𝑋1,𝑋2,𝑋3,𝑋4〉=〈1,1,𝑥,𝑥〉
〈𝑋1,𝑋2,𝑋3,𝑋4〉=〈𝑥,1,𝑥,𝑥〉
〈𝑋1,𝑋2,𝑋3,𝑋4〉=〈1,1,𝑥,𝑥〉
d) Hallar el conjunto mínimo de vectores de test y la cobertura alcanzada.
Vectores minimos de vectores
<x1 x2 x3 x4 ><0000> , <0010>,<0011>,<0110>,<1010>
Cobertura alcanzada = (n° fallas/2N )*100% =100%
PREGUNTA 3:
De las siguientes preguntas del Laboratorio N° 5: Diseño matricial de
3bits, del multiplicador en binario natural o el multiplicador en
complemento a dos.
Elegir 01 (UNA) pregunta como mínimo, considerando las indicaciones
dadas en cada pregunta.
Se pide:
a) Determinar el número total de líneas del circuito que pueden tener los
fallos S-AT-0 y S-AT-1.
b) Hallar el conjunto mínimo de vectores de test para detectar todos los
fallos S-AT-0 y fallos S-AT-1.
c) Determinar si hay alguna línea del circuito que no es testable.
d) En el programa DSCH (solo en el esquemático) simular el circuito con
fallo, como mínimo para 02 de vectores de test encontrados en la parte
b.
Solución:
a) Determinar el número total de líneas del circuito que pueden tener los
fallos S-AT-0 y S-AT-1.
Seleccionamos el multiplicador:
Para el conteo se procede a analizar bloque a bloque solamente las entradas
como se muestra a continuación: Bloque Rojo (AND), Bloque Azul (FULL
ADDER), Boque Verde (LED).
Dentro de cada bloque se colocará solamente las entradas diferentes:
b) Hallar el conjunto mínimo de vectores de test para detectar todos los
fallos S-AT-0 y fallos S-AT-1.
Dado que para el S-AT-1 el vector <A, B, C, D>=<0,0,0,0>, detecta todas las
fallas, procedemos a obtener el vector para el vector S-AT-0.
Para la Línea “a”:
Vectores de Test
< 1,0,1 > -> Fallo: Sum=1,Cout=0
< 1,0,0 > -> Fallo: Sum=0
< 1,1,1 > -> Fallo: Sum=0
< 1,1,0 > -> Fallo: Sum=1,Cout=0
Para la Línea “b”:
Vectores de Test
< 0,1,1 > -> Fallo: Sum=1,Cout=0
< 0,1,0 > -> Fallo: Sum=0
< 1,1,1 > -> Fallo: Sum=0,
< 1,1,0 > -> Fallo: Sum=1,Cout=0
Para la Línea “c”:
Vectores de Test
< 0,1,1 > -> Fallo: Sum=1,Cout=0
< 1,0,1 > -> Fallo: Sum=1,Cout=0
< 1,1,1 > -> Fallo: Sum=0
< 0,0,1 > -> Fallo: Sum=0
Para la Línea “d”:
Vectores de Test
< 0,1,1 > -> Fallo: Sum=1,Cout=0
< 0,1,0 > -> Fallo: Sum=0
< 1,0,1 > -> Fallo: Sum=1,Cout=0
< 1,0,0 > -> Fallo: Sum=0
Para la Línea “e”:
Vectores de Test
< 1,1,d > -> Fallo: Cout=0
Para la Línea “f”:
Vectores de Test
< 1,0,1 > -> Fallo: Cout=0
< 0,1,1 > -> Fallo: Cout=0
Para la Línea “g”:
Vectores de Test
< 1,0,0 > -> Fallo: Sum=0
< 0,1,0 > -> Fallo: Sum=0
< 0,0,1 > -> Fallo: Sum=0
< 1,1,1 > -> Fallo: Sum=0
Para la Línea “h”:
Vectores de Test
< 1,1,d > -> Fallo: Cout=0
< 0,1,1 > -> Fallo: Cout=0
< 1,0,1 > -> Fallo: Cout=0
De la tabla se obtiene que el mínimo número de vectores para el test son
<X1, X2, Cin> = {< 1,0,1 >; < 1,1,1 >}
STUCK AT 0
Bajo ese análisis sobre el sumador completo, procedemos a realizar el
STUCK AT 0 para todo el circuito en el que se observa que por medio del
vector <A2 A1 A0 B2 B1 B0 > = <1 1 1 1 1 1 >
Se observa que casi todas las líneas se pueden detectar el STUCK AT 0, la
cual nos falta para las líneas de salida que tiene P1, P2, P3.
Por medio del vector <A2 A1 A0 B2 B1 B0 > = <1 1 1 0 1 0 >, nos permite
detectar todos los STUCK AT 0.
STUCK AT 1
Bajo ese análisis sobre el sumador completo, procedemos a realizar el
STUCK AT 0 para todo el circuito en el que se observa que por medio del
vector <A2 A1 A0 B2 B1 B0 > = <1 1 1 0 0 0 >
Por medio del vector <A2 A1 A0 B2 B1 B0 > = <0 0 0 1 1 1 >, nos permite
detectar todos los STUCK AT 1 que se pueden detectar
Vectores Mínimos de test:
STUCK AT 0
<A2 A1 A0 B2 B1 B0 > = <1 1 1 1 1 1 >
<A2 A1 A0 B2 B1 B0 > = <1 1 1 0 1 0 >
STUCK AT 1
<A2 A1 A0 B2 B1 B0 > = <1 1 1 0 0 0 >
<A2 A1 A0 B2 B1 B0 > = <0 0 0 1 1 1 >
c) Determinar si hay alguna línea del circuito que no es testable.
Debido a que hay una línea conectada a tierra y otras 3 líneas que pueden
ser testables bien para el STUCK AT 0 o para el STUCK AT 1, pero no para
las 2, decimos que las siguientes líneas son no testables.
d) En el programa DSCH (solo en el esquemático) simular el circuito con
fallo, como mínimo para 02 de vectores de test encontrados en la parte
b.
STUCK AT 0
STUCK AT 1
