基于fpga的usb3.0原型驗證平臺的建立

1、杭州電子科技大學碩士學位論文基于FPGA的USB3.0原型驗證平臺的建立姓名：馮雷廷申請學位級別：碩士專業(yè)：集成電路工程指導教師：李訓根201105杭州電子科技大學碩士學位論文A B S T R A C TA st h es c a l ea I l dc o m p l e x i t yo fi n t e g r a t e dc i r c u i td e s i g nc o n t i n u e s t oi n c r

2、 e a s e ，t h e v e r i f i c a t i o no f i n t e g r a t e dc i I c u i tV e r i f i c a t i o nh a sb e c o m e V e r y d i f f i c u l t ．T h es i z eo ft h e c h i p h a se n t e r e d s c a l eo f t h et e n m i l

3、l i o na n d a c c o r d i n g t oM o o r e 、s L a w ：t h e s i z eo ft h e c h i p i s s t i l l d u b l i n g e V e r yt w oy e a r s ．T oc o m p l e t e t h e c h i p V e r i f i c a t i O n ，t h ec o m p l e x i t y

4、o f v e r i f i c a t i o na tt h er a t eo f i n c r e a s i n g i sa l m o s td o u b l et h ec o m p l e x i t yo fc h i pd e s i ?。甒 i t hc h i pf u n c t i o nb e c o m e sm o r ec o m p l e x ，t h eV e r i f i c a

5、t i o no fc h i pi sb e c O m i n g m o f e d i f f i c u l t ．I n t h e I C d e s i g n i n d u s t r y ， p e o p l e s t u d i e d m o r e ．S o f t w a r e - b a s e ds i m u l a t i o n ，s i m u l a t i o nb a s e do

6、nh a r d w a r eo nh a r d w a r ea c c e l e r a t i o n ，h a r d w a r e 。b a s e d v e r i f i c a t i o n a n d F P G A - b a s e d p r o C o t y p i n g V e r i f i c a t i o n h a d b e e np r o p o s e do n e a f

7、t e r a n o t h e r ．V e “f i c a t i o no fs o f t w a r e - b a s e ds i m u l a t i o n i st o os l o w ．T h es p e e d i nV e r i f i c a t i o nb a s e do n h a r d w a r ea c c e l e r a t i o nh a si n c r e a s e

8、 d ，b u ts t i l ln o tV e r ym o r ec o n l p a r e dt o t h e l a s t t w o ．T h es p e e do fh a r d w a r e - b a s e dV e r i f i c a t i o n i s t h ef a s t e s t ，b u t i t i s V e r ye x p e n s i V e ．T h e s p

9、 e e d o fF P G A - b a s e dV e r i f i c a t i o n i s f a s t e rc o m p a r e d t ot h ef i r s tt w o ．F P G A V e r i f i c a t i o ne n V i r o m e n ti s V e r yd o s e t ot h er e a le n v i r o n m e n to f t h

10、 ec h i p d e s i g n ．F i r s t l y ， t h e p a p e r i n t r o d u c e s t h e t W o m a i n V e r i f i c a t i o n m e t h o d s ， f o m a lv e r i f i c a t i o n a n d f u n c t i O n a l v e r i f i c a t i o n ．

11、F o n n a l v e r i f i c a t i o n h a s t h r e e m e t h o d s ：e q u i v a l e n c ec h e c k i n g ，m o d e lc h e c k i n g ，T h e o r e mP r o V e n ．T h e o r ya n da p p l i c a t i o n o ff b m a lv e r i f i c

12、 a t i o ni si n t r O d u c e di nd e t a i la n d t h e i ra d V a n t a g e sa n d d i s a d V a n t a g e sa r ea n a l y z e d ．F U n c t i o n a l V e r i f i c a t i o n h a s f o u r m e t h o d s ： s o f t w a r

13、 e - b a s e d s i m u l a t i o n ，s i m u l a t i o n b a s e d o n h a r d w a r e a c c e l e r a t i o n ， h a r d w a r e —b a s e d v e r i f i c a t i o n a n dF P G A - b a s e d p r o t o t y p i n g V e r i f

14、i c a t i o n ． S i m i l a r l y ， t h e o r y o f V e r i f i c a t i o n ， n o wo fv e r i f i c a t i o n ，a d V a n t a g e sa n d d i s a d V a n t a g e s O f t h i sm e t h o d a r ea n a l y z e di nd e t a i l

15、．B a s e d O n t h ea I b o v ea n a l y s i s ，ap r o t o t y p e V e r i f i c a t i o np l a t f o m b a s e d o nF P G A i sf o u n d e d ．I ti su s e df o rU S B 3 ．OV e r i f i c a t i o n ．B a s e do n d e s i g n

16、r e q u i r e m e n t s ，w eu s e dE P 4 S G X 5 3 0w h i c hi s p r o d u c t o f A l t e r a C o n l p a n y ．』6 Ⅱo u n dt h e F P G A ，t h e r e i sT U S B l 3 1 0w h i c h i sp r O d u c to fT iC o m p a n yf b ru s

17、b 3 ．Op h y s i c a ll a y e r ．I nt e m so fv e r s a t i l i t y ，w ec h o O s ea1 0 to fu n i V e r s a lc h i p s ．I n 0 r d e rt O i n c r e a s et h er e l i a b i l i t yo fF P G A p l a t f o n l l ， w e a n a l

18、y s i s t h e p r o b l e m o f b o a r d - l e V e l d e s i g n a n d g i V e t h ec o r r e s p o n d i n g s o l u t i o n s ．I nt h ep a p e r ，w e t a l ka b o u t m u l t i - F P G AV e “f i c a t i o np l a t f b