[发明专利]用于远程直接内存访问仿真验证的仿真验证系统及方法

说明书

本申请提供一种用于远程直接内存访问仿真验证的仿真验证系统及方法。系统包括：待测试设计，用于提供远程直接内存访问硬件逻辑；仿真器，用于模拟操作系统以运行远程直接内存访问软件以及提供模拟设备，远程直接内存访问软件用于模拟与远程直接内存访问硬件逻辑相关联的软硬件交互，模拟设备用于与待测试设计交互从而协同待测试设计进行远程直接内存访问硬件逻辑的仿真验证；和网卡，用于与待测试设计交互以实现网卡互操作测试。系统基于仿真器和网卡的观测结果生成远程直接内存访问硬件逻辑和远程直接内存访问软件的联合仿真验证结果。如此在逻辑验证过程中协同软件一起进行验证，有利于发现软硬件交互问题和提高验证效率。

技术领域

本申请涉及计算机技术领域，具体涉及互联网技术领域，尤其涉及一种用于远程直接内存访问仿真验证的仿真验证系统及方法。

背景技术

远程直接内存访问（Remote Direct Memory Access，RDMA）指的是从一台计算机的内存到另一台计算机的内存的直接访问，此过程中不涉及任何一方的操作系统。RDMA技术应用在计算机网络相关领域，实现了高吞吐量、低延迟的网络，有利于组建大规模并行计算机集群。RDMA的基本工作原理是通过网络适配器将数据从物理线路直接拷贝到应用程序的内存，或者将数据从应用程序的内存直接拷贝到物理线路，在此过程中无需在应用程序的内存和操作系统的数据缓冲区之间拷贝数据，因此数据传输不占用中央处理器（centralprocessing unit，CPU）资源和缓存，也不涉及上下文切换等，还可以使得数据传输和其他系统操作并行进行。支持RDMA技术的网络适配器，例如网络接口卡（Network InterfaceCard，NIC）或者网卡等，具有不同的硬件实现方式，还可以支持不同的网络协议。因此，基于RDMA技术的产品方案往往要考虑硬件实现细节和软件驱动两个方面，例如在软件层面提供RDMA核心协议栈的支持以及在硬件层面提供优化设计。

对芯片设计的功能验证有助于在芯片生产之前验证芯片设计是否符合需求例如逻辑时序的正确性等，有利于提高流片效率和开发效率。但是，在现有技术中，RDMA软件驱动和RDMA逻辑验证是分开进行测试验证的。并且，在RDMA逻辑验证完成之前RDMA软件无法参与到逻辑验证中；而在逻辑验证过程中，也无法协同软件一起进行验证。这样不利于提前发现软硬件交互问题，也不利于提高验证效率。

基于上述现有技术中存在的技术难题，提供了一种用于远程直接内存访问仿真验证的仿真验证系统及方法，用于解决现有技术中存在的问题。

发明内容

本申请实施例提供了一种用于远程直接内存访问仿真验证的仿真验证系统及方法，用于解决现有技术中存在的问题。

第一方面，本申请提供了一种仿真验证系统，用于远程直接内存访问仿真验证。所述仿真验证系统包括：待测试设计，用于提供远程直接内存访问硬件逻辑；仿真器，用于模拟操作系统以运行远程直接内存访问软件以及提供至少一个模拟设备，其中，所述远程直接内存访问软件用于模拟与所述远程直接内存访问硬件逻辑相关联的软硬件交互，所述至少一个模拟设备用于与所述待测试设计交互从而协同所述待测试设计进行所述远程直接内存访问硬件逻辑的仿真验证；和网卡，用于与所述待测试设计交互以实现网卡互操作测试。其中，所述仿真验证系统基于所述仿真器和所述网卡的观测结果生成所述远程直接内存访问硬件逻辑和所述远程直接内存访问软件的联合仿真验证结果。

通过本申请的第一方面，实现了所述远程直接内存访问硬件逻辑和所述远程直接内存访问软件的联合仿真验证结果，这样可以在逻辑验证过程中协同软件一起进行验证，有利于及时发现软硬件交互问题、软件问题、硬件问题还有逻辑内部的问题并进行改正，也有利于提高验证效率。

在本申请的第一方面的一种可能的实现方式中，所述观测结果包括所述待测试设计与所述网卡之间的交互特征以及所述仿真器接收的来自所述待测试设计的反馈。