LABORATORIO N°7 DISEÑO PARA TESTABILIDAD: MODELO STUCK-AT-0 Y STUCK -AT-1

[pic 1][pic 2][pic 3][pic 4]

LABORATORIO N°7

DISEÑO PARA TESTABILIDAD: MODELO STUCK-AT-0 Y STUCK -AT-1

PREGUNTAS:

1. De las preguntas del laboratorio N°5: B, C

Elegir 01 (UNA) pregunta considerando las indicaciones dadas en cada pregunta. Adicionalmente se puede reducir el diseño a 3x3 bits.

Se pide:

1. Determinar el número total de líneas del circuito que pueden tener los fallos S-AT-0 y S-AT-1.
2. Hallar el conjunto mínimo de vectores de test para detectar todos los fallos S-AT-0 y fallos S-AT-1.
3. Determinar si hay alguna línea del circuito que no es testable.
4. En el programa DSCH (desde el esquemático) simular el circuito con fallo, como mínimo para 02 de los vectores de test encontrados en la parte b.

SOLUCIÓN:

PREGUNTA B: Diseñar un circuito expandible (tipo matriz) MULTIPLICADOR para números binarios: A (n bits) /B (n bits). Diseño solo con circuitos combinacionales (sin reloj).

• CIRCUITO ESQUEMÁTICO PARA  3X3 BITS

[pic 5]

Donde:

[pic 6]

Es un sumador completo y equivalente a:

[pic 7]

Como se puede observar, este bloque es el que más se repite, por lo que se le hará un análisis por separado y en el multiplicador se considerará como una compuerta para realizar el análisis total del circuito.

• NÚMERO TOTAL DE LÍNEAS.

Para el FULL ADDER

# Líneas = # Entradas + # Salidas + # Nodos

# Líneas = 3 + 2 + 3 = 8

Para el circuito MULTIPLICADOR considerando al FULL ADDER como compuerta:

# Líneas = # Entradas + # Salidas + # Nodos

# Líneas = 6 + 6 + 17 + 1= 30

1.  Determinar el número total de líneas del circuito que pueden tener los 

fallos S-AT-0 y S-AT-1.

# Fallos = 2 x # Líneas total

# Fallos = 2 x 30 = 60 

1. Hallar el conjunto mínimo de vectores de test para detectar todos los fallos S-AT-0 y fallos S-AT-1.

Para determinar el conjunto mínimo de vectores de test para detectar los fallos se analizará por bloques, primero se analizará por separado al FULL ADDER.

Se determinará el conjunto mínimo de vectores de test, tanto para fallos S-AT-0 como para S-AT-1 del FULL ADDER.

[pic 8]

STUCK-AT-1

Al tratarse de un Full Adder, si ingresamos a las entradas “1” lógico se puede detectar cualquier fallo Stuck at 1 en cualquier línea del circuito. Por lo que se concluye que el conjunto mínimo de vectores de test es:

  < A, B, Cin > = <0, 0, 0>

STUCK-AT-0

Para este caso se realiza la siguiente tabla y así determinar el conjunto mínimo de vectores que permite detectar un fallo Stuck at 0 en cualquiera de las líneas del circuito.

...