Documente Academic
Documente Profesional
Documente Cultură
2014 Curs 6 TT
2014 Curs 6 TT
Correct
design?
Correct
implementation?
Correct
Operation?
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
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
T ES T
MODE
(BIS T)
CONCURRENT
on -l i ne
testi ng
(sel fch ecke d
de si gn)
Coninutul cursului
proprieti
structur
polinoame caracteristice
periodicitate
Proprietile LFSR
de ntrziere (bistabili D)
de adunare modulo 2
de multiplicare scalar modulo 2
Proprietile LFSR
+/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
structura LFSR
10
11
12
Polinoame caracteristice
m
a
x
m
m 0
13
ci ami
i 1
1 ci x i
i 1
14
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
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
17
18
Periodicitatea LFSR
Definiii:
20
Periodicitatea LFSR
Teoreme:
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
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
24
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
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
31
32
S R ri
i
0 l S R m
GC log2 (m 1)
34
P( M m, r )
r
Cm
1
2m 1
35
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:
36
Proprieti:
Exemplu:
38
Exemplu:
39
m 1
(ri ri 1 )
i 1
2Cm1 1
2m 1
41
Proprieti:
Proprieti:
m
43
Implementare:
44
p ( x) x 1
45
Implementare:
46
Proprieti:
2n
49
50
Calculul sindromului
2n
2n
51
Calculul sindromului
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
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
55
56
P ( x)
Q( x)
R( x)
P * ( x)
P* ( x) 1 x 2 x 4 x 5
G ( x) x 7 x 6 x 5 x 4 x 2 1
59
60
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
62
63
2 mn 1
2m 1
64
65
69
70