In the past decade, with the rapid development of internet industry, strong dataprocessing ability of network processor is required when it’s confronted with variousinternet protocols and fast increasing network bandwidth, throughput-orientedoptimization of micro-engine which is as the core of network processor is an importantdomain on the architecture of the network processors. With the application of thehardware multi-threading technology, the design of micro-engine becomes morecomplex. Once the complexity of design increased, the complexity of verification willbe increasd much more. Therefore, functional verification of micro-engine becomesthe bottleneck of design of micro-engine processor and how to validate micro-enginein the round is the difficulty that we must face.Functional verification technology of micro-engine processor is researched in thisthesis. The technology of hardware multi-threading and sixty instructions are used inmicro-engine, so ransacking instruction space is difficult. Therefore, functionalcoverage and code coverage is uesd at the convergence of verification. By establishingcomprehensive coverage model and instituting convergent conditionl, the functionalverification of micro-engine is achieved in this thesis successfully.The verification methods of constraint based random for the verification ofmicro-engine is used in this thesis, many bugs are found in the process. Afterwarddisadvantage of this method is analysed and the other verification method based oncoverage-driven is proposed in this thesis. In this method, instructions are classifiedaccording to the tree-structure. In the process of verification, the tree-structure will bepruned by feedback information of functional coverage model and the convergence ofthe coverage is accelerated. At last, convergent condition is achieved and the efficiencyof verification is improved to a great extent. The functional verification formicro-engine is accomplished effectively. |