[发明专利]指令自修改的验证方法、系统、设备以及存储介质

说明书

本公开提供一种指令自修改的验证方法、系统、设备以及存储介质，该方法包括：向后端模型模块的二级缓存模型模块发送第一请求，第一请求包括前端模型模块的取指模型模块提供的取指操作请求或待测一级数据缓存模块提供的写操作请求，写操作请求的物理地址用于访问二级缓存模型模块的指令；根据第一请求获取数据缓存状态；根据数据缓存状态获取取指状态，取指状态包括响应于取指操作请求的取指有效或等待，或响应于写操作请求的取指有效或无效；根据取指状态获取验证结果。本公开通过模拟处理器前端环境与后端环境以及和待测一级数据缓存模块的交互，验证指令取指时是否获取写操作写入的数据，实现指令自修改功能实现的正确性的验证。

技术领域

本公开的实施例涉及一种指令自修改的验证方法、系统、设备以及存储介质。

背景技术

随着集成电路工艺水平以及计算机体系结构技术的不断发展，处理器的性能在过去的几十年中呈指数级的增长，伴随而来的是处理器设计规模以及复杂度也快速增加。随之而来就是验证的难度急剧增加。由于高性能处理器的架构和微架构非常复杂，要进行充分验证必须要通过有效的方法进行快速验证。

发明内容

本公开至少一实施例提供了一种指令自修改的验证方法，包括：向后端模型模块包括的二级缓存模型模块发送至少一个第一请求，其中，前端模型模块包括取指模型模块和一级指令缓存模型模块，所述至少一个第一请求包括所述取指模型模块提供的至少一个取指操作请求或待测的一级数据缓存模块提供的写操作请求，所述写操作请求的物理地址配置为用于访问所述二级缓存模型模块的指令；根据所述至少一个第一请求中的每个获取对应的数据缓存状态；根据所述数据缓存状态获取取指状态，其中，所述取指状态包括响应于所述取指操作请求的取指有效或取指等待，或者，所述取指状态包括响应于所述写操作请求的取指有效或取指无效；根据所述取指状态获取验证结果。

例如，在本公开至少一实施例提供的一种验证方法中，响应于所述至少一个第一请求包括所述至少一个取指操作请求，向所述二级缓存模型模块发送所述至少一个第一请求包括：获取所述至少一个取指操作请求中的每个的虚拟地址；获取对应于所述虚拟地址的地址内存类型和物理地址，以向所述二级缓存模型模块发送所述至少一个取指操作请求。

例如，在本公开至少一实施例提供的一种验证方法中，获取所述至少一个取指操作请求中的每个的虚拟地址，包括：根据所述写操作请求的访问地址构建地址池；从所述地址池中随机选择获取所述至少一个取指操作请求中的每个的虚拟地址。

例如，在本公开至少一实施例提供的一种验证方法中，响应于所述至少一个第一请求包括所述至少一个取指操作请求，根据所述至少一个第一请求中的每个获取对应的数据缓存状态包括：基于所述至少一个取指操作请求中的每个的物理地址，获取所述数据缓存状态，所述数据缓存状态包括指令缓存有效；或者，基于所述至少一个取指操作请求中的每个的物理地址，获取所述数据缓存状态，所述数据缓存状态包括指令缓存无效。

例如，在本公开至少一实施例提供的一种验证方法中，根据所述数据缓存状态获取取指状态，包括：响应于所述数据缓存状态包括所述指令缓存有效，所述取指状态被配置为所述取指有效；响应于所述数据缓存状态包括所述指令缓存无效，所述二级缓存模型模块向所述一级数据缓存模块发送查询请求以获取所述一级数据缓存模块回复的所述取指操作请求的物理地址对应的写请求访问状态，根据所述写请求访问状态获取所述取指状态。

例如，在本公开至少一实施例提供的一种验证方法中，根据所述写请求访问状态获取所述取指状态，包括：响应于所述写请求访问状态为非访问，所述取指状态为所述取指有效；响应于所述写请求访问状态为需访问，所述取指状态为所述取指等待。

例如，在本公开至少一实施例提供的一种验证方法中，响应于所述写请求访问状态为非访问，根据所述写请求访问状态获取所述取指状态还包括：所述二级缓存模型模块设置取指有效状态位。