龙芯2号微处理器的功能验证

开发龙芯2号这样的高性能通用处理器是一项极其复杂的艰巨任务．龙芯2号处理器的设计规模和复杂度比龙芯1号增加了许多倍，如何保证设计的正确性是一个重大挑战．简单的系统级测试已经不能满足设计的需要，这就要求采用多种有效的、先进的验证方法和工具帮助设计者尽可能早的发现和改正设计错误．主要介绍了在龙芯2号处理器的设计开发过程中采用的功能验证流程和主要验证方法．模拟仿真是主要的验证手段，新的形式化验证方法也应用到了验证流程当中．

Function Verification of Godson-2 Processor

Developing a new leading edge Godson-2 processor is an immensely complicated undertaking. In the case of Godson-2 processor, the micro-architecture is significantly more complex than the previous Godson 1 processor and how to ensure the function correctness is a great challenge to verification participants. Simple architectural level tests are insufficient to gain confidence in the quality of the design. Detailed plan must be combined with a broad collection of methods and tools to ensure that design defects are detected as early as possible. Described in this paper are the verification flow and methodology in the Godson-2 processor design prior to tape out. Simulation is the dominant method in the design, and the state of art formal method are also used to verify some parts of the design.