SIGNATURE + INPUT. PROPERTIES Circuits signature gives us the ability to check Circuits - if they...

15
SIGNATURE + INPUT
  • date post

    21-Dec-2015
  • Category

    Documents

  • view

    212
  • download

    0

Transcript of SIGNATURE + INPUT. PROPERTIES Circuits signature gives us the ability to check Circuits - if they...

Page 1: SIGNATURE + INPUT. PROPERTIES Circuits signature gives us the ability to check Circuits - if they are undamaged. Checking the output of the CUT vs. a.

SIGNATURE

+INPUT

Page 2: SIGNATURE + INPUT. PROPERTIES Circuits signature gives us the ability to check Circuits - if they are undamaged. Checking the output of the CUT vs. a.

PROPERTIES

Circuits signature gives us the ability to check Circuits - if they are undamaged.

Checking the output of the CUT vs. a known good response is inefficient and not practical.

Using Signature Analysis enables us to check CUT efficiently.

Page 3: SIGNATURE + INPUT. PROPERTIES Circuits signature gives us the ability to check Circuits - if they are undamaged. Checking the output of the CUT vs. a.

The math behind it…

+G (x)

+

SIG. Reg.

…Q (x)

Initial State - I (x) = 0

Final State - R (x)

G (x)R (x)

____ =Q (x) +____

P (x)P (x)

P (x)

It Satisfies this polynomial equation

:

Page 4: SIGNATURE + INPUT. PROPERTIES Circuits signature gives us the ability to check Circuits - if they are undamaged. Checking the output of the CUT vs. a.

The math behind it(2)…

M – Number of bits in stream (input)N – Number of bits in Sig. Reg.The Num. of streams that produces a specific sig. is 2M-N (= 2M / 2N )The Num. of bad streams that will yield good sig. is 2M-N - 1

Page 5: SIGNATURE + INPUT. PROPERTIES Circuits signature gives us the ability to check Circuits - if they are undamaged. Checking the output of the CUT vs. a.

When M>>N the probability for having an unnoticeable mistake is

2M-N - 1 2-N

2M - 1

The math behind it(3)…

So, for as the Sig. Reg. is bigger weget a better approximation on the CUT

Page 6: SIGNATURE + INPUT. PROPERTIES Circuits signature gives us the ability to check Circuits - if they are undamaged. Checking the output of the CUT vs. a.

S-Edit (1_xor_6_SIG)

DFF1 XOR DFF6

Clk

Clr

DFF1 DFF2 DFF3

DFF10

DFF4DFF6 DFF5

DFF8 DFF9DFF7

Inpu

t

Out0

Out1

Out2

Out3Out4

Out5Ou

t6

Out7

Out8

Out9Cl

D

Q

Q

ClD

Q

QCl

D

Q

QCl

D

Q

Q

ClD

Q

QCl

D

Q

QCl

D

Q

Q

ClD

Q

QCl

D

Q

QCl

D

Q

Q

Page 7: SIGNATURE + INPUT. PROPERTIES Circuits signature gives us the ability to check Circuits - if they are undamaged. Checking the output of the CUT vs. a.

L-Edit (1_xor_6_SIG)

Page 8: SIGNATURE + INPUT. PROPERTIES Circuits signature gives us the ability to check Circuits - if they are undamaged. Checking the output of the CUT vs. a.

L-Edit(2) (1_xor_6_SIG)

Page 9: SIGNATURE + INPUT. PROPERTIES Circuits signature gives us the ability to check Circuits - if they are undamaged. Checking the output of the CUT vs. a.

S – Edit Simulation

Page 10: SIGNATURE + INPUT. PROPERTIES Circuits signature gives us the ability to check Circuits - if they are undamaged. Checking the output of the CUT vs. a.

S – Edit Simulation

Page 11: SIGNATURE + INPUT. PROPERTIES Circuits signature gives us the ability to check Circuits - if they are undamaged. Checking the output of the CUT vs. a.

S – Edit Simulation

Page 12: SIGNATURE + INPUT. PROPERTIES Circuits signature gives us the ability to check Circuits - if they are undamaged. Checking the output of the CUT vs. a.

Example of BIST

Page 13: SIGNATURE + INPUT. PROPERTIES Circuits signature gives us the ability to check Circuits - if they are undamaged. Checking the output of the CUT vs. a.

Example of BIST In the prev. slide we see a PRBS that

produce 3-bit seq. that are going through 2 CUT and then checked by the Sig.

Here P(x) = X3+X+1 When CUT is fine then the input to Sig is

- G(x) = X5+X4+X final state is - F(x) = X+1 and the output is - Q(x) = X2+X+1

Page 14: SIGNATURE + INPUT. PROPERTIES Circuits signature gives us the ability to check Circuits - if they are undamaged. Checking the output of the CUT vs. a.

Example of BIST

When the circuit inverter is stuck at 1G(x) = X5+X4+X3+X ; F(x) = 0 ; and Q(x) = X2+X

Both fulfill polynomial eq. as stated above.

Page 15: SIGNATURE + INPUT. PROPERTIES Circuits signature gives us the ability to check Circuits - if they are undamaged. Checking the output of the CUT vs. a.

Example of BIST

Math - the division is with mod 2!

As expected - F(x) = X+1, Q(x) = X2+X+1

G(x) = X5+X4+X, P(x) = X3+X+1

X5+X4+X X3+X+1X2+X+1

X5+X3+X2

X4+X3+X2+XX4+X2+X

X3

X+1X3+X+1