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

微处理器体系结构级功能验证程序自动生成技术研究

梁磊  郭阳  李暾  朱丹  
【摘要】：体系结构级功能验证已成为微处理器设计过程的瓶颈。体系结构级的模拟验证质量和周期极大地依赖于验证程序的生成。本文深入分析了体系结构级模拟验证程序自动生成技术的理论和方法,并针对现有方法的不足,提出了一种全面而灵活的微处理器体系结构级验证系统的实现思路。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 郭曦;张焕国;;一种基于约束的指针程序路径选择方法[J];武汉大学学报(理学版);2011年05期
2 ;硬件[J];电脑爱好者;2010年23期
3 张莉;;游戏变卡谁之过[J];电脑爱好者;2011年07期
4 ;Windows 8还远 微软仍主推Win7[J];无线互联科技;2011年03期
5 郝丽珍;龚尧莞;王子强;李媛州;;基于文件进行数据管理的关键技术[J];信息与电脑(理论版);2011年07期
6 钱志萍;关佶红;王炜立;张龙;;支持大数据量GML到SVG转换的XSLT优化处理器[J];微电子学与计算机;2011年09期
7 秦晓茜;;基于AT91RM9200处理器的Uboot移植[J];安阳工学院学报;2011年04期
8 唐振;张倬;柴亚辉;徐炜民;;FMM算法在Cell/B.E.处理器上实现的分析与验证[J];计算机工程与科学;2011年08期
9 刘菲菲;;利用Windows 7三种电源模式为电脑降温[J];网络与信息;2011年08期
10 王艳;;基于SSE2的Smith-Waterman算法并行优化[J];赤峰学院学报(科学教育版);2011年07期
11 杨永敏;樊继壮;赵杰;;冷轧带钢表面缺陷视觉检测系统[J];吉林大学学报(理学版);2011年05期
12 李大鹏;杨济民;杨娟;李雯雯;厉严忠;;基于FPGA的LCoS驱动和图像处理系统设计[J];现代电子技术;2011年10期
13 邹民;;Android 2.3系统豪门潮机[J];电脑知识与技术(经验技巧);2011年07期
14 王俊丽;王志刚;;Samsung S3C2440平台上的Vxworks BSP移植[J];世界电子元器件;2011年08期
15 张玉彤;;浅析进制转换在计算机应用中的技巧[J];数字技术与应用;2011年07期
16 ;[TEKTRONIX]泰克推出新型测试工具[J];现代制造;2010年48期
17 ;下期预告[J];个人电脑;2011年09期
18 俞宏杰;杨鸣;邱元芳;丁海波;;基于ARM7处理器的快速聚焦方法[J];光学仪器;2010年01期
19 ;一种颗粒反光电子车牌读取器[J];电脑与电信;2011年08期
20 郭志强;徐丽娜;;基于ARM Cortex-M3的RFID软硬件系统研制[J];硅谷;2011年13期
中国重要会议论文全文数据库 前10条
1 梁磊;郭阳;李暾;朱丹;;微处理器体系结构级功能验证程序自动生成技术研究[A];全国第13届计算机辅助设计与图形学（CAD/CG）学术会议论文集[C];2004年
2 李文辉;李立刚;庞云阶;;基于权图的约束求解新算法[A];新世纪 新机遇 新挑战——知识创新和高新技术产业发展（上册）[C];2001年
3 张文贵;涂宏泰;邓维苓;;利用SQC策略执行航太软体之功能验证[A];全国推行全面质量管理20周年大会论文集[C];1999年
4 季燏;王俊岭;;基于逻辑令牌环的容错协议的可靠性分析[A];2006年全国理论计算机科学学术年会论文集[C];2006年
5 张翀;杨世瀚;;基于自由度分析的装配体约束求解[A];全国第十届企业信息化与工业工程学术年会论文集[C];2006年
6 郭丰宇;;一种多用户软件安全方法[A];第四次全国计算机安全技术交流会论文集[C];1989年
7 郭超;李坤;王永炎;刘胜航;王宏安;;多核处理器环境下内存数据库索引性能分析[A];NDBC2010第27届中国数据库学术会议论文集A辑一[C];2010年
8 章红思;;WindowsCE嵌入式系统的编程技术研究[A];第十八届中国（天津）’2004IT、网络、信息技术、电子、仪器仪表创新学术会议论文集[C];2004年
9 张锦雄;;矩阵相乘并行算法的MPI实现[A];广西计算机学会2004年学术年会论文集[C];2004年
10 朱辉杰;;二、三维计算机辅助图学教育图形硬件系统组建指南[A];工程三维模型与虚拟现实表现——第二届工程建设计算机应用创新论坛论文集[C];2009年
中国博士学位论文全文数据库 前10条
1 刘生礼;约束求解中若干关键技术的研究[D];浙江大学;2003年
2 李武森;小型化高速DSP微光视频图像处理器的研究[D];南京理工大学;2003年
3 欧阳应秀;基于CSCW的CAD系统关键技术研究[D];浙江大学;2004年
4 戴春来;参数化设计理论的研究[D];南京航空航天大学;2002年
5 董洪伟;基于标识的特征造型原型系统的研究与实现[D];南京航空航天大学;2001年
6 张永刚;约束程序语义与系统实现研究[D];吉林大学;2005年
7 张德学;面积优化的JavaCard处理器的设计与实现[D];中国科学技术大学;2006年
8 黎鹤;并行系统中负载调度问题的研究[D];中国科学技术大学;2008年
9 兰舟;分布式系统中的调度算法研究[D];电子科技大学;2009年
10 沈一飞;生物序列数据比较与模体发现算法研究[D];中国科学技术大学;2006年
中国硕士学位论文全文数据库 前10条
1 孙年芳;基于遗传模拟退火算法的约束求解研究[D];湖南大学;2010年
2 王鑫;测试向量的自动生成及其功能验证环境[D];上海交通大学;2007年
3 吴明权;基于交互式特征造型的约束求解研究[D];哈尔滨理工大学;2010年
4 王晓枫;语义特征造型的自动调整策略及约束求解机制的研究[D];哈尔滨理工大学;2004年
5 廖常俊;基于I-DEAS的数字化工厂研究与应用[D];电子科技大学;2005年
6 徐辰;基于符号执行和约束求解的程序验证与测试工具[D];中国科学院研究生院（软件研究所）;2002年
7 许良栋;CAM存储器功能模型的研究与实现[D];国防科学技术大学;2007年
8 程汉强;多核架构下硬件辅助I/O虚拟化研究与实现[D];国防科学技术大学;2008年
9 徐尼锋;基于32位ARM处理器的嵌入式农业综合测控平台研究[D];西安电子科技大学;2004年
10 袁军;一种基于状态机的数字逻辑系统的功能验证方法[D];西南交通大学;2009年
中国重要报纸全文数据库 前10条
1 电脑商报记者 谢涛;英特尔软件携手伙伴进入并行时代[N];电脑商报;2009年
2 记者 刘春辉;英特尔发布至强处理器E7家族[N];人民邮电;2011年
3 本报通讯员 王典丽;AMD新一代四核皓龙处理器：提供最佳的信息化解决方案[N];人民铁道;2009年
4 记者 王如晨;欧美日子不好过 处理器双雄中国忙赶场[N];第一财经日报;2010年
5 史;AMD将商务智能引入主流市场[N];电脑商报;2008年
6 邹大斌;多核平台急需软件支撑[N];计算机世界;2007年
7 记者 智谊萍;英特尔发布全新双核至强处理器[N];中国冶金报;2006年
8 ;算法：有效地缩短计算时间[N];中国计算机报;2005年
9 中科院计算技术研究所 李树杰 傅 亮;SoC需要验证[N];计算机世界;2004年
10 英树;高性能计算向何处去？[N];计算机世界;2007年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978
订卡电话 400-819-9993
在线咨询 http://help.cnki.net
京ICP证040441号
京公网安备11010802020475号
©2020中国知网（CNKI）