【技术实现步骤摘要】
指令自修改的验证方法、系统、设备以及存储介质
[0001]本公开的实施例涉及一种指令自修改的验证方法、系统、设备以及存储介质。
技术介绍
[0002]随着集成电路工艺水平以及计算机体系结构技术的不断发展，处理器的性能在过去的几十年中呈指数级的增长，伴随而来的是处理器设计规模以及复杂度也快速增加。随之而来就是验证的难度急剧增加。由于高性能处理器的架构和微架构非常复杂，要进行充分验证必须要通过有效的方法进行快速验证。
技术实现思路
[0003]本公开至少一实施例提供了一种指令自修改的验证方法，包括：向后端模型模块包括的二级缓存模型模块发送至少一个第一请求，其中，前端模型模块包括取指模型模块和一级指令缓存模型模块，所述至少一个第一请求包括所述取指模型模块提供的至少一个取指操作请求或待测的一级数据缓存模块提供的写操作请求，所述写操作请求的物理地址配置为用于访问所述二级缓存模型模块的指令；根据所述至少一个第一请求中的每个获取对应的数据缓存状态；根据所述数据缓存状态获取取指状态，其中，所述取指状态包括响应于所述取指操作请...
【技术保护点】
【技术特征摘要】
1.一种指令自修改的验证方法，包括：向后端模型模块包括的二级缓存模型模块发送至少一个第一请求，其中，前端模型模块包括取指模型模块和一级指令缓存模型模块，所述至少一个第一请求包括所述取指模型模块提供的至少一个取指操作请求或待测的一级数据缓存模块提供的写操作请求，所述写操作请求的物理地址配置为用于访问所述二级缓存模型模块的指令；根据所述至少一个第一请求中的每个获取对应的数据缓存状态；根据所述数据缓存状态获取取指状态，其中，所述取指状态包括响应于所述取指操作请求的取指有效或取指等待，或者，所述取指状态包括响应于所述写操作请求的取指有效或取指无效；根据所述取指状态获取验证结果。2.如权利要求1所述的验证方法，其中，响应于所述至少一个第一请求包括所述至少一个取指操作请求，向所述二级缓存模型模块发送所述至少一个第一请求包括：获取所述至少一个取指操作请求中的每个的虚拟地址；获取对应于所述虚拟地址的地址内存类型和物理地址，以向所述二级缓存模型模块发送所述至少一个取指操作请求。3.如权利要求2所述的验证方法，其中，获取所述至少一个取指操作请求中的每个的虚拟地址，包括：根据所述写操作请求的访问地址构建地址池；从所述地址池中随机选择获取所述至少一个取指操作请求中的每个的虚拟地址。4.如权利要求1～3任一所述的验证方法，其中，响应于所述至少一个第一请求包括所述至少一个取指操作请求，根据所述至少一个第一请求中的每个获取对应的数据缓存状态包括：基于所述至少一个取指操作请求中的每个的物理地址，获取所述数据缓存状态，所述数据缓存状态包括指令缓存有效；或者，基于所述至少一个取指操作请求中的每个的物理地址，获取所述数据缓存状态，所述数据缓存状态包括指令缓存无效。5.如权利要求4所述的验证方法，其中，根据所述数据缓存状态获取取指状态，包括：响应于所述数据缓存状态包括所述指令缓存有效，所述取指状态被配置为所述取指有效；响应于所述数据缓存状态包括所述指令缓存无效，所述二级缓存模型模块向所述一级数据缓存模块发送查询请求以获取所述一级数据缓存模块回复的所述取指操作请求的物理地址对应的写请求访问状态，根据所述写请求访问状态获取所述取指状态。6.如权利要求5所述的验证方法，其中，根据所述写请求访问状态获取所述取指状态，包括：响应于所述写请求访问状态为非访问，所述取指状态为所述取指有效；响应于所述写请求访问状态为需访问，所述取指状态为所述取指等待。7.如权利要求6所述的验证方法，其中，响应于所述写请求访问状态为非访问，根据所述写请求访问状态获取所述取指状态还包括：所述二级缓存模型模块设置取指有效状态位。
8.如权利要求5或6所述的验证方法，其中，根据所述取指状态获取验证结果包括：响应于所述取指状态被配置为所述取指有效，所述前端模型模块将所述取指状态对应的取指操作请求配置为指令允许提交；响应于所述取指状态为所述取指等待，所述前端模型模块等待被所述二级缓存模型模块唤醒，且所述前端模型模块阻塞所述取指操作请求的取指操作。9.如权利要求8所述的验证方法，其中，根据所述取指状态获取验证结果还包括：响应于所述前端模型模块等待的时间大于预设时间，所述前端模型模块报错；响应于...
【专利技术属性】
技术研发人员：沈隆翔，李卫婷，荣雪宇，
申请(专利权)人：海光信息技术股份有限公司，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。