Research On Function Verification Technology Of On Chip Ring Network Based On X Processor

With the rapid development of the semiconductor industry,and follow the features of Moore's Law,the integration complexity of circuit design is growing at an exponential increase long way to rapid growth,integration of transistors within a single chip has as many billions or even tens of billions The increase in design complexity not only leads to an increase in design costs and design time,but also brings a huge burden on the verification of integrated circuits,especially in functional verification,which occupies most of the time and resources of the entire project development cycle.How to quickly and efficiently verify the function of the chip has become a major challenge facing R & D personnel,has become the focus of current verification field,and is of great significance to the development of integrated circuits.In this thesis,the function verification of the ring NoC module in an X processor chip is taken as the research content.Starting from the development and current situation of verification language,verification methodology and verification technology,this thesis analyzes the functional verification methods in the current integrated circuit in detail.Aiming at the difficulties in the functional verification and the relevant countermeasures,the coverage driven method is used in the verification process of the ring NoC.In order to realize the function verification of the ring NoC,this thesis analyzes the ring NoC module of the processor in detail.As the communication bridge to realize the system on chip,the ring NoC plays a key role in the interconnection communication between the modules on the chip.Therefore,this thesis introduces the ring NoC in detail from the key components and the key strategies to be used in the realization of the ring NoC,and uses this to work on the ring NoC.The corresponding verification requirements are put forward.In the process of verification,in order to improve the efficiency of verification,this thesis uses a coverage driven verification method to verify the ring NoC in combination with the simulation verification technology.In the verification,the idea of genetic algorithm is used to realize the process of self analysis of coverage and the generation of test incentives.Compared with the traditional coverage driven verification method,this method reduces Compared with the traditional method of random incentive generation,it can save the time of incentive generation and improve the efficiency of verification.Finally,in the design and implementation of the verification environment,in order to improve the abstraction level of the environment so that the environment has reusability and scalability,the idea based on System Verilog language and UVM methodology is adopted to design each important component in the environment Implementation,thereby building a hierarchical verification platform and completing verification in the environment.After analyzing the verification results,the related functions of routing,starvation processing and non-blocking mechanism in the ring network are in compliance with the specifications,and finally the code coverage and function coverage of the function points are all up to 100%.