论文部分内容阅读
本文提出并实现了一种新的基于指令分解的微处理器验证与RTL级错误定位方法.该方法从指令集模拟器的模拟结果中将指令分解为功能单元上的操作序列,并且输入和输出数据.将该结果与RTL模型的模拟结果比较,使RTL级错误定位精确到功能单元级.相对于传统的方法,大大提高了效率.
基于指令分解的微处理器验证与RTL级错误定位
【摘 要】
：
本文提出并实现了一种新的基于指令分解的微处理器验证与RTL级错误定位方法.该方法从指令集模拟器的模拟结果中将指令分解为功能单元上的操作序列,并且输入和输出数据.将该结
【机 构】
：
国防科技大学计算机学院
【出 处】
：
计算机工程与科学
【发表日期】
：
2005年5期
其他文献
文中简要介绍了一个教学用操作系统Nachos，以及设备驱动程序的一般概念，然后给出了一个基于Nachos的设备驱动模块扩展的具体方案，从而达到了增强Nachos教学功能的目的。
练习是数学教学必不可少的环节,练习题如同建造数学大厦的"脚手架",是学生攀登数学高峰的重要"支架"。数学练习的设计应指向减负增效,应遵循科学性、层次性、多样性、创新性
通过氨基酸分析仪分别测定了紫花苜蓿芽及其产品中氨基酸的含量,分别计算了必需氨基酸含量、必需氨基酸/氨基酸总量(E/T)、必需氨基酸/非必需氨基酸(E/N)、氨基酸评分(AAS)和
随着大众创业,万众创新的号召,中国经济"新常态"下涌现出了许多创业创新公司。本文研究了创业公司的下属创造力对领导授权的影响,并探索了领导评价的领导一成员交换(LMX)以及
本文介绍了工程中常用的Informix数据库的访问方式及一种在不同关系数据库间互访的通用方式,阐述了Informix-CLI、ODBC、JDBC等接口规范间的关系,并指出了各种访问方式的适用