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

使用局部建模的微处理器测试程序自动生成方法

张良  易江芳  佟冬  程旭  王克义  
【摘要】:模拟仿真方法是当前微处理器功能验证的主要方法,然而在验证工作后期需要耗费大量的时间来检验余下复杂的功能点,验证收敛速度缓慢.针对该问题,本文在覆盖率增长缓慢时,引入结合模型检验引擎的测试程序生成方法.该方法首先采用局部建模策略为处理器构建抽象设计模型,然后使用模型检验引擎读入该模型并产生测试生成指导规则,最后,随机测试生成器依据指导规则产生大量测试程序作为模拟器输入,完成功能验证工作.以北大众志UniCore32定点处理器核的功能验证为例评估本文方法,结果表明,使用该方法可以快速完成对未覆盖功能点的验证,加速验证收敛.

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 宋扬;周霁;;可编程可逆计数器电路的逻辑设计与功能验证[J];微处理机;2011年03期
2 王志坚;李雯睿;杨种学;张鹏程;;基于uMSD的Web服务组合验证方法研究[J];计算机科学;2011年09期
3 马竹青;章建雄;王玉艳;;基于约束求解的微处理器功能验证程序生成[J];计算机工程;2011年18期
4 李大鹏;杨济民;杨娟;李雯雯;厉严忠;;基于FPGA的LCoS驱动和图像处理系统设计[J];现代电子技术;2011年10期
5 魏琳;李天池;杨刚;;基于DDWS的线性调频信号的产生[J];现代电子技术;2011年10期
6 刘芳;谢峥;连志斌;王新安;;一种可重构的通用总线接口验证平台的研究及实现[J];电子器件;2011年03期
7 宋瑞良;毛陆虹;郭维廉;谢生;齐海涛;张世林;梁惠来;;肖特基栅型共振隧穿三极管器件模型的研究[J];高技术通讯;2010年06期
8 潘洁;张鹰;;基于Hyperion影像的射阳河口无机氮磷浓度反演研究[J];遥感信息;2011年03期
9 张春生;宋磊;张海瑞;;SOPC设计中自定义IP的开发[J];河南科技;2011年17期
10 程广金;缪淮扣;方明科;梅佳;髙洪皓;;基于XML的Web应用模型抽取[J];计算机科学;2011年09期
11 杨亚兰;杜涛;罗玉香;;基于逻辑等效模型的快速功能仿真验证[J];微处理机;2011年03期
12 侯超;彭大芹;曾俊威;;利用VMM搭建NAND Flash控制器验证平台[J];广东通信技术;2011年06期
13 洪毅清;秦雅娟;周华春;;基于NetFPGA的模块化硬件路由器实现[J];计算机应用与软件;2011年08期
14 史贤俊;张树团;张文广;廖剑;;基于虚拟仪器的通用数字电路板测试系统设计[J];计算机测量与控制;2011年06期
15 宋丽华;郭艳飞;王沁;;HFC接入网MAC层QoS系统架构研究与实现[J];小型微型计算机系统;2011年08期
16 何朝军;李哲英;;数字电路IP软核任务流方法验证[J];电子测量技术;2011年08期
17 钮俊;曾国荪;吕新荣;徐畅;;随机模型检测连续时间Markov过程[J];计算机科学;2011年09期
18 郑崴;左现刚;李传营;;基于3G网络的信令实时跟踪和主叫号码不规范的研究[J];河南科技学院学报(自然科学版);2011年03期
19 徐进军;王海成;白中洁;;灰色预测模型若干改进方法[J];测绘信息与工程;2011年04期
20 段洪涛;曾繁声;李景春;;一种预测频段占用度的时间序列分析方法[J];无线电工程;2011年07期
中国重要会议论文全文数据库 前10条
1 宗群;窦立谦;孙连坤;刘文静;;基于残差分析方法的模型检验[A];第二十七届中国控制会议论文集[C];2008年
2 刘涛;柴双勇;蔺建邦;弓睿;安学军;;HPP控制器的系统级功能验证[A];第十五届计算机工程与工艺年会暨第一届微处理器技术论坛论文集(A辑)[C];2011年
3 梁磊;郭阳;李暾;朱丹;;微处理器体系结构级功能验证程序自动生成技术研究[A];全国第13届计算机辅助设计与图形学(CAD/CG)学术会议论文集[C];2004年
4 冯明琴;张靖;孙政顺;;催化裂化过程稳态优化控制[A];四川省电工技术学会第七届学术年会论文集[C];2003年
5 蔡炯亮;卓春柳;郭振飞;;黄花苜蓿MfELIP基因的表达分析及功能鉴定[A];中国植物生理学会第十次会员代表大会暨全国学术年会论文摘要汇编[C];2009年
6 张文贵;涂宏泰;邓维苓;;利用SQC策略执行航太软体之功能验证[A];全国推行全面质量管理20周年大会论文集[C];1999年
7 张守玉;罗小明;罗飞;;装备全寿命费用灰色预测研究[A];第六届中国青年运筹与管理学者大会论文集[C];2004年
8 江雷;朱建平;;基于静态分析的软件安全检测技术研究[A];全国计算机安全学术交流会论文集(第二十四卷)[C];2009年
9 叶俊民;张振方;王敬华;李蓉;;基于模型检验技术的源程序分析研究[A];2009年全国开放式分布与并行计算机学术会议论文集(上册)[C];2009年
10 于庆梅;骆丽;;任务流模型检验的研究[A];中国通信集成电路技术与应用研讨会文集[C];2006年
中国博士学位论文全文数据库 前10条
1 董威;面向UML的模型检验研究[D];中国人民解放军国防科学技术大学;2002年
2 杨志;基于多项式符号代数的数字电路形式验证方法研究[D];哈尔滨工程大学;2009年
3 覃广平;交互式马尔可夫链:理论与应用[D];中国科学院研究生院(成都计算机应用研究所);2006年
4 沈胜宇;模型检验的反例解释[D];国防科学技术大学;2005年
5 文艳军;基于接口自动机的组合验证方法研究[D];国防科学技术大学;2005年
6 燕飞;轨道交通列车运行控制系统的形式化建模和模型检验方法研究[D];北京交通大学;2006年
7 郭建;在数字系统设计中断言验证的研究[D];西安电子科技大学;2008年
8 杜学亮;定制指令与协处理器加速机制的研究[D];中国科学技术大学;2009年
9 李向宁;业务过程管理理论与若干关键技术研究[D];西北大学;2007年
10 麦苗苗;连香树干旱胁迫过程中的生理变化与基因差异表达分析[D];四川农业大学;2009年
中国硕士学位论文全文数据库 前10条
1 黎宝峰;嵌入式DSP处理器的设计与验证[D];湖南大学;2003年
2 罗飞;DVB卫星数据接收芯片IPoD的验证和测试[D];清华大学;2005年
3 张强;基于遗传算法的列车自动驾驶系统研究与实现[D];北京交通大学;2008年
4 邓敬彧;USB2.0 OTG IP核设备控制器功能验证研究和实现[D];电子科技大学;2009年
5 孟维佳;覆盖率驱动的Garfield芯片Bottom-up功能验证方案的研究[D];东南大学;2005年
6 信磊;对称多核处理器中Cache一致性的研究与实现[D];合肥工业大学;2007年
7 夏莲;Cardbus-AHB总线桥IP核的验证方法研究和实现[D];电子科技大学;2007年
8 吴向宇;SoC功能验证技术研究[D];国防科学技术大学;2006年
9 徐思源;乳清蛋白降压肽的制备及其功能研究[D];东北林业大学;2007年
10 席筱颖;8位MCU设计验证及测试向量故障覆盖率分析[D];哈尔滨理工大学;2007年
中国重要报纸全文数据库 前10条
1 中科院计算技术研究所 李树杰 傅 亮;SoC需要验证[N];计算机世界;2004年
2 记者  安勇龙;EDA市场遭遇瓶颈 厂商探寻新成长空间[N];中国电子报;2006年
3 上海市信息化委员会 徐绍敏;上海加速集成电路产业链建设[N];中国电子报;2003年
4 彭虹;SoC挑战传统芯片设计[N];计算机世界;2006年
5 陈先勇;几种主流的验证技术[N];计算机世界;2007年
6 张海懿 舒建军;ASON技术测试分析[N];人民邮电;2005年
7 郭松柳 顾瑜 陈建党 汪东升;可扩展的片上多处理器模拟器及评测系统[N];计算机世界;2005年
8 ;HISS决意在华长线投入[N];计算机世界;2004年
9 ;实时SLA验证[N];网络世界;2001年
10 康潜;不为房地产泡沫吞噬[N];证券日报;2006年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978