论文部分内容阅读
随着处理器制造工艺尺寸的缩小，处理器的设计规模越来越大，设计的复杂度随之增加，大规模的设计对处理器的功能验证提出了挑战。据统计，功能验证会占据设计周期60%-80%的时间，如何快速高效的验证成为了处理器设计首要解决的问题。通用处理器的功能验证的主要方法有两种：一是模拟验证，二是形式化验证。由于形式化验证方法受到设计规模所限，在实际的工业化应用中，主要采用是模拟验证方法。本文对通用处理器的功能验证方法进行了研究，完成了Godson-D处理器的指令在实地址模式和虚拟8086模式下的功能验证。本文的主要工作如下：1、对处理器的指令和处理器的系统结构进行了深入的研究，完成了处理器在不同操作模式上的转换。2、分析处理器复杂指令的功能，执行过程以及在实地址操作模式和虚拟8086操作模式下运行的特点以及过程，提取指令的功能覆盖点，针对提出的覆盖点编写测试用例（test_case），采用模拟验证的方法，使功能覆盖率和代码覆盖率都达到100%。3、分析处理器系统指令的功能以及指令运行时处理器中各寄存器的变化，并参考Intel指令手册，编写测试用例，并通过覆盖率分析来调整测试用例的编写，最终使它的覆盖率达到100%。