留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

静态随机存储器在轨自检算法

吴洋 王羿 于新宇 许智龙 任放 黄缙

吴洋, 王羿, 于新宇, 等 . 静态随机存储器在轨自检算法[J]. 北京航空航天大学学报, 2021, 47(6): 1233-1240. doi: 10.13700/j.bh.1001-5965.2020.0140
引用本文: 吴洋, 王羿, 于新宇, 等 . 静态随机存储器在轨自检算法[J]. 北京航空航天大学学报, 2021, 47(6): 1233-1240. doi: 10.13700/j.bh.1001-5965.2020.0140
WU Yang, WANG Yi, YU Xinyu, et al. Algorithm of in-orbit SRAM for self-inspection[J]. Journal of Beijing University of Aeronautics and Astronautics, 2021, 47(6): 1233-1240. doi: 10.13700/j.bh.1001-5965.2020.0140(in Chinese)
Citation: WU Yang, WANG Yi, YU Xinyu, et al. Algorithm of in-orbit SRAM for self-inspection[J]. Journal of Beijing University of Aeronautics and Astronautics, 2021, 47(6): 1233-1240. doi: 10.13700/j.bh.1001-5965.2020.0140(in Chinese)

静态随机存储器在轨自检算法

doi: 10.13700/j.bh.1001-5965.2020.0140
基金项目: 

王宽诚教育基金“先进偏振遥感技术与应用国际团队” GJTD-2018-15

详细信息
    通讯作者:

    王羿, E-mail: wangyi@aiofm.ac.cn

  • 中图分类号: TP301.6

Algorithm of in-orbit SRAM for self-inspection

Funds: 

K.C.Wong Education"International Team of Advanced Polarization Remote Sensing Technology and Applications" GJTD-2018-15

More Information
  • 摘要:

    静态随机存储器(SRAM)在轨自检应用于星载电子设备上电初始化过程中,能够在电子设备开始工作前发现存储器的故障单元,为评估电子设备健康状态提供依据。分析了SRAM的结构和常见的故障原理,针对在轨应用这一特殊背景开展研究,提出了对典型测试算法的改进方案。在完成对改进方案的分析和评价后,以8 K×8 bit存储器为例开展算法的实现,并验证了改进方案的可行性。与典型测试算法相比,所提改进方案具有资源开销少、故障覆盖率高等优点。

     

  • 图 1  SRAM结构简图

    Figure 1.  Structure of SRAM

    图 2  无故障存储单元状态转换示意图

    Figure 2.  Schematic diagram of state transition of non-failed memory unit

    图 3  SRAM故障类型

    Figure 3.  Category of SRAM faults

    图 4  March算法

    Figure 4.  Schematic diagram of March algorithm

    图 5  改进型测试算法

    Figure 5.  Schematic diagram of improved test algorithm

    表  1  故障检测算法对比

    Table  1.   Comparison among fault detection methods

    算法 测试复杂程度 故障检出率/%
    MSCAN 4N 47
    March 10N~26N 90
    Checkboard 12N 80
    Galloping Pattern 2N2+N 65
    Sliding 2N2 70
    下载: 导出CSV

    表  2  自检函数设计说明

    Table  2.   Design description of self-test function

    项目 说明
    功能描述 根据改进型自检算法,按照特定的地址顺序对SRAM存储器进行读或者写操作,并判断符合预期
    输入数据
    处理 1) 对地址0000H写0,地址加1,对地址0001H写0,以此类推,直到对FFFFH写0
    2) 从地址0000H读入数据,如果为0,表明正常,参数“测试结果”设置为55H,如果不为0,则参数“测试结果”设置为AA,并将地址0000H放入参数“故障的存储单元的地址”,参数“检出故障时测试算法位置”设置为2,参数“读出故障内容”参数填入实际读出值,程序终止并返回。对0000H的数据处理完成后,对该地址写入FFH。从地址0001H读入数据,按照同样方法进行判断和写入,直到地址FFFFH
    3) 从地址FFFFH读入数据,按照步骤2方法判断是否为FFH,进行相应处理后写入55H,按照降序直到对地址0000H进行判断和写入
    4) 从地址0000H读入数据,按照步骤2方法判断是否为55H,进行相应处理后写入AAH,按照升序到对地址FFFFH进行判断和写入
    5) 从地址FFFFH读入数据,按照步骤2方法判断是否为AAH,进行相应处理后对该地址写入0,按照升序直到对地址0000H进行判断和写入
    输出数据 1) 测试结果,1字节,55表示芯片正常,AA表示存在故障
    2) 故障存储单元的地址,2字节
    3) 检出故障时测试算法的位置,1字节
    4) 故障读出内容,1字节
    下载: 导出CSV

    表  3  仿真器设置

    Table  3.   Simulator setting

    参数 设置值
    器件型号 80C32E
    晶振频率 12 MHz
    内存模式 片外64 KB存储器
    程序存储器模式 64 KB程序存储器
    调试模式 使用内置仿真器
    下载: 导出CSV

    表  4  测试用例

    Table  4.   Test cases

    故障名称 造错方法 预期结果 实测结果
    开路故障 改进型SRAM测试算法第2步在对地址7FFFH写FFH完成后,将地址FFFFH内容修改为FFH 测试结果为AAH故障地址FFFFH故障步骤02H读出内容为FFH 程序在第2步对地址FFFFH读0时报错并返回,返回的4个参数与预期结果一致
    固定故障 算法第1步完成后,将地址1234H内容修改为01H 测试结果为AAH故障地址1234H故障步骤02H读出内容为01H 程序在第2步对地址1234H读0时报错并返回,返回的4个参数与预期结果一致
    转换故障 算法第2步完成后,将地址4321H内容修改为00H 测试结果为AAH故障地址4321H故障步骤03H读出内容为00H 程序在第3步对地址4321H读FFH时报错并返回,返回的4个参数与预期结果一致
    完全故障 算法第1步完成后,将地址0000H内容修改为FFH 测试结果为AAH故障地址0000H故障步骤02H读出内容为FFH 程序在第2步对地址0000H读0时报错并返回,返回的4个参数与预期结果一致
    反码耦合故障 算法第3步完成后,将地址4567H内容修改为AAH 测试结果为AAH故障地址4567H故障步骤04H读出内容为AAH 程序在第4步对地址4567H读55H时报错并返回,返回的4个参数与预期结果一致
    无故障 不进行造错 测试结果为55H故障地址、故障步骤、错误内容均为初始值0 程序执行完毕,返回的4个参数与预期结果一致
    下载: 导出CSV
  • [1] 邢琰, 吴宏鑫, 王晓磊, 等. 航天器故障诊断与容错控制技术综述[J]. 宇航学报, 2003, 24(3): 221-226. doi: 10.3321/j.issn:1000-1328.2003.03.001

    XING Y, WU H X, WANG X L, et al. Survey of fault diagnosis and fault-tolerance control technology for spacecraft[J]. Journal of Astronautics, 2003, 24(3): 221-226(in Chinese). doi: 10.3321/j.issn:1000-1328.2003.03.001
    [2] 宋征宇. 运载火箭远程故障诊断技术综述[J]. 宇航学报, 2016, 37(2): 135-144. doi: 10.3873/j.issn.1000-1328.2016.02.001

    SONG Z Y. The survey of launch vehicle long distance fault diagnosis technique[J]. Journal of Astronautics, 2016, 37(2): 135-144(in Chinese). doi: 10.3873/j.issn.1000-1328.2016.02.001
    [3] 余丹, 马世龙, 李先军, 等. 航天器自动化测试语言研究[J]. 航空学报, 2010, 31(2): 290-300. https://www.cnki.com.cn/Article/CJFDTOTAL-HKXB201002015.htm

    YU D, MA S L, LI X J, et al. A survey of test languages for spacecraft automatic test[J]Acta Aeronautica et Astronautica Sinica, 2010, 31(2): 290-300(in Chinese). https://www.cnki.com.cn/Article/CJFDTOTAL-HKXB201002015.htm
    [4] 李洁, 沈士团, 孙宝江, 等. 航电设备故障诊断中的决策算法[J]. 北京航空航天大学学报, 2007, 33(6): 677-681. doi: 10.3969/j.issn.1001-5965.2007.06.011

    LI J, SHEN S T, SUN B J, et al. Algorithm of decision making for avionic device fault diagnosis[J] Journal of Beijing University of Aeronautics and Astronautics, 2007, 33(6): 677-681(in Chinese). doi: 10.3969/j.issn.1001-5965.2007.06.011
    [5] 王丽, 施玉霞, 王友人. 一种嵌入式存储器内建自测试电路设计[J]. 计算机测量与控制, 2008, 16(5): 624-262. https://www.cnki.com.cn/Article/CJFDTOTAL-JZCK200805016.htm

    WANG L, SHI Y X, WANG Y R. Design of embeded memory built-in self-test circuit[J]. Computer Measure and Control, 2008, 16(5): 624-262(in Chinese). https://www.cnki.com.cn/Article/CJFDTOTAL-JZCK200805016.htm
    [6] BENOIT G, JEAN-MICHEL D, LIONEL T, et al. Architecture for highly reliable embedded flash memories[C]//IEEE Design and Diagnostics of Electronic Circuits and Systems. Piscataway: IEEE Press, 2007: 1-6.
    [7] VAN D G. Using march test to test SRAMs[J]. IEEE Design & Test of Computers, 1993, 10(1): 8214. doi: 10.1109/54.199799
    [8] SUNGJU P, DONKYU Y, TAEHYUNG K, et al. Microcode-based memory bist implementing modified march algorithms[J]. Journal of the Korean Physical Society, 2002, 40(4): 749-753. doi: 10.3938/jkps.40.749
    [9] 须自明, 苏彦鹏, 于宗光, 基于March C-算法的SRAM BIST电路的设计[J]. 半导体技术, 2007, 32(3): 245-247. doi: 10.3969/j.issn.1003-353X.2007.03.017

    XU Z M, SU Y P, YU Z G. SRAM BIST circuit design based on the march c-algorithm[J]. Semiconductor Technology, 2007, 32(3): 245-247(in Chinese). doi: 10.3969/j.issn.1003-353X.2007.03.017
    [10] 姜昱光, 韩建伟, 朱翔, 等. SRAM型FPGA单粒子翻转效应加固方法[J]. 北京航空航天大学学报, 2014, 40(8): 1073-1077. doi: 10.13700/j.bh.1001-5965.2013.0514

    JIANG Y G, HAN J W, ZHU X, et al. Single event upset mitigation testing of SRAM-based FPGAs[J]. Journal of Beijing University of Aeronautics and Astronautics, 2014, 40(8): 1073-1077(in Chinese). doi: 10.13700/j.bh.1001-5965.2013.0514
    [11] 冯彦君, 华更新, 刘淑芬. 航天电子抗辐射研究综述[J]. 宇航学报, 2007, 28(5): 1071-1080. doi: 10.3321/j.issn:1000-1328.2007.05.001

    FENG Y J, HUA G X, LIU S F. Radiation hardness for space electronics[J]. Journal of Astronautics 2007, 28(5): 1071-1080(in Chinese). doi: 10.3321/j.issn:1000-1328.2007.05.001
    [12] HUANG P, CHEN S, CHEN J, et al. Simulation study of large-scale charge sharing mitigation using seamless guard band[J]. IEEE Transactions on Device and Materials Reliability, 2017, 17(1): 176-183. doi: 10.1109/TDMR.2016.2527631
    [13] 朱小莉, 陈迪平, 王镇道. SRAM的一种可测性设计[J]. 湖南大学学报(自然科学版), 2003, 30(6): 22-25. doi: 10.3321/j.issn:1000-2472.2003.06.007

    ZHU X L, CHEN D P, WANG Z D. A kind of design-for-test for SRAM[J]. Journal of Hunan University (Natural Sciences), 2003, 30(6): 22-25(in Chinese). doi: 10.3321/j.issn:1000-2472.2003.06.007
    [14] 雷绍充, 邵志标, 梁峰. 超大规模集成电路测试[M]. 北京: 电子工业出版社, 2008.

    LEI S C, SHAO Z B, LIANG F. Very large scale integration test[M], Beijing: Publishing House of Electronics Industry, 2008(in Chinese).
    [15] 靖连天, 张伟, 石遂兴, 等. 航天新型复杂器件在装备应用中的风险识别及防控[J]. 质量与可靠性, 2019(6): 36-41. https://www.cnki.com.cn/Article/CJFDTOTAL-ZNYZ201906009.htm

    JING L T, ZHANG W, SHI S X, et al. Risk identification and prevention of new space complex components in equipment applications[J]. Quality and Reliability, 2019(6): 36-41(in Chinese). https://www.cnki.com.cn/Article/CJFDTOTAL-ZNYZ201906009.htm
    [16] 高世伟, 吕江花. 乌尼日其其格, 等. 航天器测试需求描述及其自动生成[J]. 北京航空航天大学学报, 2015, 41(7): 1275-1286. doi: 10.13700/j.bh.1001-5965.2014.0762

    GAO S W, LYU J H, WUNIRI Q Q G, et al. Spacecraft test requirement description and automatic generation method[J]. Journal of Beijing University of Aeronautics and Astronautics, 2015, 41(7): 1275-1286(in Chinese). doi: 10.13700/j.bh.1001-5965.2014.0762
    [17] 朴英珲. 基于ECC电路的SRAM自检测修复设计与验证[D]. 哈尔滨: 哈尔滨工业大学, 2019.

    PIAO Y H. Design and verification of sram self-detection repair based on ecc circuit[D]. Harbin: Harbin Institute of Technology, 2019(in Chinese).
    [18] LIU S, XIAO L, LI J, et al. Low redundancy matrix-based codes for adjacent error correction with parity sharing[C]//2017 18th International Symposium on Quality Electronic Design (ISQED). Piscataway: IEEE Press, 2017: 76-80.
  • 加载中
图(5) / 表(4)
计量
  • 文章访问数:  174
  • HTML全文浏览量:  1
  • PDF下载量:  44
  • 被引次数: 0
出版历程
  • 收稿日期:  2020-04-13
  • 录用日期:  2020-07-25
  • 刊出日期:  2021-06-20

目录

    /

    返回文章
    返回
    常见问答