X86架构的高性能处理器的功能验证-计算机科学与技术专业论文.docxVIP

II II Abstract With the technology dimension, the complexity and the scale of processor design are increasing. Functional verification of large-scale processor has been a challenge. According to statistics, function verification will account for 60% -80% of the entire design cycle. How to verify the function quickly and efficiently has become the primary problem of processor design. There are two kinds of methods for the functional verification of the general-purpose processor, one is simulation based verification, and the other is formal verification. Formal verification method can only handle small-scale design in actual industrial applications. So verification engineers often use simulation method. In this thesis, we study the functional verification of the general-purpose processor and verify a processor named Godson-D in real-address mode and virtual 8086 mode. Godson-D is a general-purpose processor based on x86 architecture. The main contributions of this thesis are as follows: The system architecture and the instruction set of the processor are studied, base on which the switch of the processor in different modes of operation is completed. Analyses are given on the function, the operational characteristics and the operational process of complex instructions of the processor. The function coverage points of instructions are summaried, and test_cases are written for the proposed coverage points, achieving 1000%code coverage and functional coverage of the RTL design. Analyses are given onthe function of system-management instruction of the processor. Function points according to the Intel’s manual Instruction Set Reference, System Programming Guide are extracted for system-management instruction including all kinds of exceptions during the running of instructions. Keywords: processor functional verification instruction simulation-based verification PAGE PAGE IV 目 录 HYPERLINK \l _bookmark0 第 1 章 绪论 1 HYPERLINK \l _bookmark1 1.1 国内外研究进展 1 HYPERLINK \l _b