面向ip包处理的微引擎处理器功能验证方法-.研究

《面向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．