本发明专利技术实施例提供一种访存单元验证系统、设备及存储介质，所述系统包括：仿真模块，用于模拟访存单元的前端环境和后端环境，使访存单元基于所述前端环境和后端环境执行测试用例设定的流程；其中，所述前端环境用于提供所述访存单元上游的指令操作行为，所述后端环境用于提供所述访存单元下游的指令操作行为；检测模块，用于检测所述访存单元在执行所述测试用例设定的流程时所产生的测试数据；结果确定模块，用于基于所述检测模块的测试数据，确定所述访存单元的验证结果。所述系统能够提高访存单元的验证效率。单元的验证效率。单元的验证效率。
【技术实现步骤摘要】
访存单元验证系统、设备及存储介质
[0001]本专利技术实施例涉及芯片
，具体涉及一种访存单元验证系统、设备及存储介质。
技术介绍
[0002]访存单元(LSU，Load Store Unit)是高性能处理器(例如CPU，Central Processing Unit，中央处理器)中用来执行访存操作(读/写)的逻辑部件，可以为内核提供页表转换、内存读取控制逻辑及一级缓存逻辑，是存储子系统的源头。
[0003]访存单元的验证是高性能处理器的验证中的一个重要组成部分且贯穿于整个处理器的设计过程中。然而，随着访存单元实现的功能越多，电路的集成复杂度越高，使得访存单元的验证复杂度也越来越高，进而使得访存单元的验证，通常需要在不同的验证系统进行多个流程的验证，以对访问单元的不同功能进行验证。
[0004]因此，如何提高验证效率，成为本领域技术人员亟待解决的问题。
技术实现思路
[0005]有鉴于此，本专利技术实施例提供一种访存单元验证系统、设备及存储介质，以提高验证效率。
[0006]为实现上述目的，本专利技术实施例提供如下技术方案。
[0007]第一方面，本专利技术实施例提供一种访存单元验证系统，包括：
[0008]仿真模块，用于模拟访存单元的前端环境和后端环境，使访存单元基于所述前端环境和后端环境执行测试用例设定的流程；其中，所述前端环境用于提供所述访存单元上游的指令操作行为，所述后端环境用于提供所述访存单元下游的指令操作行为；
[0009]检测模块，用于检测所述访存单元在执行所述测试用例设定的流程时所产生的测试数据；
[0010]结果确定模块，用于基于所述检测模块的测试数据，确定所述访存单元的验证结果。
[0011]可选的，所述仿真模块包括虚拟前端和虚拟后端，所述虚拟前端用于模拟访存单元的前端环境，所述虚拟后端用于模拟访存单元的后端环境。
[0012]可选的，所述虚拟前端包括指令发射单元、指令提交单元和冲刷单元，其中，所述指令发射单元用于向访存单元发射最小执行单元指令；所述指令提交单元用于基于访存单元的运行参数，提交最小执行单元指令；所述冲刷单元用于向访存单元发出冲刷指令。
[0013]可选的，所述虚拟后端包括虚拟二级缓存和虚拟远端存储器，所述虚拟二级缓存用于模拟二级缓存的存储行为，所述虚拟远端存储器用于模拟远端物理空间的存储行为。
[0014]可选的，所述虚拟远端存储器还用于为访存单元提供多核访问场景下，远端物理空间的独占权限的交替环境。
[0015]可选的，所述虚拟后端还包括数据返回单元，所述数据返回单元用于为访存单元
从虚拟远端存储器中读取数据，并将所读取的数据返回至访存单元。
[0016]可选的，所述访存单元验证系统还包括，页表生成模块，用于为所述仿真模块生成页表，所述页表用于记录指令中的虚拟地址与内存的物理地址的映射关系。
[0017]可选的，所述访存单元验证系统还包括，测试用例生成模块，用于基于所述页表生成模块生成的页表，生成测试用例，其中，所述测试用例至少包括对页表中的物理地址的访问指令。
[0018]可选的，所述测试用例生成模块包括测试用例修改单元，用于修改所生成的测试用例；所述虚拟前端基于所述测试用例，向访存单元发出指令。
[0019]可选的，所述访存单元验证系统还包括，预加载模块，所述预加载模块用于在执行测试用例前，向所述访存单元和所述仿真模块加载预设的数据。
[0020]可选的，所述访存单元包括一级页表缓存器，所述虚拟后端包括二级页表缓存器，所述预加载模块还用于在执行测试用例前，向所述一级缓存页表缓存器和所述二级页表缓存器中加载预设的页表数据。
[0021]可选的，所述访存单元包括一级缓存，所述预加载模块用于在执行测试用例前，向所述一级缓存加载预设的数据。
[0022]可选的，所述检测模块，包括地址检测单元，用于检测所述访存单元中，虚拟地址转换物理地址的行为是否准确。
[0023]可选的，所述访存单元验证系统包括虚拟取值单元，用于向所述访存单元发送地址转换指令，以使得所述访存单元将指令中的虚拟地址转换为物理地址；
[0024]所述地址检测单元，用于检测所述访存单元基于所述虚拟取值单元发送的地址转换指令，转换的物理地址是否准确。
[0025]可选的，所述检测模块，包括，同步数据检测单元，用于检测在执行指令的同步操作时，指令所转换的物理地址和指令的源操作数是否准确。
[0026]可选的，所述检测模块，包括，存储数据检测单元，用于基于访存单元加载在虚拟后端的数据，确定访存单元存储的数据是否准确。
[0027]可选的，所述存储数据检测单元，用于基于访存单元加载在虚拟后端的数据，确定访存单元存储的数据是否准确，包括：
[0028]获取虚拟前端在指令的存储流程的提交过程中，所述指令所存储的源操作数；
[0029]基于所述源操作数，确定所述指令所需存储的数据；
[0030]获取在指令的加载流程的提交过程中，指令所加载的数据；
[0031]判断指令所加载的数据与指令所需存储的数据是否相同，若相同，则指令存储的数据为准确，若不同，则指令存储的数据不准确。
[0032]可选的，所述存储数据检测单元包括数据存储器，所述数据存储器的存储容量与为所述访存单元配置的内存的存储容量相匹配，且与所述内存配置有相同的地址；所述数据存储器用于在指令指示的地址存储所述指令所需存储的数据；
[0033]所述判断指令所加载的数据与指令所需存储的数据是否相同，具体为，判断指令所加载的数据与数据存储器中对应所述指令所指示的地址存储的数据是否相同。
[0034]可选的，所述仿真模块，还包括虚拟一级缓存，用于记录所述访存单元中的一级缓存的数据和缓存状态。
[0035]可选的，所述访存单元验证系统还包括指令修改模块，所述指令修改模块用于基于虚拟后端对所述访存单元所执行的指令进行修改。
[0036]第二方面，本专利技术实施例提供一种访存单元验证设备，所述访存单元验证设备装载有本专利技术实施例提供的访存单元验证系统。
[0037]第三方面，本专利技术实施例提供一种存储介质，所述存储介质存储有本专利技术实施例提供的访存单元验证系统
[0038]本专利技术实施例提供的访存单元验证系统、设备及存储介质，所述系统包括：仿真模块，用于模拟访存单元的前端环境和后端环境，使访存单元基于所述前端环境和后端环境执行测试用例设定的流程；其中，所述前端环境用于提供所述访存单元上游的指令操作行为，所述后端环境用于提供所述访存单元下游的指令操作行为；检测模块，用于检测所述访存单元在执行所述测试用例设定的流程时所产生的测试数据；结果确定模块，用于基于所述检测模块的测试数据，确定所述访存单元的验证结果。
[0039]可以看出，本专利技术实施例通过为访存单元模拟前端环境和后端环境，从而为访存单元提供完整的运行环境，使得访存单元能够在该验证系统中本文档来自技高网...
【技术保护点】
【技术特征摘要】
1.一种访存单元验证系统，其特征在于，包括：仿真模块，用于模拟访存单元的前端环境和后端环境，使访存单元基于所述前端环境和所述后端环境执行测试用例设定的流程；其中，所述前端环境用于提供所述访存单元上游的指令操作行为，所述后端环境用于提供所述访存单元下游的指令操作行为；检测模块，用于检测所述访存单元在执行所述测试用例设定的流程时所产生的测试数据；结果确定模块，用于基于所述检测模块的测试数据，确定所述访存单元的验证结果。2.根据权利要求1所述的访存单元验证系统，其特征在于，所述仿真模块包括虚拟前端和虚拟后端，所述虚拟前端用于模拟访存单元的前端环境，所述虚拟后端用于模拟访存单元的后端环境。3.根据权利要求2所述的访存单元验证系统，其特征在于，所述虚拟前端包括指令发射单元、指令提交单元和冲刷单元，其中，所述指令发射单元用于向访存单元发射最小执行单元指令；所述指令提交单元用于基于访存单元的运行参数，提交最小执行单元指令；所述冲刷单元用于向访存单元发出冲刷指令。4.根据权利要求2所述的访存单元验证系统，其特征在于，所述虚拟后端包括虚拟二级缓存和虚拟远端存储器，所述虚拟二级缓存用于模拟二级缓存的存储行为，所述虚拟远端存储器用于模拟远端物理空间的存储行为。5.根据权利要求4所述的访存单元验证系统，其特征在于，所述虚拟远端存储器还用于为访存单元提供多核访问场景下，远端物理空间的独占权限的交替环境。6.根据权利要求4所述的访存单元验证系统，其特征在于，所述虚拟后端还包括数据返回单元，所述数据返回单元用于为访存单元从虚拟远端存储器中读取数据，并将所读取的数据返回至访存单元。7.根据权利要求2所述的访存单元验证系统，其特征在于，所述访存单元验证系统还包括，页表生成模块，用于为所述仿真模块生成页表，所述页表用于记录指令中的虚拟地址与内存的物理地址的映射关系。8.根据权利要求7所述的访存单元验证系统，其特征在于，所述访存单元验证系统还包括，测试用例生成模块，用于基于所述页表生成模块生成的页表，生成测试用例，其中，所述测试用例至少包括对页表中的物理地址的访问指令。9.根据权利要求8所述的访存单元验证系统，其特征在于，所述测试用例生成模块包括测试用例修改单元，用于修改所生成的测试用例；所述虚拟前端基于所述测试用例，向访存单元发出指令。10.根据权利要求2所述的访存单元验证系统，其特征在于，所述访存单元验证系统还包括，预加载模块，所述预加载模块用于在执行测试用例前，向所述访存单元和所述仿真模块加载预设的数据。11.根据权利要求10所述的访存单元验证系统，其特征在于，所述访存单元包括一级页表缓存器，所述虚拟后端包括二级页表缓存器，所述预加载模块还用于在执行测试用例前，向所述一级缓存页表缓存器和所述二级页表缓存器中加载预设的页表数据。12....
【专利技术属性】
技术研发人员：荣雪宇，沈隆翔，喻文星，
申请(专利权)人：海光信息技术股份有限公司，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。