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

	龙芯2号微处理器的功能验证
	沈海华; 张珩
刊名	计算机研究与发展
	2006
期号	第6期页码:974~979页
关键词	功能验证结构验证处理器设计模拟仿真形式化验证
英文摘要	开发龙芯2号这样的高性能通用处理器是一项极其复杂的艰巨任务.龙芯2号处理器的设计规模和复杂度比龙芯1号增加了许多倍，如何保证设计的正确性是一个重大挑战.简单的系统级测试已经不能满足设计的需要，这就要求采用多种有效的、先进的验证方法和工具帮助设计者尽可能早的发现和改正设计错误.主要介绍了在龙芯2号处理器的设计开发过程中采用的功能验证流程和主要验证方法.模拟仿真是主要的验证手段，新的形式化验证方法也应用到了验证流程当中.
语种	中文
公开日期	2010-10-15
内容类型	期刊论文
源URL	[http://ictir.ict.ac.cn/handle/311040/677]
专题	中国科学院计算技术研究所期刊论文_2006年中文
推荐引用方式 GB/T 7714	沈海华,张珩. 龙芯2号微处理器的功能验证[J]. 计算机研究与发展,2006(第6期):974~979页.
APA	沈海华,&张珩.(2006).龙芯2号微处理器的功能验证.计算机研究与发展(第6期),974~979页.
MLA	沈海华,et al."龙芯2号微处理器的功能验证".计算机研究与发展 .第6期(2006):974~979页.