CN114816880B 可重构fpga软件的验证测试方法 （上海微小卫星工程中心）.docxVIP

(19)国家知识产权局

(12)发明专利

(10)授权公告号CN114816880B(45)授权公告日2025.01.10

(21)申请号202210478858.3

(22)申请日2018.05.24

(65)同一申请的已公布的文献号申请公布号CN114816880A

(43)申请公布日2022.07.29

(62)分案原申请数据

201810505446.82018.05.24

(73)专利权人上海微小卫星工程中心

地址201203上海市浦东新区海科路99号4

号楼

(72)发明人虞业泺施敏华麻文嘉许永建

常枭

(74)专利代理机构上海智晟知识产权代理事务所(特殊普通合伙)31313

专利代理师张东梅李镝的

(51)Int.CI.

GO6F11/22(2006.01)

GO6F11/362(2025.01)

GO6F11/3668(2025.01)

(56)对比文件

CN103473159A,2013.12.25

CN105718339A,2016.06.29审查员曹春晓

权利要求书1页说明书6页附图4页

(54)发明名称

可重构FPGA软件的验证测试方法

(57)摘要

CN114816880B本发明公开的验证方法用于星上FPGA可重构软件验证，该验证测试方法包括：主控板接收来自上位机的重构配置文件及验证测试配置文件；主控板的第一FPGA将收到的配置文件存储于主控板存储系统中，并根据实际测试板需求，进行验证测试执行重载程序、待测FPGA重载程序配置发布；测试板的测试执行FPGA调用测试执行FPGA重载程序，生成测试执行FPGA动态测试激励，并将所述动态测试激励作用于待测FPGA之中进行原型验证测试；待测FPGA对测试激励作出测试激励反馈，并将测试结果通过接口控制系统进行上传反馈；上位机接收FPGA验证测试结果进行比对分析来获得故障类型及故障位置，同时对所

CN114816880B

口500

口

500

530

测试执行FPGA531

动态程序存储空间

动态程序存储空间532

待测FPGA533

固化程序存储空间524

CN114816880B权利要求书1/1页

2

1.一种可重构FPGA软件的验证测试方法，包括：

主控板通过接口控制系统接收来自上位机的重构配置文件及验证测试配置文件；

主控板的第一FPGA通过其内部逻辑将收到的配置文件分类存储于主控板存储系统中，并根据实际测试板需求，通过接口控制系统，进行验证测试执行重载程序、待测FPGA重载程序配置发布；

测试板的测试执行FPGA调用测试执行FPGA重载程序，生成测试执行FPGA动态测试激励，并将所述动态测试激励作用于待测FPGA之中进行原型验证测试；

所述待测FPGA对所述测试激励作出测试激励反馈，并将测试结果通过接口控制系统进行上传反馈；

所述测试执行FPGA接收所述测试激励反馈，将所述测试激励反馈与已明确的行为进行比对，并通过迭代测试激励进行智能激励更新，所述测试执行FPGA对对比结果进行分析后，对有风险测试点的测试激励，自动做出缩小测试范围、定向针对性测试操作后再次作用于所述待测FPGA;

所述上位机接收FPGA验证测试结果，通过所反馈信息与已明确的正确行为进行比对分析来获得故障类型及故障位置，同时对所发现的或潜在的故障，通过文件配置操作进行验证文件动态调整，并将修改后契合度更高的验证文件再次通过接口传输并通过所述主控板下载至验证板进行验证测试；以及

所述测试执行FPGA和所述待测FPGA交换功能后进行FPGA验证测试。

2.如权利要求1所述的可重构FPGA软件的验证测试方法，其特征在于，所述上位机进行上位机用户可视化操作。

3.如权利要求1所述的可重构FPGA软件的验证测试方法，其特征在于，所述第一FPGA为反熔丝FPGA。

4.如权利要求1所述的可重构FPGA软件的验证测试方法，其特征在于，所述主控板具有第一存储系统，所述第一存储系统包括固化存储及重构存储。

5.如权利要求1所述的可重构FPGA软件的验证测试方法，其特征在于，所述测试执行FPGA和待测FPGA是SRAM型FPGA。

6.如权利要求1所述的可重构FPGA软件的验证测试方法，其特征在于，所述测试执行FPGA包括：

测试执行FPGA动态测试激励产生单元，用于基于测试执行FPGA重载程序生成测试执行FPGA动态测试激励；

验证测试结果智能比对单元，用于