龙芯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页. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论