VIP及其在验证平台中应用的研究

《VIP及其在验证平台中应用的研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、国内图书分类号：TP311．1西南交通大学研究生学位论文VlP及其在验证平台中应用的研究年级三QQ璺级姓名篮签矗申请学位级别亟±专业控型堡诠皇控制王握指导教师夔澄夔攫二00七年五月西南交通大学硕士研究生学位论文第1I页AbstractWiththerapidimprovementofSiliconabilityanddesignability．inordertomeettherequirementofmarketforCost，functionandpower，SoC(SystemonaChip)tech

2、nologyhasbecomeadevelopingtrend．Asa11weknow，Moore’Slaw(thetransistorcountsintegratedinonechipwillbedoubleevery18months)hasalwaystakenplaceduringtheevolutionprocessofintegratecircuits，thusthescaleandfunctionofSoCareexpandingrapidly，whichmakesverificationmo

3、reandmoreimportant．Nowadays，verificationhasbecomethebottleneckofthewholeSoCdesignprocess．MoreandmoreadvancedverificationtechniquesareusetodealwiththeverificationproblemsofcomplexSoCsystem，andareusedtodetectbugshiddeninthesystemdeeplY．Perhapsverificationen

4、gineerscouldfindmostproblemsofSoCifgivenenoughtime．Butwhile1imitedbytimetomarket，theyalsoneedtheguideofsomeeffective，time—savingverificationmethodology．ThispaperiSapartoftheNationalHigh—techResearchandDevelopmentProgram(863Program)“Designandimplementofnet

5、workaudioandvideosignals”．ThemainaimofthepaperistobringforwardadesignapproachofVerificationIntellectualProperty(VIP)aftersomediscussionandresearchonpopularverificationtechniques．TheVIPsdesignedunderthiSapproachhaveahighabstractlevel．andtheycouldbereusedin

6、theverificationprocessofoneSoCprojectorseveralSoCprojects．ThistypeofIPcouldshortenthetimeofbuildingverificationplatform．enhanceverificationefficiency，andsolvethebottleneckofverificationproblem．Thepaperbringsforwardsaverificationmethodologybasedonhighabstr

7、actlevelandmulti-layers．WeselectanIEEEstandardhardwarelanguageSystemVerilogtoimplementthemethodologybecauseofitsspecialty．ThepapergivesemphasistofunctionanddesignapproachofVIP’Scomponents，buildsa11componentsintoacomplete西南交通大学硕士研究生学位论文第lIl页verificationenv

8、ironment，andanalyzesthedesignmethodsoflayeredverificationplatform，includingprinciplesofcomponentswithintheplatform．Attheendofthepaper，weconstructabusmonitormodel，whichbasesonAMBA2．0APBbus．andbuiidaverificationplatfo