4.

testabilidad del bloque multiplicador 2n x n bits

Para analizar el modelo STUCK-AT-0 y STUCK-AT-1 separamos las salidas en función de

las entradas que lo afectan, así tendremos para R0, R1 y Cout:

Para R0:

A M R0 Rq0 Rr0 Rq1 Rr1 A M R0 q0 r0 q1 r1

0 0 0 0 0 1 1 0 0 0 1 1
0 1 0 0 0 1 1 0 1 0 1 1
1 0 0 0 0 1 1 1 0 0 1 1
1 1 1 0 0 1 1 1 1 1 1 1

para R1:

B M Cin CM R1 R1p0 R1r0 R1t0 R1s0 R1p1 R1r1 R1t1 R1s1

0 0 0 0 0 0 0 0 0 0 0 1 1
0 0 0 1 1 1 1 1 0 1 1 0 1
0 0 1 0 1 1 1 0 1 1 1 1 0
0 0 1 1 0 0 0 1 1 0 0 0 0
0 1 0 0 0 0 0 0 0 1 0 1 1
0 1 0 1 1 1 1 1 0 0 1 0 1
0 1 1 0 1 1 1 0 1 0 1 1 0
0 1 1 1 0 0 0 1 1 1 0 0 0
1 0 0 0 0 0 0 0 0 0 1 1 1
1 0 0 1 1 1 1 1 0 1 0 0 1
1 0 1 0 1 1 1 0 1 1 0 1 0
1 0 1 1 0 0 0 1 1 0 1 0 0
1 1 0 0 1 0 0 1 0 1 1 0 0
1 1 0 1 0 1 1 0 0 0 0 1 0
1 1 1 0 0 1 1 1 1 0 0 0 1
1 1 1 1 1 0 0 0 1 1 1 1 1
B M Cin CM R1 p0 r0 t0 s0 p1 r1 t1 s1
0 0 0 0 0 1 1
0 0 0 1 1 1 1
0 0 1 0 1 1 1
0 0 1 1 0 1 1
0 1 0 0 0 1 1 1
0 1 0 1 1 1 1 1
0 1 1 0 1 1 1 1
0 1 1 1 0 1 1 1
1 0 0 0 0 1 1 1
1 0 0 1 1 1 1 1
1 0 1 0 1 1 1 1
1 0 1 1 0 1 1 1
1 1 0 0 1 1 1 1 1 1
1 1 0 1 0 1 1 1
1 1 1 0 0 1 1 1 1 1
1 1 1 1 1 1 1 1

Para Cout:

B M Cin CM Co C0p0 C0r0 C0t0 C0s0 C0p1 C0r1 C0t1 C0s1

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 1 0 0 0 0 0 0 0 0 0 1
0 0 1 1 1 1 1 0 0 1 1 1 1
0 1 0 0 0 0 0 0 0 0 0 0 0
0 1 0 1 0 0 0 0 0 1 0 1 0
0 1 1 0 0 0 0 0 0 1 0 0 1
0 1 1 1 1 1 1 0 0 1 1 1 1
1 0 0 0 0 0 0 0 0 0 0 0 0
1 0 0 1 0 0 0 0 0 0 1 1 0
1 0 1 0 0 0 0 0 0 0 1 0 1
1 0 1 1 1 1 1 0 0 1 1 1 1
1 1 0 0 0 0 0 0 0 0 0 1 1
1 1 0 1 1 0 0 1 0 1 1 1 1
1 1 1 0 1 0 0 1 1 1 1 1 1
1 1 1 1 1 1 1 1 1 1 1 1 1
B M Cin CM Co p0 r0 t0 s0 p1 r1 t1 s1
0 0 0 0 0
0 0 0 1 0 1
0 0 1 0 0 1
0 0 1 1 1 1 1
0 1 0 0 0
0 1 0 1 0 1 1
0 1 1 0 0 1 1
0 1 1 1 1 1 1
1 0 0 0 0
1 0 0 1 0 1 1
1 0 1 0 0 1 1
1 0 1 1 1 1 1
1 1 0 0 0 1 1
1 1 0 1 1 1 1 1
1 1 1 0 1 1 1
1 1 1 1 1