摘要：

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

关键词: 微处理器 指令分解 动态模拟 控制电路 指令集模拟器 RTL级错误定位方法