收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

一种面向复杂处理器的指令验证方法

孙健  张雪  刘明  杨阳  张瑞  
【摘要】:随着数字集成电路复杂度不断的提高,其中处理器的指令数目越来越多、功能也更加复杂,传统的验证方法已经不能解决复杂处理器指令验证面临的问题,且指令的功能验证在整个集成电路功能验证中的比重也越来越重,因此,处理器的指令验证成为制约当前集成电路功能仿真验证发展的重要因素之一。本文基于一款LEONⅡ处理器,提出了一种高效、可靠的复杂处理器指令的自动化验证方法,该方法极大的缩短验证周期,将指令验证周期相比传统的指令验证方法提高了70%以上,同时该方法为其他处理器的指令验证提供了一种可借鉴的方法。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 钱斌,付宇卓;一种基于虚指令集技术构建快速的可重用的指令集仿真器的方法[J];计算机工程与应用;2005年12期
2 洪龙;陈燕俐;朱梧槚;;80486极小指令集及其构造性证明[J];南京邮电大学学报(自然科学版);2006年04期
3 侯波涛;;基于虚指令集的指令集仿真器构建[J];中国电力教育;2007年S1期
4 侯波涛;邵作之;;指令集描述语言的设计和实现[J];中国电力教育;2007年S1期
5 沈绪榜;指令集合的设计策略[J];小型微型计算机系统;1987年01期
6 何久安,陈勇;使用动作指令集创作图象[J];电脑技术;1998年08期
7 吴曦,蒋烈辉;基于决策理论的指令集识别技术研究[J];计算机工程与设计;2005年05期
8 赵康;边计年;董社勤;;基于集束式整数线性规划模型的专用指令集自动定制[J];计算机辅助设计与图形学学报;2007年10期
9 吕雅帅;沈立;黄立波;王志英;;面向嵌入式应用的指令集自动扩展[J];电子学报;2008年05期
10 史莉雯;樊晓桠;;可重构指令集计算机综述[J];微处理机;2008年02期
11 吕雅帅;沈立;王志英;戴葵;;面向特定应用的指令集自动扩展[J];计算机工程与科学;2007年06期
12 罗汉青;梁利平;叶甜春;;一种多核指令集仿真器构建技术[J];计算机应用研究;2013年10期
13 黄素红;复杂指令有效性的评价[J];微电子学与计算机;1993年10期
14 张岩;;每月新技术之星[J];个人电脑;2007年10期
15 路冬冬;何军;杨剑新;王飙;;基于指令距离的存储相关性预测方法[J];计算机应用;2013年07期
16 Christopher Mills;Stanley C. Ahalt;Jim Fowler;唐跃功;;编译型指令集模拟[J];计算机工程与科学;1992年02期
17 王晓红,王旭,王雷,金茂忠;指令集仿真器自动生成技术的研究[J];计算机工程与应用;2003年02期
18 廖继荣,董海涛;嵌入式系统的适应性显式并行指令技术(英文)[J];西北大学学报(自然科学版);2003年06期
19 谢耀滨;蒋烈辉;尹青;张媛媛;朱杰;;虚拟指令集的构建及翻译技术研究[J];计算机工程与设计;2007年14期
20 韩小琨;蒋烈辉;尹青;陈亮;周博;;可重用的指令集模拟器的设计与优化技术[J];计算机工程;2008年07期
中国重要会议论文全文数据库 前2条
1 郑义;赵天磊;唐遇星;窦强;;体系结构模拟器目标指令集扩展技术研究[A];第十六届计算机工程与工艺年会暨第二届微处理器技术论坛论文集[C];2012年
2 单磊;赵天磊;唐遇星;徐炜遐;;并行模拟器中原子指令的高效执行技术研究[A];第十六届计算机工程与工艺年会暨第二届微处理器技术论坛论文集[C];2012年
中国博士学位论文全文数据库 前4条
1 纪金松;基于动态指令集的自适应处理器的关键技术研究[D];中国科学技术大学;2008年
2 张惠臻;可重构指令集处理器设计中的软件重定向关键技术研究[D];中国科学技术大学;2010年
3 吕雅帅;专用指令集处理器定制关键技术研究与实现[D];国防科学技术大学;2009年
4 杨君;专用指令集处理器(ASIP)体系结构设计研究[D];中国科学技术大学;2006年
中国硕士学位论文全文数据库 前10条
1 夏城;一种兼容MCS-51指令集的高速MCU设计与验证[D];哈尔滨工业大学;2014年
2 朱青山;基于指令插入技术的多核处理器调试系统关键技术研究与实现[D];国防科学技术大学;2013年
3 涂先胜;基于GCC的Matrix2 DSP编译优化关键技术研究与实现[D];国防科学技术大学;2014年
4 曹玉芳;基于C6000指令集可靠性评估方法的研究[D];西安电子科技大学;2014年
5 沈兴浩;基于ORBIS32指令集的五级流水线CPU设计[D];吉林大学;2016年
6 白鑫淼;DSP指令集仿真器的优化方案研究[D];湖南大学;2016年
7 付琳;快速指令集仿真器的关键技术研究[D];湖南大学;2015年
8 路伟;基于指令部件结构自适应的多核温度管理技术[D];国防科学技术大学;2014年
9 彭杰;高性能DSP取指和指令派发部件的设计与验证[D];国防科学技术大学;2015年
10 吕昭;FT-MX DSP指令派发设计与指控通路的功能验证[D];国防科学技术大学;2014年
中国重要报纸全文数据库 前2条
1 魏俊岭;CPU指令集大荟萃[N];电脑报;2001年
2 本报记者 霍光;龙芯更需要支持而非质疑[N];中国计算机报;2009年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978