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

摘要：

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

关键词：功能验证、结构验证、处理器设计、模拟仿真、形式化验证

所属期刊栏目：43

分类号：TP302(计算技术、计算机技术)

资助基金：科技部科研项目2005CB321600;高比容电子铝箔的研究开发与应用项目2005AA110010,2005AA119020

在线出版日期：2006-07-11（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：974-979