基于指令分解的微处理器验证与RTL级错误定位

• 作者: 李思昆 沈胜宇
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 微处理器验证 RTL级错误定位 指令分解 动态模拟
• 年，卷（期）: 2005,（5）
• 所属期刊栏目: 研究与实现
• 页码范围: 97-100
• 页数: 4页
• 分类号: TP302
• 字数: 3358字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2005.05.034

摘要

本文提出并实现了一种新的基于指令分解的微处理器验证与RTL级错误定位方法.该方法从指令集模拟器的模拟结果中将指令分解为功能单元上的操作序列,并且输入和输出数据.将该结果与RTL模型的模拟结果比较,使RTL级错误定位精确到功能单元级.相对于传统的方法,大大提高了效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李思昆	国防科技大学计算机学院	100	974	16.0	27.0
2	沈胜宇	国防科技大学计算机学院	4	15	2.0	3.0