Function verification method for SRAM with EDAC function for use in space navigation

The present invention discloses a function verification method for an SRAM with an EDAC function for use in space navigation. The comprehensive function and performance verification is performed on the SRAM with the EDAC function to verify whether the SRAM with the EDAC function satisfies the application requirements for space navigation, the verification content comprises the March C algorithm verification, the 1 bit wrong-injection verification and the 2 bit wrong-injection verification, which are performed on the SRAM with the EDAC function under the situation that the EDAC is started or closed. According to the function verification method, the data background of the March C algorithm is extended to the directed algorithm of 32 bits, and besides, the verification of hold-over faults of data is added; and the EDAC test program of fault injection is adopted.