欢迎来到天天文库
浏览记录
ID:31991778
大小:2.92 MB
页数:68页
时间:2019-01-30
《面向ip包处理的微引擎处理器功能验证方法-.研究》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库。
1、AbstractInthepastdecade,withtherapiddevelopmentofinternetindustry,strongdataprocessingabilityofnetworkprocessorisrequiredwhenit’Sconfrontedwithvariousintemetprotocolsandfastincreasingnetworkbandwidth,throughput-orientedoptimizationofmicro-enginewhichisasthecoreofnetworkproc
2、essorisanimportantdomain011thearchitectureofthenetworkprocessors.Withtheapplicationofthehardwaremulti-threadingtechnology,thedesignofmicro-enginebecomesmorecomplex.Oncethecomplexityofdesignincreased,thecomplexityofverificationwillbeincreasdmuchmore.Therefore,functionalverif
3、icationofmicro—enginebecomesthebottleneckofdesignofmicro-engineprocessorandhowtovalidatemicro-engineintheroundisthedifficultythatwemustface.Functionalverificationtechnologyofmicro—engineprocessorisresearchedinthisthesis.Thetechnologyofhardwaremulti-threadingandsixtyinstruct
4、ionsareusedinmicro—engine,soransackinginstructionspaceisdifficult.Therefore,functionalcoverageandcodecoverageisuesdattheconvergenceofverification.Byestablishingcomprehensivecoveragemodelandinstitutingconvergenteonditionl,thefunctionalverificationofmicro—engineisachievedinth
5、isthesissuccessfully.Theverificationmethodsofconstraintbasedrandomfortheverificationofmicro-engineisusedinthisthesis,manybugsarefoundintheprocess.Afterwarddisadvantageofthismethodisanalysedandtheotherverificationmethodbasedoncoverage—drivenisproposedinthisthesis.Inthismetho
6、d,instructionsareclassifiedaccordingtothetree—structure.Intheprocessofverification,thetree—structurewillbeprunedbyfeedbackinformationoffunctionalcoveragemodelandtheconvergenceofthecoverageisaccelerated.Atlast,convergentconditionisachievedandtheefficiencyofverificationisimpr
7、ovedtoagreatextent.Thefunctionalverificationformicro—engineisaccomplishedeffectively.Keywords:Micro-engineprocessorFunctionalVerificationCoverage-drivenTree.structureRandom目录第一章绪论⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.11.1研究背景⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.11.2国内外发展现状与趋势⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯
8、⋯⋯⋯⋯⋯⋯..11.3课题简介及其研究意义⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.21.3.1课题简介⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯21.
此文档下载收益归作者所有