Metode de generare a testelor aleatoare (Random

Test Generation RTG)

Overview of Fault Testing

FAULT TESTING
(Engineering, Manufacturing, Maintenance)

Correct
design?

Correct
implementation?

Correct
Operation?

F AULT T EST ING

(En gi nee ri ng , Manu fa cturin g, Mai nt

T ES T GE NE RAT ION
(Pres et/A da ptive )

FUNCT IONA L
(Exh aus ti ve/
Heuri stic )

FA ULT
MODE L
swi tc hor gatel evel
(si ngl e/
mul tip le
stuc k-a t,
bri dgi ng ,
etc.)

FA ULT
COV E RA GE

T ES T V A LIDA T ION

S TRUCT URA L
(An al yti c/
Heuri stic )

DIA GNOS IS
E XT E NT
no ne
(che ckou t, go/
no -g o)
to fu ll
reso lu tio n

en anc e)

T ES T A P PL ICA TION

T HE ORE T ICA LE XP E RIMENT AL

A LGORIT HM
D-a lg orithm,
bo ol ean
di ffe ren ce,
etc.

S IMULA FA ULT
T ION
INJ ECso ftware
T ION
(paral l el ,
de duc ti ve,
co ncu rrent) o r
ha rd wa re
(si mul atio n
en gi ne)

E XT E RNA LLY
CONT ROLL ED

MANUAL

A UT OMAT IC
(AT E )

off-l i ne testi ng

INT E RNA LLY

CONT ROLL ED

T ES T
MODE
(BIS T)

CONCURRENT
on -l i ne
testi ng
(sel fch ecke d
de si gn)

Coninutul cursului

Generatoare de secvene pseudoaleatoare

proprieti
structur
polinoame caracteristice
periodicitate

Proprietile regitrilor de deplasare liniari cu

reacie, Linear Feedback Shift Registers (LFSR)

Sunt structuri utilizate frecvent n testarea automat:

n generarea secvenelor binare pseudoaleatoare

n implementarea metodelor de compresie

Datorit caracterului de liniaritate al acestor structuri

rezult c se respect principiul superpoziiei i
anume, rspunsul circuitului la o combinaie liniar
de stimuli se obine ca i combinaie liniar a
rspunsurilor obinute la fiecare stimul individual.

Proprietile LFSR

n structura LFSR se regsesc urmtoarele tipuri de

elemente:

de ntrziere (bistabili D)
de adunare modulo 2
de multiplicare scalar modulo 2

LFSR utilizate n generarea secvenelor

pseudoaleatoare sunt autonome, adic funcioneaz
fr semnale aplicate la intrare (semnalul de ceas
care determin deplasarea datelor n regitrii nu este
considerat o intrare de date).
5

Proprietile LFSR

Toate operaiile care

se fac n
funcionarea LFSR
sunt modulo 2.
Tabela de adevr
pentru adunarea i
scderea modulo 2
este prezentat
alturat.

+/0
1

0
0
1

1
1
0

x x x x x x 0
Rezult c operaiile de
adunare/scdere se pot
realiza prin utilizarea unor
pori SAU EXCLUSIV
6

LFSR autonome - exemple

LFSR autonome - exemple

Proprietile LFSR autonome

Secvenele obinut la ieirea LFSR autonome sunt

ciclice.
Natura secvenelor obinute depinde de:

structura LFSR

numrul de celule de memorie

structura reaciilor din circuit

starea n care a fost iniializat circuitul

Lungimea secvenelor de ieire (ciclice) difer

pentru aceeai structur n funcie de iniializare.

Structura LFSR autonome - prima form

canonic

10

Structura LFSR autonome - a doua form

canonic

11

Structura LFSR autonome - notaii

SI reprezint starea iniial a circuitului

SC reprezint starea curent a circuitului
Constantele ci sunt constante binare pentru operaia
de multiplicare scalar modulo 2. Semnificaia lor
este urmtoarea:

dac cI=1 conexiunea exist;

dac cI=0 conexiunea lipsete.

12

Polinoame caracteristice

O secven de numere a0, a1, a2, , am, poate

fi asociat cu un polinom denumit funcie de
generare sau polinom generator G(x):
G( x) a0 a1x a2 x am x
2

m
a
x
m

m 0

Secvena a0, a1, a2, reprezint secvena de la

ieirea LFSR unde ai=0 sau 1.

13

Funcia de generare pentru prima form

canonic

Pentru prima form canonic starea curent depinde de

strile anteriore putndu-se scrie urmtoarea relaie de
recuren pentru coeficientul am:
am

ci ami

i 1

Considernd starea iniial caracterizat de coeficienii: a-1,

a-2, a-3, , a-n+1,a-n,, se obine urmtoarea relaie pentru
n
polinomul generator:
ci x i (ai x i a1x 1 )
G ( x) i 1

1 ci x i
i 1

14

Funcia de generare pentru prima form

canonic

Polinomul generator a fost exprimat numai n funcie de

strile iniiale : a-1, a-2, a-3, , a-n+1, a-n ale registrului i de
coeficienii de reacie c1, c2,, cn.
Numitorul din definiia obinut pentru polinomul generator
n
se numete polinom caracteristic P(x):
i
i
1

ci x (ai x a1x )

P( x) 1 c1 x c2 x cn x
2

G ( x) i 1

1 ci x i
i 1

P(x) este funcie numai de coeficienii de reacie, deci el

caracterizeaz structura reaciei din circuit.
Pentru un LFSR cu n celule este obligatoriu ca s avem cn=1
15

Funcia de generare pentru prima form

canonic
n

ci x i (ai x i a1 x 1 )

G ( x) i 1

1 ci x i

i 1
Dac starea iniial a registrului este:
a-1=a-2==a1-n=0 i a-n=1,

1
G ( x)
am x m
atunci polinomul generator se reduce la:
P ( x) m 0
Dac secvena generat la ieire este periodic cu perioada
p, se poate rescrie polinomul generator astfel:

G ( x)

1
(a0 a1 x a p 1 x p 1 )
P( x)

x p (a0 a1 x a p 1 x p 1 ) x 2 p (a0 a1 x a p 1 x p 1 )
(a0 a1 x a p 1 x p 1 )(1 x p x 2 p )

a0 a1 x a p 1 x p 1
1 x p

Acest lucru ne arat c polinomul

caracteristic divide pe 1-xp.
16

Funcia de generare pentru prima form

canonic

Se demonstreaz c pentru fiecare polinom generator exist

dou polinoame caracteristice, polinomul P(x) i polinomul
lui reciproc:
*
n 1
P ( x) x P( )
x

n unele situaii polinomul reciproc este identic cu cel

iniial. Dac P(x)=1+x+x2+x3 , atunci P*(x)=P(x). n
schimb, dac P(x)=1+x2+x3, atunci P*(x)=1+x+x3.
Implementrile pentru cele dou polinoame P(x) i P*(x)
genereaz aceleai secvene de ieire.

17

Implementrile pentru polinomul

caracteristic a) i cel reciproc b)

18

Funcia de generare pentru a doua form

canonic

Pentru a doua form canonic, se observ c starea

curent depinde de strile anterioare putndu-se
scrie urmtoarea relaie de recuren pentru
coeficientul am-i:
ami (t 1) ami 1 (t ) cni 1amn (t )

Folosind aceast relaie de recuren se arat c, i

de aceast dat, polinomul caracteristic este:
P( x) 1 c1x c2 x 2 cn x n

El are toate proprietile prezentate anterior.

19

Periodicitatea LFSR

Definiii:

Secvena de lungime maxim este secvena ciclic de

perioad 2n-1 generat de un LFSR cu n etaje.
Polinomul primitiv este polinomul caracteristic asociat
unei secvene de lungime maxim.
Polinomul ireductibil este polinomul care nu poate fi
factorizat, deci este divizibil doar cu el nsui i cu 1.

20

Periodicitatea LFSR

Teoreme:

Dac starea iniial a unui LFSR este a-1=a-2==a1-n=0 i

a-n=1, atunci secvena generat este periodic cu perioada
k, unde k este cel mai mic ntreg pentru care P(x) divide pe
(1-xk).
Un polinom ireductibil P(x) satisface urmtoarele condiii:

Are un numr impar de coeficieni ci=1.

Dac gradul su este mai mare dect 3, atunci P(x) trebuie s
divid pe 1+xk, unde k=2n-1.

Un polinom primitiv de grad n este ireductibil dac cel mai

mic numr ntreg k pentru care P(x) divide pe 1+xk este
k=2n-1
21

Periodicitatea LFSR

Pentru un LFSR de
ordinul n exist n
general mai multe
polinoame primitive
(fr a lua n considerare
polinomul reciproc).
Tabelul alturat prezint
numrul acestor
polinoame pentru
diferite valori ale lui n.

n
1
2
4
8
16
32

nr. polinoame
1
1
2
16
2048
67108864

22

Exemple de polinoame primitive

n
1
2

P(x)

P*(x)

x 1

x 1

x2 x 1

x2 x 1

x3 x 1

x3 x 2 1

x4 x 1

x 4 x3 x 2 1

x5 x 2 1

x5 x3 x 1

x6 x 1

x6 x5 x 4 x3 x 2 1

x7 x 1

x7 x6 x5 x 4 x3 x 2 1

x8 x 6 x5 x 1

x8 x 7 x 4 x3 x 2 1

x9 x 4 1

x9 x8 x 7 x 6 x5 x3 x 2 x 1

x1 0 x 3 1

x1 0 x 9 x 8 x 7 x 6 x 5 x 4 x 2 x 1

7
8
9
10

Utilizarea polinomului P(x) sau a polinomului reciproc P*(x) nu

este indiferent din punct de vedere practic. Cu ct numrul de
termeni este mai mic cu att se utilizeaz mai puine circuite de
sumare pe calea de reacie.
23

Proprietile secvenelor de lungime maxim

Secvenele generate de LFSR care sunt asociate unui

polinom primitiv mai sunt denumite i secvene
pseudoaleatoare. Proprietile lor le fac s fie similare cu
semnalele aleatoare.

P1. ntr-o secven de lungime 2n-1 numrul de bii 1 difer fa de

numrul de bii 0 cu o unitate.
P2. La fiecare reluare a secvenei numrul de uniti binare 1 i 0
este acelai.
P3. n fiecare secven jumtate din ea reprezint succesiuni de bii
diferii de lungime 1, un sfert succesiuni de bii diferii de lungime
2, o optime succesiuni de bii de lungime 3 i aa mai departe.

24

Exemplu de implementare P(x)=x4+x+1,

prima form canonic
U3A
2
3

7474

CLK Q

7474

10

12

11

7474

PRE

C LR

CLK Q

U2A

HI

U2B
Q

CLK Q
13

11

PRE

C LR

12

U1B

CLK Q

PRE

C LR

C LR

U1A

13

PRE

7486

10

9O ut 1
8

7474

Clock
V
V

O F F T I ME = 28u
O NT I ME = 100n
DE LA Y = 0
S T A RTV A L = 1
DS T M2
OPPVAL = 0
CL K

CL K

O F F T I ME = . 3uS
O NT I ME = . 2uS
DE LA Y = 0
S T A RTV A L = 0
DS T M1
OPPVAL = 1

25

Exemplu de implementare P(x)=x4+x+1, a

doua form canonic
U6A
1
3
2

7474

CLK Q

7474

10

12

11

7474

P RE

4
2

CLR

CLK Q

U5A

HI

U5B
Q

CLK Q

13

11

P RE

CLR

10
12

U4B

CLK Q

P RE

CLR

U4A

13

CLR

P RE

7486

9Out2
8

7474

Reset
Clo ck
V

DSTM3

OFFTIME = .3uS
ONTIME = .2uS
DELAY = 0
STARTVAL = DSTM4
0
OPPVAL = 1

CLK

CLK

OFFTIME = 28u
ONTIME = 100n
DELAY = 0
STARTVAL = 1
OPPVAL = 0

26

Metode i tehnici de compresie a datelor

Caracterizarea metodelor de compresie

Metode de compresie

numrarea valorilor binare

numrarea tranziiilor
determinarea paritii
testarea sindromului
analiza de semntur

31

Principiul unui test cu compresie a

datelor

32

Obiective urmrite n implementarea

metodelor de compresie

Metoda trebuie s poat fi implementat prin tehnici (circuite) ct mai

simple.
Tehnica utilizat nu trebuie s introduc ntrzieri suplimentare n
funcionarea circuitului sau s afecteze major timpul de test.
Lungimea semnturii trebuie s fie mult mai mic dect cea a
rspunsului circuitului (comparaia se face pentru o cantitate mult mai
mic de informaie). Aceast performana este caracterizat de gradul
de compresie (GC) definit ca raportul dintre lungimea secvenei de
ieire i lungimea semnturii.
Metoda de compactare nu trebuie s piard informaia util din
rspunsul circuitului, adic s nu mascheze manifestarea defectelor.
Aceast performan este caracterizat prin probabilitatea de mascare
(P) a erorilor.
33

Metoda de compresie bazat pe

numrarea valorilor binare

Rspunsul obinut la ieirea unui circuit const ntr-o succesiune de

valori binare 0 sau 1: R=r1,r2,,rm. Metoda const n numrarea
valorilor binare 1 sau 0 din aceast secven de ieire. Dac se numr
valorile binare 1, atunci semntura este dat de:

S R ri
i

Lungimea semnturii este variabil, fiind determinat de numrul

valorilor binare contorizate:

0 l S R m

Tehnic metoda se implementeaz prin utilizarea unui numrtor

rezultnd n felul acesta un grad de compresie:

GC log2 (m 1)
34

Metoda de compresie bazat pe

numrarea valorilor binare

Pentru a determina probabilitatea de mascare a erorilor considerm c

n Secvena de eire de lungime m investigat exist r uniti binare 1.
Numrul total de secvene care au aceast proprietate, i deci vor avea
aceeai semntur, este
. mr
C

Dintre acestea Cmr 1 reprezint erori n detectarea semnturii.

Numrul total de secvene diferite de lungime m este 2 m 1 . Rezult
de aici c probabilitatea de mascare a erorii dintr-un ir de m bii cu r
valori binare 1 este:

P( M m, r )

r
Cm
1

2m 1
35

Metoda de compresie bazat pe

numrarea valorilor binare

r rezult c
Avnd n vedere variaia cu r a funciei C m
probabilitatea de mascare este mai mic pentru r apropiat de 0
sau apropiat de m i ea are valoarea maxim la mijlocul
m
intervalului ( r ). Dac S(R)=0 sau S(R)=m atunci P=0, deci
2
nu apare nici o mascare de eroare.

Proprieti:

Un defect care determin modificarea unui numr impar de bii din

secvena comprimat va fi totdeauna detectat.
Un defect care determin modificarea valorii logice pentru un numr par de
bii din secvena comprimat este numai posibil de detectat.

36

Metoda de compresie bazat pe

numrarea valorilor binare

Proprieti:

Dac ieirea circuitului analizat se inverseaz, fapt

echivalent cu contorizarea valorilor binare 0, toate
proprietile anterioare nu se modific.
Dac circuitul testat este combinaional i la intrarea lui
se aplic o secven de test pseudoaleatoare, atunci
probabilitatea de mascare a erorilor tinde la:
1
m
Pentru testele pseudoaleatoare probabilitatea de mascare
scade cu creterea lungimii secvenei aplicate. Dac
m, P(M)0.
37

Metoda de compresie bazat pe

numrarea valorilor binare

Exemplu:

38

Metoda de compresie bazat pe

numrarea valorilor binare

Exemplu:

39

Metoda de compresie bazat pe

numrarea tranziiilor

Prin aceast metod se numr, se contorizeaz, tranziiile

care apar dintr-o stare logic n alta, din 0 n 1 i din 1 n 0.
Semntura asociat rspunsului R=r1,r2,,rm este:
S ( R)

m 1

(ri ri 1 )

i 1

Lungimea semnturii obinute este i de aceast dat

variabil: 0 lS ( R) m 1

Tehnic metoda se implementeaz prin utilizarea unui detector

de tranziii urmat de un numrtor care asigur gradul de
compresie: GC log2 m
40

Metoda de compresie bazat pe

numrarea tranziiilor

Considerm c lungimea secvenei de test T este m i n

rspunsul corect asociat acestei secvene apar r tranziii,
deci S(R0)=r. Dac considerm o secven de ieire
arbitrar de aceeai lungime m, atunci exist 2Cmr 1 1
combinaii posibile care au acelai numr de tranziii r.
Lund n considerare toate combinaiile posibile pentru
secvena de lungime m rezult urmtoarea probabilitate
de mascare a erorilor pentru o secven de lungime m cu
r tranziii:
r
PM m, r

2Cm1 1
2m 1

41

Metoda de compresie bazat pe

numrarea tranziiilor

Proprieti:

Spre deosebire de metoda anterioar, este important

ordinea n care apar unitile binare n irul secvenei.
Dac defectul modific un singur bit n secvena de
ieire nu mai este detectat totdeauna eroarea.
Dac defectul modific un singur bit n secvena de
ieire, atunci probabilitatea de mascare devine:
m2
PM m, r
2m
42

Metoda de compresie bazat pe

numrarea tranziiilor

Proprieti:

Dac m, adic secvena de ieire este de lungime

foarte mare, aceast probabilitate (de mascare a
defectului ce modific un singur bit) tinde la valoarea .
n mod similar ca la metoda anterioar se poate
demonstra c probabilitatea global de mascare pentru o
secven pseudoaleatoare de lungime m este:
P( M )

m
43

Metoda de compresie bazat pe

numrarea tranziiilor

Implementare:

44

Metoda de compresie bazat pe

determinarea paritii

Circuitul de compresie prin care se implementeaz metoda realizeaz

o funcie dat de polinomul caracteristic:

p ( x) x 1

n polinomul anterior sumarea se realizeaz modulo 2.

Aa cum poate fi urmrit n exemplul de implementare pentru
determinarea paritii se introduce o reacie. Dac iniial starea
bistabilului este Q=0, atunci semntura este dat de paritatea
rspunsului, adic S(R)=0 pentru paritate par i S(R)=1 pentru
paritate impar.
Se remarc faptul c prin aceast metod lungimea semnturii
obinute este fix, fiind de un singur bit.

45

Metoda de compresie bazat pe

determinarea paritii

Implementare:

46

Metoda de compresie bazat pe

determinarea paritii

Proprieti:

Metoda detecteaz toate erorile ce afecteaz un numr

impar de bii.

n exemplul anterior cele dou defecte luate n considerare

modific cte un bit fa de rspunsul fr defect. Rezult c la
ieirea circuitului de compresie semntura se modific, devine
par din impar.

Defectele ce afecteaz un numr par de bii nu sunt

detectabile.
Pornind de la observaiile anterioare rezult c pentru
m probabilitatea de mascare a erorilor tinde la
valoarea 0,5.
47

Metoda de compresie bazat pe

determinarea paritii

Metoda poate fi uor extins la circuite care au mai

multe ieiri. Ea poate fi implementat n mai multe
moduri pentru aceast situaie.

O variant este cea n care ieirile investigate sunt aplicate la intrarea

unui circuit de tip XOR i ieirea acestuia este apoi introdus n
detectorul de paritate. Soluia nu este oportun pentru situaiile n
care defectul din circuit se manifest prin modificarea unui bit la un
numr par de ieiri deoarece semntura nu se va modifica.
O alt variant, care presupune utilizarea unui numr mare de
circuite, implementeaz cte un detector de paritate pentru fiecare
ieire, semntura fiind un cuvnt reprezentat pe un numr de bii egal
cu numrul ieirilor investigate.
48

Metoda de compresie bazat pe

determinarea sindromului

Aceast metod de compresie se bazeaz pe o testare

exhaustiv a unui circuit combinaional. Pentru aceasta se
aplic la cele n intrri ale circuitului testat toate cele 2n
combinaii posibile.
Se numete sindrom al funciei F realizate de un
anumit circuit raportul:
S (F )

2n

unde N reprezint numrul de min-termeni cu valoarea

1 din funcia F.

49

Metoda de compresie bazat pe

determinarea sindromului

Circuitul pentru calculul sindromului realizeaz n

principiu funcia de numrare a valorilor binare 1 de la
ieirea investigat.
Un defect dintr-un circuit se numete sindrom testabil
dac sindromul circuitului n prezena defectului este
diferit de sindromul circuitului fr defect.
Un circuit este testabil n raport cu un set de defecte dac
i numai dac orice defect din set este sindrom testabil.

50

Calculul sindromului

Pentru un circuit SI cu n intrri sindromul funciei realizate

este:
1
S (F )

2n

Pentru un circuit SAU cu n intrri sindromul funciei

realizate este:
1
S (F ) 1

2n

Pentru un circuit combinaional

oarecare se poate calcula sindromul
apelnd la descompuneri succesive
conform schemei alturate.

51

Calculul sindromului

Dac C1 are la ieire

sindromul S1=S(F) i C2 are la
ieire sindromul S2=S(G),
atunci se poate determina
sindromul funciei de la ieire
innd cont de funcia logic
pe care o realizeaz poarta C
de la ieire.

C1 i C2 nu au intrri comune
Tipul de poarta
Sindromul
pentru C
S3
OR
S1+S2-S1S2
AND
S1S2
NAND
1-S1S2
NOR
1-(S1+S2-S1S2)
XOR
S1+S2-2S1S2

C1 i C2 au intrri comune
Tipul de poarta Sindromul
pentru C
S3
S1 S 2 S ( FG )
OR
S1 S S1S2
AND
2 S ( F G) 1
S (F G ) S (FG )
XOR
52

Calculul sindromului - exemplu

x1

F x1 x2 x3 x4 x3 x4
S (F )

10
16

x2 x3 x4 F

53

PP0

PP0

Calculul
sindromului
- exemplu

x1

x2 x3 x4 F

x1 x2

x3

x4 F

0 0

0 0

1 1

1 1

0 1

0 0

1 0

1 1

0 0

0 0

1 1

1 1

0 1

0 0

1 0

1 1

0 0

0 0

1 1

1 1

0 1

0 0

1 0

1 1

0 0

0 1

1 1

1 1

0 1

0 1

1 0

1 1

S (F ' )

8
16

S (F ' )

54

10
16

Metoda de compresie bazat pe analiza

de semntur

La baza metodei st conceptul de verificare a redundanei

ciclice (cyclic redundancy checking, CRC, - n englez)
Circuitul de compresie const de aceast dat ntr-un
registru de deplasare liniar cu reacie, LFSR, avnd o
singur intrare.
Semntura este reprezentat de coninutul acestui registru
dup momentul recepionrii ultimului bit din irul de bii
ai secvenei analizate.

55

Metoda de compresie bazat pe analiza

de semntur

Utilizarea unui LFSR cu a doua form canonic

56

Metoda de compresie bazat pe analiza

de semntur

Metoda se bazeaz pe conceptul divizrii polinoamelor.

Circuitul efectueaz o operaie de mprire ntre
polinomul G(x) ce caracterizeaz secvena de intrare i
polinomul reciproc al polinomului caracteristic al
registrului, P*(x).
La ieirea circuitului se obine polinomul ct, Q(x).
Gradul cel mai mare al polinomului G(x) corespunde
primului bit ce intr n registru iar gradul cel mai mare
pentru Q(x) corespunde primului bit ce iese din registru
dup aplicarea a n impulsuri de ceas, unde n reprezint
numrul de celule din registru.
57

Metoda de compresie bazat pe analiza

de semntur

Dac n starea iniial a registrului toate celulele

sunt 0, atunci n starea final registrul va conine
restul R(x) al mpririi polinoamelor specificate.
Deci, polinoamele respect relaia:
G ( x)
*

P ( x)

Q( x)

R( x)
P * ( x)

Se utilizeaz polinomul reciproc P*(x) deoarece

coeficientul am corespunde primului bit din irul
datelor de intrare.
58

Metoda de compresie bazat pe analiza de

semntur - ilustrare

P* ( x) 1 x 2 x 4 x 5

G ( x) x 7 x 6 x 5 x 4 x 2 1

La intrarea registrului se aplic secvena: 11110101

59

Metoda de compresie bazat pe analiza de

semntur - ilustrare

60

Metoda de compresie bazat pe analiza de

semntur - ilustrare

Verificarea relaiei de divizare a polinoamelor

Q( x) x 2 1

R( x ) x 4 x 2

P ( x)Q( x) ( x x x 1)( x 1) x x x 1
*

P* ( x)Q( x) R( x) x 7 x 6 x 5 x 4 x 2 1 G( x)

61

Metoda de compresie bazat pe analiza de

semntur

n prezena unor defecte fluxul de date ce constituie rspunsul

circuitului testat este modificat deci, acest flux de date va fi
caracterizat de un polinomul G(x) n locul polinomului G(x).
Diferena dintre cele dou polinoame se numete polinom eroare,
E(x).
Dac de exemplu, n locul secvenei corecte 10111, caracterizat de
polinomul G( x) x 4 x 2 x 1 , la intrarea registrului se recepioneaz
secvena 11101, caracterizat de polinomul G' ( x) x 4 x3 x 2 1 , atunci
vom avea un polinom eroare E( x) G( x) G' ( x) x3 x . n aceast situaie
secvena aplicat la intrarea registrului poate fi scris ca fiind:
G ( x) E ( x)

62

Metoda de compresie bazat pe analiza de

semntur

Secvena eronat de la intrarea registrului va fi detectat ca

atare dac n urma efecturii mpririi celor dou
polinoame G(x) i G(x) restul obinut n registrul LFSR va
fi diferit. n caz contrar se spune c eroarea este mascat.
Din punct de vedere matematic acest lucru este echivalent
cu faptul c:
G ( x) Q( x ) P * ( x) R ( x )
G ' ( x ) G ( x ) E ( x ) Q' ( x ) P * ( x ) R ( x )

63

Analiza de semntur - teoreme

T1. Polinomul corespunztor secvenei corecte G(x) i polinomul

corespunztor secvenei eronate G(x)=G(x)+E(x) dau aceeai
semntur R(x) ntr-un analizor avnd polinomul caracteristic
P(x) dac i numai dac polinomul E(x) este multiplu al
polinomului P(x).
T2. Pentru un analizor de semntur implementat printr-un LFSR
cu polinomul caracteristic de grad n probabilitatea de mascare a
erorilor dintr-un flux de date de intrare de lungime m este:
P( M )

2 mn 1
2m 1

Se observ c dac mn, atunci aceast probabilitate tinde spre

valoarea 2-n. Deci pentru secvene de intrare suficient de lungi
probabilitatea de mascare este dependent numai de gradul
polinomului caracteristic al LFSR.

64

Analiza de semntur - teoreme

T3. Dac polinomul caracteristic al LFSR are doi

sau mai muli coeficieni nenuli, atunci orice eroare
care afecteaz un singur bit din fluxul de intrare
este detectat.
T4. Un analizor de semntur avnd polinomul
caracteristic de grad n i coeficientul lui x0 de
valoare 1 poate detecta toate defectele de tip salv
de lungime k dac nk.

65

Analizor paralel de semnatura

Pentru monitorizarea mai multor ieiri ale

circuitului testat, pentru compresia datelor

69

Analizorului de semntur HewlettPackard

70