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

权利要求书

1.一种仿真验证系统，用于远程直接内存访问仿真验证，其特征在于，所述仿真验证系统包括：

待测试设计，用于提供远程直接内存访问硬件逻辑；

仿真器，用于模拟操作系统以运行远程直接内存访问软件以及提供至少一个模拟设备，其中，所述远程直接内存访问软件用于模拟与所述远程直接内存访问硬件逻辑相关联的软硬件交互，所述至少一个模拟设备用于与所述待测试设计交互从而协同所述待测试设计进行所述远程直接内存访问硬件逻辑的仿真验证；和

网卡，用于与所述待测试设计交互以实现网卡互操作测试，

其中，所述仿真验证系统基于所述仿真器和所述网卡的观测结果生成所述远程直接内存访问硬件逻辑和所述远程直接内存访问软件的联合仿真验证结果，

所述观测结果包括所述待测试设计与所述网卡之间的交互特征以及所述仿真器接收的来自所述待测试设计的反馈，

所述仿真验证系统通过所述远程直接内存访问软件模拟产生激励信号，以及通过比较所述观测结果和与所述激励信号对应的参考观测结果来生成所述联合仿真验证结果，

所述联合仿真验证结果包括所述远程直接内存访问硬件逻辑的仿真验证结果和所述远程直接内存访问软件的正确性验证结果。

2.根据权利要求1所述的仿真验证系统，其特征在于，所述激励信号基于产品交付需求和用户偏好。

3.根据权利要求1所述的仿真验证系统，其特征在于，所述联合仿真验证结果用于定位和修复所述远程直接内存访问硬件逻辑和所述远程直接内存访问软件中的错误。

4.根据权利要求1所述的仿真验证系统，其特征在于，所述仿真器是快速仿真器，所述网卡是标准远程直接内存访问网卡，所述待测试设计与所述标准远程直接内存访问网卡之间传输标准远程直接内存访问报文。

5.根据权利要求1所述的仿真验证系统，其特征在于，所述至少一个模拟设备用于与所述待测试设计交互从而协同所述待测试设计进行所述远程直接内存访问硬件逻辑的仿真验证，包括：

所述至少一个模拟设备协同所述待测试设计进行以下至少一项：直接内存访问操作、中断操作、基地址寄存器空间读写和快捷外设互联标准设备配置空间读写。

6.根据权利要求5所述的仿真验证系统，其特征在于，所述至少一个模拟设备包括用于协同所述待测试设计进行所述快捷外设互联标准设备配置空间读写的一个或者多个快捷外设互联标准设备。

7.根据权利要求5所述的仿真验证系统，其特征在于，所述至少一个模拟设备包括用于协同所述待测试设计进行所述直接内存访问操作的一个或者多个存储介质。

8.根据权利要求5所述的仿真验证系统，其特征在于，所述至少一个模拟设备与所述待测试设计之间的交互通过传输控制协议套接字实现。

9.根据权利要求8所述的仿真验证系统，其特征在于，所述基地址寄存器空间读写和所述快捷外设互联标准设备配置空间读写通过配置参数套接字实现，所述直接内存访问操作和所述中断操作通过直接内存访问套接字实现。

10.根据权利要求9所述的仿真验证系统，其特征在于，所述待测试设计用于解析所述配置参数套接字和所述直接内存访问套接字的数据包，所述待测试设计还用于通过报文套接字将远程直接内存访问报文发送给所述网卡以及通过所述报文套接字接收来自所述网卡的报文。

11.根据权利要求9所述的仿真验证系统，其特征在于，所述仿真器通过所述直接内存访问套接字处理来自所述待测试设计的报文并通过所述远程直接内存访问软件上送处理结果。