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

TURBO51嵌入式微处理器功能验证

吴晓非  
【摘要】:首先介绍了TURBO51嵌入式微处理器的基于分支预测和动态执行结构设计与设计背景及目前验证的发展状况,即形式验证、模拟仿真和硬件加速仿真,然后介绍了TURBO51设计验证所采用的步骤和每个阶段的任务及通过准则,即首先同步定义文档功能时序设计及验证策略,再进行RTL仿真并达到覆盖率和代码检查并给出覆盖率结果,然后进行FPGA验证,最后进行门级仿真。给出了错误的累计过程,显示TURBO51的设计验证中错误收敛快,在RTL仿真前已排除大部分严重错误,FPGA验证前已排除全部严重错误和99%的其它错误,确保了TURBO51的一次流片成功。但另一方面,在验证中使用配置约束的自动随机指令序列还需加强。

知网文化
【相似文献】
中国期刊全文数据库 前10条
1 汤烈平;四相三斜积分式A/D转换器设计[J];电子技术应用;1996年05期
2 魏明,施清晓;储油罐内储油量的内置传感器式测量方法[J];石油化工自动化;1998年01期
3 魏明;多病床综合实时无线循检传呼系统(Ⅳ型)[J];微计算机信息;1998年02期
4 王广祥,张生元,亢俊健;单片机及外围接口芯片的复位问题[J];石家庄经济学院学报;2000年06期
5 尹授远,何攀丽,贾冬梅;十六位微机教学实验系统分析与改进[J];沈阳大学学报;2001年02期
6 刘文江,富文军;利用CRT及8051单片机实现汉字的显示输出[J];沈阳电力高等专科学校学报;2001年03期
7 朱纯益,路建华;单片机用作通用红外遥控接收器的设计[J];单片机与嵌入式系统应用;2002年08期
8 黎书生 ,周功业 ,汪惊奇;一种单片机控制的新型开关逆变电源的设计[J];电子工程师;2002年01期
9 ;8051系列单片机的升级产品-DS87C550[J];电子质量;2002年10期
10 夏华,张浩,吴启迪,赵炜;一种通用嵌入式红外数据传输及遥控技术的实现方案及UITCP的设想[J];计算机工程;2003年01期
中国重要会议论文全文数据库 前1条
1 肖本强;张鑫;林之光;姜宇;;基于CC2430的Tinyos实现[A];计算机技术与应用进展·2007——全国第18届计算机技术与应用(CACIS)学术会议论文集[C];2007年
中国硕士学位论文全文数据库 前1条
1 杨旭辉;八位微控制器IP核的研究与设计[D];华北电力大学(北京);2007年
中国重要报纸全文数据库 前3条
1 新网虫;单片机酷站游[N];电子报;2000年
2 记者龚雯;重点旅游城市和景区进入接待高峰交通运输部门力保黄金周能进能出[N];人民日报;2002年
3 邹静;建友;国茂;常青树为何常青[N];中国铁道建筑报;2002年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978