买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

申请/专利权人：中国人民解放军国防科技大学

摘要：本发明公开了一种用于FPGA原型验证系统的文件导出方法及系统，本发明方法包括将待测设计下载到FPGA原型验证系统中；使用设备树文件引导上位机的操作系统启动，设备树中的内存节点中包含定义为保留内存的子节点，用于保留一段操作系统不使用且连续的内存空间以用于存储要输出的数据文件；在上位机的操作系统中将需要导出的数据文件搬移到保留的内存空间中；向FPGA原型验证系统发送文件导出命令，获得需要导出的数据文件。本发明能够在FPGA原型验证系统在没有外设IO设备或IO接口的条件下，便捷、高速地将存储于内存中的文件导出至上位机或服务器中，缩短文件导出时间，提高对待验证设计代码进行功能验证和性能验证的效率。

主权项：1.一种用于FPGA原型验证系统的文件导出方法，其特征在于，包括：步骤S1：将待测设计下载到FPGA原型验证系统中；步骤S2：使用设备树文件引导上位机的操作系统启动，所述设备树文件对应的设备树中的内存节点中包含定义为保留内存的子节点，所述子节点用于保留一段操作系统不使用且连续的内存空间以用于存储要输出的数据文件；步骤S3：在上位机的操作系统中将需要导出的数据文件搬移到保留的内存空间中；步骤S4：向FPGA原型验证系统发送文件导出命令，获得需要导出的数据文件；步骤S4中向FPGA原型验证系统发送文件导出命令是通过上位机中运行的文件导出控制软件实现的，所述文件导出控制软件的执行步骤包括：步骤S4.1：程序初始化，完成网络通信参数与协议的初始化配置，使所述文件导出控制软件和所述FPGA原型验证系统之间可通过以太网进行通信；步骤S4.2：接收用户输入的需导出数据文件的信息，包括：数据文件的名称file_name，数据文件在FPGA原型验证系统内存中的起始地址file_addr，以及数据文件以字节计数的文件大小file_size；步骤S4.3：根据数据文件的名称file_name创建文件file_name_PC及其对应的文件计数指针pointer_file_name_PC，创建初始化为0的整型变量receive_count以记录从所述FPGA原型验证系统接收到的文件数据字节数；步骤S4.4：根据需要导出的数据文件的文件命令格式，创建导出文件命令并通过以太网子卡发送到FPGA原型验证系统；步骤S4.5：等待FPGA原型验证系统返回的文件导出数据包，并根据文件导出数据包的起始符和结束符提取出指定大小n字节的文件数据；步骤S4.6：判断文件大小file_size减去整型变量receive_count的差是否大于或等于n字节，若成立则跳转到步骤S4.7，否则跳转到步骤S4.8；步骤S4.7：通过文件计数指针pointer_file_name_PC将接收到的全部n字节文件数据写入文件file_name_PC，将整型变量receive_count自加n后跳转到所述步骤S4.5；步骤S4.8：通过文件计数指针pointer_file_name_PC将接收到的文件数据中的前file_size-receive_count字节写入文件file_name_PC，并跳转到步骤S4.9；其中file_size-receive_count为文件大小file_size减去整型变量receive_count的差；步骤S4.9：关闭文件计数指针pointer_file_name_PC，通过上位机显示终端提示用户的数据文件导出完毕并结束程序执行。

全文数据：

权利要求：

百度查询： 中国人民解放军国防科技大学 一种用于FPGA原型验证系统的文件导出方法及系统