CRC (Cyclic Redundancy Check) method for SRAM (Static Random Access Memory) type FPGA (Field Programmable Gate Array) configuration refreshment

A verification method and verification code technology are applied in the fields of response error generation and redundant code error detection, etc., which can solve the problem of inherent error detection resource reliability, security difficult to verify, unsuitable for aerospace mission applications, and large storage consumption. space and other issues, to save storage resources and processing time, avoid wasting storage space, and improve computing speed and working frequency.

Active Publication Date: 2015-04-01
BEIJING INST OF CONTROL ENG
View PDF2 Cites 19 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0002] The SOC in the SoC central control unit of the subsystem of the aerospace flight tester is the first domestic attempt to use SRAM-type FPGA in the space vehicle control computer. Because the SRAM-type FPGA is susceptible to errors caused by single event effects, the aerospace industry with high requirements for reliability The application needs to dynamically refresh the configuration file and read back the error detection, making the SRAM type FPGA read-back verification technology one of the key and new technologies. The full-text read-back comparison needs to consume a lot of storage space, which is not suitable for limited software and hardware resources. space mission applications
At the same time, since the implementation of inherent error detection resources in FPGA is not disclosed, it is difficult to verify the reliability and security of using inherent error detection resources

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • CRC (Cyclic Redundancy Check) method for SRAM (Static Random Access Memory) type FPGA (Field Programmable Gate Array) configuration refreshment

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0025] The present invention combines the task characteristics of the aerospace flight tester through the research on the SRAM type FPGA configuration file format, storage form and failure mode, and adopts the comparison between the real-time calculation of the SRAM type FPGA readback configuration frame and the CRC check code stored in advance in the PROM. In the right way, a CRC check method for SRAM FPGA configuration refresh is proposed and implemented.

[0026] The present invention is a CRC check method for SRAM FPGA configuration refresh, especially suitable for fast readback of SRAM FPGA configuration files under the condition of limited logic resources, and real-time check calculation of the readback data to generate a CRC code. Comparing antifuse FPGA and ASIC designs.

[0027] By reading back the SRAM type FPGA configuration frame file; for the configuration frame information obtained by reading, utilize the CRC algorithm introduced in the present invention to gener...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The invention relates to a CRC (Cyclic Redundancy Check) method for SRAM (Static Random Access Memory) type FPGA (Field Programmable Gate Array) configuration refreshment. By studying the format, storage format and failure modes of an SRAM type FPGA configuration file and adopting a method which calculates and compares SRAM type FPGA read-back configuration frames with CRC codes prestored in a PROM in real time, the invention puts forward and implements the CRC method for SRAM type FPGA configuration refreshment. The method adopts the form of CRC check codes to realize the device independence of FPGA configuration information check, meanwhile, an enable flag and an obtainment flag are set, so that the application requirement of different-rate, large-data volume check is met, the CRC check of read-back data is implemented in real time in the read-back process, and thereby the object of saving memory resources and processing time is achieved. In addition, because a table lookup-based byte type CRC algorithm is used by the method, the independent division and management of resources is fast and efficient, and the operation speed and the operating frequency are increased.

Description

technical field [0001] The invention relates to a CRC verification method for SRAM FPGA configuration refresh, in particular to a method for quickly reading back an SRAM FPGA configuration file and verifying a calculated and generated CRC code in real time under the condition of limited logic resources. Background technique [0002] The SOC in the SoC central control unit of the subsystem of the aerospace flight tester is the first domestic attempt to use the SRAM FPGA in the spacecraft control computer. Since the SRAM FPGA is susceptible to errors caused by single event effects, the aerospace industry with high requirements for reliability The application needs to dynamically refresh the configuration file and read back the error detection, making the SRAM FPGA read-back verification technology one of the key and new technologies. The full-text read-back comparison needs to consume a lot of storage space, which is not suitable for limited software and hardware resources. sp...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
Patent Type & Authority Applications(China)
IPC IPC(8): G06F11/10
Inventor 叶有时杨孟飞孙强施蕾赵云富熊军董暘暘胡洪凯刘波吴一帆杨桦
Owner BEIJING INST OF CONTROL ENG
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products