Upload
suyog-chavan
View
494
Download
19
Embed Size (px)
Citation preview
7/23/2019 ppt on verification using uvm SPI protocol
1/33
DESIGN AND VERIFICATION OF SPI(SER
PERIPHERAL INTERFACE) PROTOCO
CHAVAN SUYOG MADHU
13MVD0058 Guide:
Prof.Rajeev Pankaj N.
7/23/2019 ppt on verification using uvm SPI protocol
2/33
OBJECTIVES
Design Seria Peri!"era In#erfa$e %SPI & !ro#o$o using Verio
Verifi$a#ion 'sing 'niversa Verifi$a#ion (e#"odoog)
*. Cons#ru$#ing 'V( Tes#+en$" ,r$"i#e$#ure using S)s#e- V
and O+je$# Orien#ed Progra--ing %OOP&.
. Tes#$ases genera#ion for /un$#ionai#) Verifi$a#ion0. (a1i-i2e Coverage
3. /inding Bugs
Too 'sed 45ues#aSi- %(en#or Gra!"i$s&
7/23/2019 ppt on verification using uvm SPI protocol
3/33
INTROD'CTION
SPI %Seria Peri!"era In#erfa$e& is an in#erfa$e #"a# fa$i
#ransfer of syn!"#n#$sseria da#a.
SPI %Seria Peri!"era In#erfa$e& is a s)n$"ronous seria da#a
o!era#es in %$&& '$&*-ode.
I# $o--uni$a#es in -as#er6save -ode 7"ere #"e -as#+n+,+-,s#"e da#a fra-e.
(u#i!e save devi$es are ao7ed 7i#" individua sa
ine%SS&.
7/23/2019 ppt on verification using uvm SPI protocol
4/33
8ITER,T'RE S'RVE9
T"ere are o#"er $o--uni$a#ion !ro#o$os ike ETERNET; '
E1!ress. Bu# #"ese !ro#o$os are -ean# for ou#side #"e +o1
$o--uni$a#ion.
SPI is of#en $onsidered for on
7/23/2019 ppt on verification using uvm SPI protocol
5/33
SPI (OD'8E
7/23/2019 ppt on verification using uvm SPI protocol
6/33
SPI CORE ,RCITECT'RE
7/23/2019 ppt on verification using uvm SPI protocol
7/33
DESIGN /E,T'RES
/u du!e1 s)n$"ronous seria da#a #ransfer
Varia+e eng#" of #ransfer 7ord u! #o *= +i#s
(SB or 8SB firs# da#a #ransfer
R1 and T1 on +o#" rising or faing edge of seria $o$k
inde!enden#)
/u) s#a#i$ s)n$"ronous design 7i#" one $o$k do-ain
7/23/2019 ppt on verification using uvm SPI protocol
8/33
OPER,TION
OPER,TION
7/23/2019 ppt on verification using uvm SPI protocol
9/33
>ISBONE INTER/,CE SIGN,8S
SPI E?TERN,8 SIGN,8S
7/23/2019 ppt on verification using uvm SPI protocol
10/33
CORE REGISTERS 8IST
CONTRO8 ,ND ST,T'S REGISTER%CTR8&
7/23/2019 ppt on verification using uvm SPI protocol
11/33
VERI/IC,TION PROCESS
(ain !ur!ose is #o -ake sure #"e devi$e $an a$$o-!is" #"e #su$$essfu)
/inding Bugs
Verifi$a#ion avoids !rodu$# faiure +) re-oving #"e +ugs
In#egra !ar# of deveo!-en# of an) IP $ore
7/23/2019 ppt on verification using uvm SPI protocol
12/33
S9STE( VERI8OG /OR VERI/IC,TI
ard7are Verifi$a#ion 8anguage
Cons#rained 4rando- s#i-uus genera#ion
/un$#iona $overage
ig"er 8eve s#ru$#ures ;es!e$ia) O+je$# Orien#ed Progra-
7/23/2019 ppt on verification using uvm SPI protocol
13/33
O!en sour$e i+rar) dire$#) !rovided fro- ,$$eera.
Co-!a#i+e 7i#" an) D8 si-ua#or #"a# su!!or#s S)s#e-Veriog
If Tes#+en$" is !ro!er) designed; i# is "ig") reusa+e.
Tes# $ases 7ri##en as se!ara#e $asses.
Configura+e; /e1i+e Tes#+en$"es
,# run #i-e; 7e $an de$ide 7"i$" #es#$ases #o run in 7"i$" order
'NIVERS,8 VERI/IC,TION
(ETODO8OG9 %'V(&
7/23/2019 ppt on verification using uvm SPI protocol
14/33
TESTBENC ,RCITECT'RE
7/23/2019 ppt on verification using uvm SPI protocol
15/33
'V( Cass 8i+rar)
!rovides a #"e +uiding +o$ks : verifi$a#ion $o-!onen#s and
environ-en#s.
T"e i+rar) $onsis#s of +ase $asses; u#ii#ies; and -a$ros.
>e $an e1#end #"is !redefined $ass #o $rea#e our o7n $ass u
In"eri#an$e.e.g . uv-@-oni#or;uv-@#es#;uv-@driver
7/23/2019 ppt on verification using uvm SPI protocol
16/33
VERI/IC,TION P8,N
Des$ri!#ion of 7"a# fea#ures of design need #o +e e1er$ised an#e$"niAues #o +e used .
I . /ea#ures E1#ra$#ion Pan
(ISO and (OSI signas are !ro!er) genera#ed
Da#a #ransfer o$$urs $orre$#) on Nega#ive or !osi#ive edge of $o$k
Transfer of 8SB or (SB +i# firs#
Transfer of varia+e $"ara$#er eng#" 7ord
7/23/2019 ppt on verification using uvm SPI protocol
17/33
Verifi$a#ion Pan%Con#.&
II. Coverage Pan/un$#iona Coverage
Code Coverage
*. Bran$" Coverage
. S#a#e-en# Coverage0. Togge Coverage
3. /EC Coverage
.Covergrou! is 7ri##en 7i#" a !ossi+e $over!oin#s
7/23/2019 ppt on verification using uvm SPI protocol
18/33
TEST CASES OVERVIE.
* ,SS*;8SB*; T1@NEG*; R1@NEG; C"ar eng#"Fd3. ,SS*;8SB; T1@NEG; R1@NEG*; C"ar eng#"Fd00.
0 ,SS*;8SB*; T1@NEG*; R1@NEG; C"ar eng#"Fd00.
3 ,SS*;8SB; T1@NEG*; R1@NEG; C"ar eng#"FdH.
H ,SS*;8SB*; T1@NEG*; R1@NEG; C"ar eng#"Fd.
,SS*;8SB*; T1@NEG*; R1@NEG; C"ar eng#"Fd*.
7/23/2019 ppt on verification using uvm SPI protocol
19/33
* ,SS*;8SB*; T1@NEG*; R1@NEG; C"ar eng#"Fd3.
7/23/2019 ppt on verification using uvm SPI protocol
20/33
UVM REPORT (T"-ns"+, .+n'#/)
7/23/2019 ppt on verification using uvm SPI protocol
21/33
7/23/2019 ppt on verification using uvm SPI protocol
22/33
UVM REPORT (Transcript Window)
7/23/2019 ppt on verification using uvm SPI protocol
23/33
,SS*8SB; T1@NEG; R1@NEG*; C"ar eng#"Fd00.
7/23/2019 ppt on verification using uvm SPI protocol
24/33
0 ,SS*8SB; T1@NEG*; R1@NEG; C"ar eng#"Fd00.
7/23/2019 ppt on verification using uvm SPI protocol
25/33
3 ,SS*8SB*; T1@NEG; R1@NEG*; C"ar eng#"FdH.
7/23/2019 ppt on verification using uvm SPI protocol
26/33
H ,SS*8SB; T1@NEG; R1@NEG*; C"ar eng#"Fd.
7/23/2019 ppt on verification using uvm SPI protocol
27/33
,SS*8SB*; T1@NEG*; R1@NEG; C"ar eng#"Fd*.
7/23/2019 ppt on verification using uvm SPI protocol
28/33
/'NCTION,8 COVER,GE REPORT
7/23/2019 ppt on verification using uvm SPI protocol
29/33
CODE COVER,GE REPORT
7/23/2019 ppt on verification using uvm SPI protocol
30/33
CONC8'SION
T"e Co-!e#e /un$#ionai#) $an +e e1er$ised using 'V(.
'V( is -os# effi$ien# 7a) for +ug de#e$#ion.
Deveo!ing and Verifi$a#ion of IP +e$o-es ver) si-!e +) us
7/23/2019 ppt on verification using uvm SPI protocol
31/33
RE/ERENCES
Tian1iang 8iu and 9unfeng >ang;KIP Design of universa devi$es SPI In#erfa$$onferen$e **.
,.M. Oudjida; (.8. Berrandjia; ,. 8ia$"a; R. Tiar; M. Ta"raoui 9.N. ,"ou-
KDesign and Tes# of Genera
7/23/2019 ppt on verification using uvm SPI protocol
32/33
RE/ERENCES
Jani$k Bergeron; K>ri#ing Tes#+en$"es: /un$#iona Verifi$a#ion of D8 (ode'S; =
7/23/2019 ppt on verification using uvm SPI protocol
33/33
Tan *o#+++