Wbudowane samotestowanie specjalizowanych urządzeń

Transkrypt

Wbudowane samotestowanie specjalizowanych urządzeń
PRACE NAUKOWE POLITECHNIKI WARSZAWSKIEJ
z. 113
Transport
2016
&(%.!/
Politechnika Warszawska, (,
WBUDOWANE SAMOTESTOWANIE
'"-7;62*1\_X$6|6-{'-$2*1;
RUCHEM DROGOWYM
/: 2016
Streszczenie: " drogowym ! & !%e ruchu drogowymX % stowanie
! ! % !adnieniem. W artykule
przedstawiono metody realizacji wbudowanego samotestowania w specjalizowanych ch
sterowania ruchem realizowanych !] +! G*+, ]
Przedstawiono zastosowanie liniowych generat % “+/ w generacji
pseudolosowych wektorów testowych oraz tworzeniu sygnatur testowanego ]
%G*+, %]
' !
< specjalizowane sterowniki ruchu, wbudowane samotestowanieX !™
walne
1. WPROWADZENIE
" sterowania ruchem drogowym !, %
]/™
!!XX™
#
!Xmikroprocesorowych.
Kolejnym etapem ! !
PLD (Programmable Logic Device)]"%,
Xrzy czym proces
#! ogramowalnych ^ _ porównywalny jest ! . We sterownikach ruchu drogowego wykorzystano “@jedynie acji
# ! % , jak
np. wideodetekcja.
$%
szerszego wykorz !™
nych w budowie sterowników ruchu drogowego przedstawiono w pracach [3, 7]. Zapropo-
152
#!
nowana tam koncepcja obejmuje wykonanie !wraz !™
zowanych przez niego funkcji ! !!] +!
metody projektowania i sterowania ruchem realizowanych
w opa B' (Field Programmable Gate Array), “@Xach [2,3,4].
… ™
ników lokalnych ruchu drogowego realizowanych ™
dach FPGA. + G*+,(Built-In Self-Test). W strukturach BIST !generatory pseudolosowe.
2. '"$6[2*-0-1-$2$\'-&*-1;
PSEUDOLOSOWYCH
…
!G*+,X
natomiast analiza odpowiedzi bazuje na analizie sygnatury. Do generacji wektorów pseu % & ! kongruentne.
B X ] stanem ] B ™
G*+, LFSR (Linear Feedback Shift Register).
LFSR – % X !™
! ] … ] (
]…<dczepów
^_]
%“+/
P(x) =p]@=2 nazywany jest zbiór
elementów {0,1} <^8) oraz iloczynem modulo 2 (9).
(=2 %v5]:
P( x) a0 x 0 a1 x1 a 2 x 2 ˜ ˜ ˜ a n1 x n1 a n x n
(1)
gdzie:
a0 ˜˜˜ an  {0,1} – =2;
x – zmienna;
aN .
Š%an>? wtedy liczba n jest stopniem wielomianu deg(px)](™
P(x) =2, który jest podzielny tylko przez
wielomian P(x) lub 1 =2]) !
P(x) k X%kx+1 jest podzielny przez
P(x)](P(x) stopnia n, którego okres k=2n-1.
Wbudowane !
153
Dla potrzeb testowania wykor“+/!
yklu,
=2. Sekwencja wektorów generowana przez LFSR
X%Y
- ! – 00…0, gdzie okres k=1;
%!!k=2n-1;
- %zwrotnego.
(%!%™
% !] z % X ! ! <
^]1).
C1
C2
Cn
Cn-1
D Q1
D Q2
D Qn-1
D Qn
>
>
>
>
Rys. 1. “+/%
šYv>x
( ! % !
<
™
rzutników (rys. 2).
Cn
Cn-1
C1
Cn-2
D Qn
D Qn-1
D Qn-2
D Q1
>
>
>
>
Rys. 2. “+/%
šYv>x
Sekwencje binarne generowane przez LFSR opisuje wielomian charakterystyczny:
P( x)
1 C1 x C 2 x 2 ˜ ˜ ˜ C n x n
(2)
gdzie:
C=0 – !%Qi;
C=1 – !%Qi.
@% X X X % &
% . Do budowy
takich LFSR % & tablice charakterystycznych wielomianów pierwotnych
%przedstawione w [9].
154
#!
3. SAMOTESTOWANIE SPECJALIZOWANYCH
X$6|6-{STEROWANIA RUCHEM DROGOWYM
Weryfikacja !!konieczna w kon
jaki ] (# X#XX]
(%%™
ploatacyjnych podczas jego normalnej pracy w systemie.
Gy i uszkodzenia sterowników ruchu drogowego realizowanych z wykorzystaniem
! B' ! % # ^ % _] … ™
% & ! ATE (Automated Test Equipment) lub poprzez X ™
wane elementy testowe BIST (Built-In Self-Test).
Niniejsza praca zawiera towania prewencyjnego
gdzie elementy BIST wbudowan ] (™
wej struktury BIST Y
- ;",(Circuit Under Test);
- generator sekwencji testowych TPG (Test Patern Generator);
- analizator odpowiedzi ORA (Output Response Analizer).
C G*+, % X z systemu i poddaniu procesowi testowania X
(rys. 3).
Bist
Start
Kontroler
testu
ROM
sygnatura
Bist
Done
Fail
Generator
sekwencji
testowych
(TPG)
0
.x
(CUT)
Analizator
odpowiedzi
(ORA)
1
:
&&
:
&&
Rys. 3. G*+,
šYv>x
3.1. METODY GENERACJI SEKWENCJI TESTOWYCH
+ ,B ! ! X typów i cech
]B™
Wbudowane !
155
! v1]: deterministyczne; algorytmiczne; {
{ pseudolosowe; %.
(X!™
#X zastosowanie znajduje pseudolosowe generowanie sekwencji testowych.
C ! , do
! rejestry
LFSR. Podstawowy wariant “+/ ego &!] (
%!
przerzutnika wprowadzony !
!^]4).
LFSR
D Q
D Q
>
>
X1
D Q
D Q
>
>
X2
Xn-1
Xn
.&'x.*
Rys. 4]/!“+/
&
(!
&!%!™
jestru jest niekorzystne ze !% ^!_. Stoso
™
%% z nich oddzielnym rejestrem (rys. 5_]$%%&™
nie rejestru LFSR o mniejszym stopniu wielomianu ni% & z rejestrem
+/ (rys. 5b) ”)/^]5c).
LFSR
X1
a)
LFSR
Xn
X1
CUT
LFSR
Xn
X1
b)
SR
Xi
Xi+1
CUT
LFSR
Xn
X1
c)
Xi
Xi+1
Xn
CUT
Rys. 5],%
&Y_“+/{_“+/+/;
c) LFSR i XOR
šYv>x
3.2. -2\17;6\2"2*;-6;X&8X
Analiza odpowiedzi testowanego z wzor % X !% ! % ]( )/'!!
! – pojedynczego
!X
&™
156
#!
!X
X
],
informacji w ORA [8]: koncentracja odpowiedzi; komparacja odpowiedzi; techniki licznikowe; analiza sygnatury; akumulatory; kontrola ]
W architekturze BIST proponowanej dla sterowników ruchu drogowego analizatory odpowiedzi ! ] ( % ! ™
“+/]
Rejestry LFSR tworz n-bitow sygnaturX &!
X ! ] … zastosowanie
rejestru LFSR do tworzenia sygnatury przedstawiono na rysunku 6.
SIRS
C1
...011001
D Q
C2
D Q
>
>
X1
Cn-1
D Q
>
X2
Cn
D Q
>
Xn-1
Xn
Rys. 6. Rejestr SIRS
šYv>x
/
+*/+(Single Input Signature Register).
( +*+/ h przerzutników równy 0] +!
!%“+/ ™
&% n-!!™
] ] (
™
&%!
]
G X % t oddzielony od drugiego do “+/] n ! “+/ ! % wielomianów charakterystycznych i wynosi p(mask) [ 2-n.
+!
%&
&!
poprzez bramki ”)/%&+*/+%!
]/™
! % ] “ MISR (Multiple Input Signature Register) przedstawionego na rysunku 7. Rejestr powinien
!
&
&!%%&
& $*+/] ( $*+/ wszystkich przerzutników równy 0]+!
&!any jest w
% “+/ & % unikalnej n-!!]
Wbudowane !
157
MIRS
d1
Cn-1
C2
C1
Cn
D Q
D Q
D Q
D Q
>
>
>
>
X1
Xn-1
X2
d2
dn-1
Xn
dn
Rys. 7. Rejestr MISR, šYv>x
4. IMPLEMENTACJA BIST W SPECJALIZOWANYCH
STEROWNIKACH RUCHU DROGOWEGO
G
modeli specjalizowanych !. Baza
obejm
sterowników ruchu % !™
, & oraz %podsystemów ITS. )™
&] G zarówno na po
!'«-:@“X%
X]Y
Spartan3 XC3S200 FT256 (rys. 8_X+‚?-100 CP132 (rys. 8b) i innych.
a)
b)
Rys. 8]CB'Ya) XC3S200FT256; b) S3E100CP132
(!G*+,
X3. Przeprowadzone bada!G*+, w specjalizowanych sB'Xia zasobów
przez !G*+,
logiki BIST.
(•:@“!'«-HDL
wyspecyfikowan!“+/%Xktóre wykorzystano
jako generatory sekwencji pseudolosowych (TPG) ! ste-
158
#!
rowników ruchu. (%
&^
244 _dekompozycji przedstawione na rysunku 5. Przeanali & ! !
&X:
- kilka rejestrów LFSR o mniejszym stopniu wielomianu %
&!
(rys. 5a);
- “+/+/^]‘_{
- LFSR ”)/ (rys. 5c).
/ G*+, ™
wanego !!!<<
><
&]Š,B™
korzystano dwa rejestry LFSR, opisane wielomianem charakterystycznym P(x)=1+x9+x11,
jest to wielomianem pierwotny 11-tego stopnia. Rejestr MISR jest opisany wielomianem
charakterystycznym P(x)=1+x6+x8+x11+x12, jest to wielomian pierwotny 12-tego stopnia.
$*+/ ! >< !X ] (
Start_BIST X !
BIST_Done #
!
Fault. Przy , ! „,2·106 wektorów testowych,
!>=v$:x„>vx]
Rys. 9. Implementacja BIST w specjalizowanym sterowniku ruchu drogowego
Wbudowane !
159
! X %
G*+,X%!],ablica numer 1 przedstawia wyko!!xc3s50vp100 sterownika z rysunku 9. Tabela zawiera parametry z implementacji samego bloku logicz! G*+, G*+, % ,B:
LFSR+LFSR; LFSR+SR; LFSR+XOR.
Tablica 1
Wykorzystanie zasobów ¡^“¢)4V¢¢
6+
Sterownik
334/768 (43%)
333/768 (43%)
342/768 (44%)
7X
#
539/1536 (35%) 591/1536 (38%)
590/1536 (38%)
608/1536 (39%)
Przerzutników
168/1536 (10%) 229/1536 (14%)
229/1536 (14%)
218/1536 (14%)
Bloków Slice
WE/WY
Maks. ‡((!#‘4
306/768 (39%)
Sterownik z Sterownik z BIST Sterownik z BIST
(LFSR+SR)
BIST (2xLFSR)
(LFSR+XOR)
35/63 (55%)
37/63 (58%)
37/63 (58%)
37/63 (58%)
259,336 MHz
243,724 MHz
242,014 MHz
238,607 MHz
Przeprowadzone implementacje struktur BIST w specjalizowanych ™
wania ruchem drogowym !]
*
& ! G*+, ! % od
& ! X % ! !
] W badanych przypadka po imG*+,‘-20%.
*G*+,!
po
^>= _]
! ! <== $: “+/ % & ‚‘ & ]
C ! X ! ! X
<X‘ X „w terenie”. Rejestr 35-ego stopnia w tym czasie wygeneruje ~ 34·109 wektorów testowych.
Dla % liczbie &X ,B % nie
z rejestrów LFSR, z TPG zbudowanymi z LFSR+XOR albo LFSR+SR , %™
”)/
&™
!X tomiast w z rejestrami SR
zmniejsza wykorzystanie zasobów kombinacyjnych. Z tabeli 1 wynika, %
&™
bramkami XOR nieznacznie maleje, s
%X%,B%&!zasobami
]
160
#!
5. PODSUMOWANIE
Do realizacji prewencyjnego testowania specjalizowanych sterowników ruchu drogowego
B' G*+,] +# ^% &, logika sekwencyjna) powoduje, % stosowanie BIST, w których generacja wektorów testowych w TPG ™
]"
™
](
!™
rejestry LFSR.
(!“+/!
X X % ! o do
] C“+/
& ™
! ] +
& “+/ !™
X % ^
! LFSR) akceptowalne jest wykorzystanie rejestrów o stopniu wielomianu do 35.
W analizatorach odpowiedzi ORA do tworzenie sygnatury dla testowanego
%“+/](elu zaproponowano rejestr MISR.
Przeprowadzone badania architektur BIST implementowanych w specjalizowanych ste!!X%
&!™
G*+,^<= _X
pomimo implementacji tej dodatkowej logiki,
& jedynie w nieznacznym stopniu.
…%
X %
X X G*+, ™
wan!!B']
Bibliografia
1. Bushnell M. L., Agrawal V. D., Essentials of Electronic Testing for Digital, Memory and Mixed-Signal
VLSI Circuits. Kluwer Academic Publishers, New York, 2002.
2. !]X$!]“!
nr 4/2014, str. 1825->€‚„X*“!$!XX<=>„]
3. !]Xych sterowników ruchu drogowego w reprogramowalnych strukturach logicznych, Politechnika Warszawska, Prace Naukowe - Transport, z.77, str. 27-44,
OWPW, Warszawa, 2011.
4. ! ]X , ! B'X
Politechnika Warszawska, Prace Naukowe - Transport, z.95, str. 115-124, OWPW, Warszawa, 2013.
5. :']X/- analiza, synteza i zastosowania #]C™
…ˆX(ˆXBX>‰]
6. Jha N. K., Gupta S., Testing of digital systems, Cambridge University Press, 2003.
7. ]X!]X+!
FPGA. Pomiary Automatyka Kontrola nr 7 bis’2006, str. 8-10, Agenda Wydawnicza Stowarzyszenia
SIMP, Warszawa, 2006.
8. Stroud C. E., A Designer's Guide to Built-In Self-Test. Kluwer Academic Publishers, 2002.
9. Ward R., Molteno T., Table of Linear Feedback Shift Registers. Electronics technical report No. 2012-1,
Electronics Group, University of Otago, 2012.
Wbudowane !
161
BIST IN SPECIALIZED TRAFFIC CONTROL DEVICES
Summary: Defects and errors occurring during exploitation of road traffic control devices may effect endanger the road safety, hence, testing and diagnostics of road traffic control devices is an issue of crucial significance. The paper presents the methods of execution of built-in self-testing within specialized road traffic
control devices realized within programmable systems. Architecture of built-in self-test (BIST) has been
presented in detail which realizes preventive testing during device idle state. Application has been shown of
linear generators characterized by LFSR feedback within generation of pseudorandomized test vectors as
well as obtaining signatures from system testing. Influence of various BIST structures on performance characteristics of controllers has been analyzed.
Keywords: specjalized traffic control devices, BIST, programmable logic devices