-
公开(公告)号：CN112416687B
公开(公告)日：2022-07-12
申请号：CN202011401740.8
申请日：2020-12-02
Applicant: 海光信息技术股份有限公司
IPC: G06F11/22
Abstract: 本公开提供一种验证访存操作的方法与系统以及验证设备和存储介质，该方法包括：访存单元获取待处理的目标访存写操作指令，进行处理并确定访存单元的目标访存写操作指令对应的第一执行事务；访存写操作参考模型模块获取与访存单元的目标访存写操作指令相同的目标访存写操作指令，模拟进行处理并确定访存写操作参考模型模块的目标访存写操作指令对应的第二执行事务；将访存单元输出的第一执行事务和访存写操作参考模型模块输出的第二执行事务发送至访存写操作记分板；访存写操作记分板将第一执行事务和第二执行事务进行比较，判断两者是否一致，以检查验证访存单元的第一执行事务。本公开实现对访存单元执行写操作指令的各种行为机制的检查验证。
-
公开(公告)号：CN112416687A
公开(公告)日：2021-02-26
申请号：CN202011401740.8
申请日：2020-12-02
Applicant: 海光信息技术股份有限公司
IPC: G06F11/22
Abstract: 本公开提供一种验证访存操作的方法与系统以及验证设备和存储介质，该方法包括：访存单元获取待处理的目标访存写操作指令，进行处理并确定访存单元的目标访存写操作指令对应的第一执行事务；访存写操作参考模型模块获取与访存单元的目标访存写操作指令相同的目标访存写操作指令，模拟进行处理并确定访存写操作参考模型模块的目标访存写操作指令对应的第二执行事务；将访存单元输出的第一执行事务和访存写操作参考模型模块输出的第二执行事务发送至访存写操作记分板；访存写操作记分板将第一执行事务和第二执行事务进行比较，判断两者是否一致，以检查验证访存单元的第一执行事务。本公开实现对访存单元执行写操作指令的各种行为机制的检查验证。
-
公开(公告)号：CN115372791A
公开(公告)日：2022-11-22
申请号：CN202210939581.X
申请日：2022-08-05
Applicant: 海光信息技术股份有限公司
IPC: G01R31/28
Abstract: 本申请的实施例公开了基于硬件仿真的集成电路的测试方法、装置及电子设备，涉及集成电路技术领域，为能够有效提高基于硬件仿真的集成电路的测试速度而发明。所述方法应用于测试平台，所述测试方法包括：接收所述集成电路发送的测试请求；根据所述测试请求及预设测试策略，生成测试激励；将所述测试激励直接向所述集成电路发送。本申请适用于测试集成电路。
-
公开(公告)号：CN114281720A
公开(公告)日：2022-04-05
申请号：CN202111531682.5
申请日：2021-12-14
Applicant: 海光信息技术股份有限公司
IPC: G06F12/1027 , G06F12/1009
Abstract: 一种处理器、用于处理器的地址翻译方法、电子设备。该处理器包括第一级缓存空间、第一页表遍历器、第二页表遍历器和至少一个预设缓存空间，第一级缓存空间和至少一个预设缓存空间依序通信连接以形成通信链路，至少一个预设缓存空间包括目标预设缓存空间，第一页表遍历器与目标预设缓存空间设置在同一路径等级，第一页表遍历器与目标预设缓存空间通信连接，第二页表遍历器与第一级缓存空间设置在同一路径等级，第二页表遍历器与第一级缓存空间通信连接，处理器配置为响应于地址翻译请求，基于预设规则确定第一页表遍历器和第二页表遍历器之一执行地址翻译操作。该处理器可以降低地址翻译的时延，提高地址翻译的效率。
-
公开(公告)号：CN114238176A
公开(公告)日：2022-03-25
申请号：CN202111531679.3
申请日：2021-12-14
Applicant: 海光信息技术股份有限公司
IPC: G06F12/1027 , G06F12/1009 , G06F12/0811 , G06F9/50
Abstract: 一种处理器、用于处理器的地址翻译方法、电子设备。该处理器包括第一级缓存空间、页表遍历器和至少一个预设缓存空间。第一级缓存空间和至少一个预设缓存空间依序通信连接以形成通信链路。至少一个预设缓存空间包括目标预设缓存空间，页表遍历器与目标预设缓存空间设置在同一路径等级，页表遍历器与目标预设缓存空间通信连接，页表遍历器配置为响应于地址翻译请求执行地址翻译操作。该处理器可以降低页表遍历器访问内存及地址翻译的时延，提高地址翻译的效率，从而提高系统性能，有助于提高用于新型应用场景时的整体性能。
-
Patent Agency Ranking
公开(公告)号：CN116048887A
公开(公告)日：2023-05-02
申请号：CN202210600599.7
申请日：2022-05-30
Applicant: 海光信息技术股份有限公司
IPC: G06F11/22
Abstract: 本发明实施例公开一种芯片验证方法及装置、系统、电子设备、存储介质，涉及电子设计自动化技术领域，能够在充分发挥硬件验证平台大规模、快速验证优势的同时，便于进行缺陷检测。所述方法基于硬件验证平台，包括：运行待验证芯片的硬件仿真程序；按照预设策略，向软件验证平台发送所述待验证芯片在程序运行中的行为信息和行为结果信息，以使所述软件验证平台根据所述行为信息和所述行为结果信息对所述待验证芯片进行验证复核。本发明适用于各种芯片验证中。
-
公开(公告)号：CN114238176B
公开(公告)日：2023-03-10
申请号：CN202111531679.3
申请日：2021-12-14
Applicant: 海光信息技术股份有限公司
IPC: G06F12/1027 , G06F12/1009 , G06F12/0811 , G06F9/50
Abstract: 一种处理器、用于处理器的地址翻译方法、电子设备。该处理器包括第一级缓存空间、页表遍历器和至少一个预设缓存空间。第一级缓存空间和至少一个预设缓存空间依序通信连接以形成通信链路。至少一个预设缓存空间包括目标预设缓存空间，页表遍历器与目标预设缓存空间设置在同一路径等级，页表遍历器与目标预设缓存空间通信连接，页表遍历器配置为响应于地址翻译请求执行地址翻译操作。该处理器可以降低页表遍历器访问内存及地址翻译的时延，提高地址翻译的效率，从而提高系统性能，有助于提高用于新型应用场景时的整体性能。
-
公开(公告)号：CN112540288A
公开(公告)日：2021-03-23
申请号：CN202011375141.3
申请日：2020-11-30
Applicant: 海光信息技术股份有限公司
IPC: G01R31/28
Abstract: 一种用于硅后芯片验证的方法、系统、设备以及存储介质。该用于硅后芯片验证的方法包括：在用于芯片的测试程序的执行过程中提供断点；执行断点之后中断测试程序执行，且获取截止到断点的测试程序的第一执行结果；将第一执行结果与在参考模型中执行测试程序的第二执行结果进行比较；以及根据比较结果对芯片进行验证。该用于硅后芯片验证的方法可以提高硅后验证的覆盖率以及验证效率。
-
公开(公告)号：CN112540288B
公开(公告)日：2023-02-21
申请号：CN202011375141.3
申请日：2020-11-30
Applicant: 海光信息技术股份有限公司
IPC: G01R31/28
Abstract: 一种用于硅后芯片验证的方法、系统、设备以及存储介质。该用于硅后芯片验证的方法包括：在用于芯片的测试程序的执行过程中提供断点；执行断点之后中断测试程序执行，且获取截止到断点的测试程序的第一执行结果；将第一执行结果与在参考模型中执行测试程序的第二执行结果进行比较；以及根据比较结果对芯片进行验证。该用于硅后芯片验证的方法可以提高硅后验证的覆盖率以及验证效率。
-
公开(公告)号：CN116049034A
公开(公告)日：2023-05-02
申请号：CN202210467692.5
申请日：2022-04-29
Applicant: 海光信息技术股份有限公司
IPC: G06F12/0815 , G06F15/78
Abstract: 本申请的实施例公开了一种多核处理器系统的缓存一致性的验证方法及装置，涉及多核处理器功能验证技术领域，为能够提高多核处理器系统的缓存一致性的验证效率而发明。所述方法包括：监测第一处理器核心的第一缓存接收或发送的第一请求；监测针对第一请求的第一响应信息；从预设的内存地址与缓存行状态之间的对应关系中，确定第一缓存行的状态；基于第一缓存行的状态、命令类型以及预设的基于缓存一致性协议的状态转移规则，预测第一缓存行的状态；预设的基于缓存一致性协议的状态转移规则与多核处理器系统中使用的缓存一致性状态转移规则一致；将缓存行的当前状态与预测状态比对，确定第一缓存是否符合缓存一致性。本申请验证多核处理器缓存一致性。
-
-
-
-
-
-
-
-
-
Search Results
12
records
(took 0.029 seconds)
