X86架构的高性能处理器的功能验证
发布时间：2018-10-15 17:34
【摘要】：随着处理器制造工艺尺寸的缩小，处理器的设计规模越来越大，设计的复杂度随之增加，大规模的设计对处理器的功能验证提出了挑战。据统计，功能验证会占据设计周期60%-80%的时间，如何快速高效的验证成为了处理器设计首要解决的问题。 通用处理器的功能验证的主要方法有两种：一是模拟验证，二是形式化验证。由于形式化验证方法受到设计规模所限，在实际的工业化应用中，主要采用是模拟验证方法。本文对通用处理器的功能验证方法进行了研究，完成了Godson-D处理器的指令在实地址模式和虚拟8086模式下的功能验证。本文的主要工作如下： 1、对处理器的指令和处理器的系统结构进行了深入的研究，完成了处理器在不同操作模式上的转换。 2、分析处理器复杂指令的功能，执行过程以及在实地址操作模式和虚拟8086操作模式下运行的特点以及过程，提取指令的功能覆盖点，针对提出的覆盖点编写测试用例（test_case），采用模拟验证的方法，使功能覆盖率和代码覆盖率都达到100%。 3、分析处理器系统指令的功能以及指令运行时处理器中各寄存器的变化，并参考Intel指令手册，编写测试用例，并通过覆盖率分析来调整测试用例的编写，，最终使它的覆盖率达到100%。
[Abstract]:With the reduction of the size of the processor manufacturing process, the design scale of the processor becomes larger and larger, and the complexity of the design increases. The large-scale design challenges the functional verification of the processor. According to statistics, functional verification will occupy 60% to 80% of the time of the design cycle, how to quickly and efficiently verify has become the most important problem in processor design. There are two main methods for functional verification of general purpose processors: one is simulation verification, the other is formal verification. Because the formal verification method is limited by the design scale, the simulation verification method is mainly used in the practical industrial application. In this paper, the function verification method of general purpose processor is studied, and the function verification of Godson-D processor instruction in real address mode and virtual 8086 mode is completed. The main work of this paper is as follows: 1. The instruction of the processor and the system structure of the processor are deeply studied, and the conversion of the processor in different operation modes is completed. 2. The function of analyzing the complex instruction of the processor is analyzed. The execution process, the characteristics and procedures of running in real address operation mode and virtual 8086 operation mode, extract the functional coverage points of instructions, write test cases (test_case) for the proposed coverage points, and adopt the method of simulation verification. Make the function coverage and code coverage reach 100. 3, analyze the function of the processor system instruction and the change of the registers in the processor while the instruction is running, and refer to the Intel instruction manual, write the test case, And through the coverage analysis to adjust the writing of test cases, and finally make its coverage up to 100.
【学位授予单位】：湘潭大学
【学位级别】：硕士
【学位授予年份】：2012
【分类号】：TP332
本文编号：2273290
[Abstract]:With the reduction of the size of the processor manufacturing process, the design scale of the processor becomes larger and larger, and the complexity of the design increases. The large-scale design challenges the functional verification of the processor. According to statistics, functional verification will occupy 60% to 80% of the time of the design cycle, how to quickly and efficiently verify has become the most important problem in processor design. There are two main methods for functional verification of general purpose processors: one is simulation verification, the other is formal verification. Because the formal verification method is limited by the design scale, the simulation verification method is mainly used in the practical industrial application. In this paper, the function verification method of general purpose processor is studied, and the function verification of Godson-D processor instruction in real address mode and virtual 8086 mode is completed. The main work of this paper is as follows: 1. The instruction of the processor and the system structure of the processor are deeply studied, and the conversion of the processor in different operation modes is completed. 2. The function of analyzing the complex instruction of the processor is analyzed. The execution process, the characteristics and procedures of running in real address operation mode and virtual 8086 operation mode, extract the functional coverage points of instructions, write test cases (test_case) for the proposed coverage points, and adopt the method of simulation verification. Make the function coverage and code coverage reach 100. 3, analyze the function of the processor system instruction and the change of the registers in the processor while the instruction is running, and refer to the Intel instruction manual, write the test case, And through the coverage analysis to adjust the writing of test cases, and finally make its coverage up to 100.
【学位授予单位】：湘潭大学
【学位级别】：硕士
【学位授予年份】：2012
【分类号】：TP332
【参考文献】
相关期刊论文 前2条
1 于海;樊晓桠;张盛兵;;32位RISC微处理器FPGA验证平台设计与实现[J];计算机工程与应用;2007年05期
2 何军;王飙;;多核处理器的结构设计研究[J];计算机工程;2007年16期
相关硕士学位论文 前2条
1 蔡钟;媒体处理器的验证平台研究[D];浙江大学;2005年
2 林明煌;多核处理器原型验证平台的研究与实现[D];北京交通大学;2008年
本文编号：2273290
本文链接：https://www.wllwen.com/kejilunwen/jisuanjikexuelunwen/2273290.html
