[发明专利]一种基于存储器冗余的SRAM型FPGA配置系统

权利要求书

1.一种基于存储器冗余的SRAM型FPGA配置系统，其特征在于，包括：多个可读写存储器、高可靠逻辑器件和SRAM型FPGA；

可读写存储器：用于响应高可靠逻辑器件的读写操作，并反馈读写操作结果至高可靠逻辑器件；

高可靠逻辑器件：接收外部输入的控制指令；接收外部发送的SRAM型FPGA配置数据包，进行解析和拼接处理，获得解析和拼接后的SRAM型FPGA配置数据包，根据控制指令传输给可读写存储器或SRAM型FPGA；根据控制指令从任意一个可读写存储器中读取SRAM型FPGA配置数据包，进行校验和计算，获得校验和计算结果并存储；根据控制指令将任意一片可读写存储器中读取的SRAM型FPGA配置数据包传输给SRAM型FPGA并获得SRAM型FPGA反馈的配置操作结果和刷新操作结果；根据控制指令从多片可读写存储器中同时读取SRAM型FPGA配置数据包，进行三选二表决，获得表决后的SRAM型FPGA配置数据包并传输给SRAM型FPGA，并获得SRAM型FPGA反馈的配置操作结果和刷新操作结果；接收可读写存储器反馈的读写操作结果，将读写操作结果、配置操作结果、刷新操作结果、校验结果和计算结果组成状态信息帧，并根据控制指令向外部输出；

SRAM型FPGA：接收高可靠逻辑器件传输的SRAM型FPGA配置数据包，根据控制指令进行只配置不刷新处理，或进行配置并刷新处理。

2.根据权利要求1所述的一种基于存储器冗余的SRAM型FPGA配置系统，其特征在于，可读写存储器的个数大于或等于3。

3.根据权利要求2所述的一种基于存储器冗余的SRAM型FPGA配置系统，其特征在于，所述控制指令包括：第一程序上注指令、第二程序上注指令、回读校验指令、只配置不刷新指令、配置刷新指令、三模冗余只配置不刷新指令、三模冗余配置并刷新指令或状态信息请求指令。

4.根据权利要求3所述的一种基于存储器冗余的SRAM型FPGA配置系统，其特征在于，在接收到第一程序上注指令时，高可靠逻辑器件将解析和拼接后的SRAM型FPGA配置数据包传输给第一程序上注指令中指定的可读写存储器，进行写操作；

在接收到第二程序上注指令时，高可靠逻辑器件将解析和拼接后的SRAM型FPGA配置数据包传输给SRAM型FPGA，对SRAM型FPGA进行配置处理，并获得SRAM型FPGA反馈的配置操作结果。

5.根据权利要求3所述的一种基于存储器冗余的SRAM型FPGA配置系统，其特征在于，在接收到回读校验指令时，高可靠逻辑器件从回读校验指令中指定的可读写存储器中读取SRAM型FPGA配置数据包，进行校验和计算，获得校验和计算结果并存储。

6.根据权利要求3所述的一种基于存储器冗余的SRAM型FPGA配置系统，其特征在于，在接收到只配置不刷新指令时，高可靠逻辑器件从可读写存储器中读取的SRAM型FPGA配置数据包传输给SRAM型FPGA，对SRAM型FPGA进行配置处理，并获得SRAM型FPGA反馈的配置操作结果；

在接收到配置刷新指令时，高可靠逻辑器件从可读写存储器中读取的SRAM型FPGA配置数据包传输给SRAM型FPGA，对SRAM型FPGA进行配置并刷新处理，并获得SRAM型FPGA反馈的配置操作结果和刷新操作结果。

7.根据权利要求3所述的一种基于存储器冗余的SRAM型FPGA配置系统，其特征在于，在接收到三模冗余只配置不刷新指令时，高可靠逻辑器件从多片可读写存储器中同时读取SRAM型FPGA配置数据包，进行三选二表决，获得表决后的SRAM型FPGA配置数据包并传输给SRAM型FPGA，对SRAM型FPGA进行配置处理，并获得SRAM型FPGA反馈的配置操作结果。