公开(公告)号：CN114721891A

公开(公告)日：2022-07-08

申请号：CN202210452114.4

申请日：2022-04-27

Applicant: 海光信息技术股份有限公司

Inventor： 喻文星 ,  李卫婷 ,  荣雪宇

IPC: G06F11/22

Abstract: 本申请的实施例公开了一种内存管理单元中缓冲区数据的写入方法及装置，涉及芯片验证技术领域，为能够缩短验证时间，提高验证效率而发明。所述方法，包括：遍历页表，得到所述页表中记录的虚拟地址与物理地址之间的映射关系；根据预定策略，对所述映射关系进行筛选，得到目标映射关系；将所述目标映射关系进行格式转换，得到预定格式的目标映射关系；通过后门访问函数，将所述预定格式的目标映射关系，写入内存管理单元中的代换旁路缓冲区中。本申请适用于与代换旁路缓冲区相关的验证。

公开(公告)号：CN114091389A

公开(公告)日：2022-02-25

申请号：CN202111306998.4

申请日：2021-11-05

Applicant: 海光信息技术股份有限公司

Inventor： 荣雪宇 ,  喻文星 ,  沈隆翔

IPC: G06F30/331 ,  G06F30/333

Abstract: 本发明提供了一种测试激励生成方法、测试方法、装置和相关设备，其中测试激励生成方法包括：随机获取多个第一测试激励，第一测试激励包括多个测试指令，测试指令用于对待测设计进行仿真测试；提取每个第一测试激励的至少部分测试指令；将多个第一测试激励的至少部分测试指令重组，生成第二测试激励。由于多个第一测试激励是随机获取的，因此，多个第一测试激励的测试指令也是随机组合的，从而可以生成新的不同于第一测试激励的第二测试激励，进而可以使得测试激励的种类更加丰富多样，进而可以最大程度地提升验证空间，实现验证的快速收敛。

公开(公告)号：CN114238174A

公开(公告)日：2022-03-25

申请号：CN202111525577.0

申请日：2021-12-14

Applicant: 海光信息技术股份有限公司

Inventor： 喻文星 ,  荣雪宇 ,  李卫婷

IPC: G06F12/1009 ,  G06F30/33

Abstract: 本发明实施例提供一种页表生成方法、装置、系统及相关设备，其中方法包括：获取用于生成页表的用户约束，所述用户约束为基于用户的请求参数获取的约束信息；基于所述用户约束，确定用于生成页表的页表描述信息和符合所述页表描述信息的初始页表结构；获取用于生成页表的固定约束，所述固定约束为页表生成器内预设的约束信息；基于所述固定约束，更新所述页表描述信息和所述初始页表结构；根据所述页表描述信息，在所述初始页表结构中，自高而低逐级构建对应各级页表的页表指向关系，形成目标页表，从而能够满足验证过程中不同验证场景的验证需求。

公开(公告)号：CN114090499A

公开(公告)日：2022-02-25

申请号：CN202111398028.1

申请日：2021-11-23

Applicant: 海光信息技术股份有限公司

Inventor： 荣雪宇 ,  沈隆翔 ,  喻文星

IPC: G06F15/78

Abstract: 本发明实施例提供一种访存单元验证系统、设备及存储介质，所述系统包括：仿真模块，用于模拟访存单元的前端环境和后端环境，使访存单元基于所述前端环境和后端环境执行测试用例设定的流程；其中，所述前端环境用于提供所述访存单元上游的指令操作行为，所述后端环境用于提供所述访存单元下游的指令操作行为；检测模块，用于检测所述访存单元在执行所述测试用例设定的流程时所产生的测试数据；结果确定模块，用于基于所述检测模块的测试数据，确定所述访存单元的验证结果。所述系统能够提高访存单元的验证效率。

公开(公告)号：CN116050322A

公开(公告)日：2023-05-02

申请号：CN202111659208.0

申请日：2021-12-30

Applicant: 海光信息技术股份有限公司

Inventor： 沈隆翔 ,  李卫婷 ,  荣雪宇

IPC: G06F30/3308 ,  G06F11/26 ,  G06F11/22 ,  G06F115/10

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

公开(公告)号：CN112416687B

公开(公告)日：2022-07-12

申请号：CN202011401740.8

申请日：2020-12-02

Applicant: 海光信息技术股份有限公司

Inventor： 彭炳君 ,  荣雪宇 ,  陈元

IPC: G06F11/22

Abstract: 本公开提供一种验证访存操作的方法与系统以及验证设备和存储介质，该方法包括：访存单元获取待处理的目标访存写操作指令，进行处理并确定访存单元的目标访存写操作指令对应的第一执行事务；访存写操作参考模型模块获取与访存单元的目标访存写操作指令相同的目标访存写操作指令，模拟进行处理并确定访存写操作参考模型模块的目标访存写操作指令对应的第二执行事务；将访存单元输出的第一执行事务和访存写操作参考模型模块输出的第二执行事务发送至访存写操作记分板；访存写操作记分板将第一执行事务和第二执行事务进行比较，判断两者是否一致，以检查验证访存单元的第一执行事务。本公开实现对访存单元执行写操作指令的各种行为机制的检查验证。

公开(公告)号：CN112416687A

公开(公告)日：2021-02-26

申请号：CN202011401740.8

申请日：2020-12-02

Applicant: 海光信息技术股份有限公司

Inventor： 彭炳君 ,  荣雪宇 ,  陈元

IPC: G06F11/22

Abstract: 本公开提供一种验证访存操作的方法与系统以及验证设备和存储介质，该方法包括：访存单元获取待处理的目标访存写操作指令，进行处理并确定访存单元的目标访存写操作指令对应的第一执行事务；访存写操作参考模型模块获取与访存单元的目标访存写操作指令相同的目标访存写操作指令，模拟进行处理并确定访存写操作参考模型模块的目标访存写操作指令对应的第二执行事务；将访存单元输出的第一执行事务和访存写操作参考模型模块输出的第二执行事务发送至访存写操作记分板；访存写操作记分板将第一执行事务和第二执行事务进行比较，判断两者是否一致，以检查验证访存单元的第一执行事务。本公开实现对访存单元执行写操作指令的各种行为机制的检查验证。