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

Abstract Abstract In the the decade,with ofinternet data past rapiddevelopmentindustry,strong ofnetwork is whenit’Sconfrontedwithvarious processingability processorrequired intemet andfast network protocols increasing of whichisasthe micro-engine coreofnetwork isan optimization processorimportant 011the the domain architectureof network the ofthe processors．Withapplication hardware of becomesmore multi-threadingtechnology,thedesignmicro-engine the of of will verification complex．Oncecomplexitydesignincreased，thecomplexity beincreasdmuch verificationof becomes more．Therefore，functional micro—engine thebottleneckof of andhowtovalidate designmicro-engineprocessor micro-engine intheroundisthe thatwemust difficulty face． Functionalverification of isresearchedinthis technologymicro—engineprocessor thesis．The ofhardware and instructionsareusedin technology multi-threadingsixty instructionis micro—engine,soransacking space andcode isuesdatthe of coverage coverage convergenceverification．Byestablishing modeland functional comprehensivecoverage institutingconvergen