肖爱斌，王斐尧，王文炎，隽 扬，张雷浩，张皓源（. 中国空间技术研究院，北京 00094；.中国电子科技集团公司第58研究所，江苏 无锡 4035）

宇航用静态随机存储器验证方法研究与应用

肖爱斌1，王斐尧1，王文炎1，隽 扬2，张雷浩1，张皓源1
（1. 中国空间技术研究院，北京 100094；
2.中国电子科技集团公司第58研究所，江苏 无锡 214035）

摘 要：在研究静态随机存储器故障模型以及常用功能验证方法的基础上，提出采用March SOF算法结合故障注入的EDAC测试程序作为宇航用带EDAC功能SRAM存储器的验证方法。该方法将March SOF算法扩展为32位字定向算法，同时增加数据保持故障以及EDAC功能的测试，可以对宇航用SRAM进行全方位功能验证。采用实际电路，对该方法进行实现和验证，验证结果表明了方法的可行性和有效性。

关键词：静态随机存储器SRAM；错误检测与纠正EDAC；功能验证；March算法

1　引言

受宇宙空间中辐射的影响，航天器上的静态随机存储器（Static Random Access Memory，SRAM）可能会发生单粒子翻转效应（Signal Event Upset，SEU）。SEU可能会造成存储器某一位的数据从一个稳态变化到另一个稳态，而存储器的数据变化又会使星载计算机系统的指令或是数据出错，严重时可能导致整个星载计算机系统的崩溃。因此需要寻找一种办法来纠错或是容错[1]。实现星载计算机SRAM容错或纠错的办法有很多，采用带EDAC功能的SRAM存储器是最直接的办法。

随着工艺尺寸的不断缩小，存储容量的不断扩大，SRAM存储器的测试复杂度越来越大，为提供合格的存储器产品，必须针对各种电路故障，优化测试向量，提高产品的测试覆盖率。……