Research Of Technologies To Improve The Efficiency Of X Microprocessor Verification

As the complexity of microprocessor design increasing,the Functional Verification becomes more and more difficult.X microprocessor is a complex one of full-customed CISC general processors.Based on the study of system level verification of X microprocessor,some technologies of improving the efficiency of verification are researched in the paper,including:1. Studying the methods and flow of system level functional verification of X microprocessor. We use several functional verification methods,including software simulate,acceleration,FPGA emulation, prototype system,and formal verification.2. In order to make the functional verification go on wheels, the paper presents an good coding-style and improves the model of some cells. We presents some good methods to pack up schematic,in order to make the partition of module be appropriate for functional verification.3. Studying the use of the regresstion test in the system level functional verification of X microprocessor.The paper presents several methods to improve the efficiency of regresstion test. And implements the automatization of regresstion test. In this paper,we use regresstion test to check the functional equivalence between synthesizable netlist and original netlist. It is very important.4. Some aided tools are developed in this paper.They are also helpful in the project.The paper also presents the possibility of packing up schematic automatically.It will improve the efficiency of design and verification.