• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊

J4 ›› 2014, Vol. 36 ›› Issue (12): 2355-2360.

• 论文 • 上一篇    下一篇

面向门级网表的VLSI三模冗余加固设计

徐冉冉1,2,孟海波1,桂小琰2,申小伟1,安述倩1   

  1. (1.中国科学院计算技术研究所计算机体系结构国家重点实验室,北京 100190;
    2.北京理工大学信息与电子学院,北京100081)
  • 收稿日期:2014-07-12 修回日期:2014-09-19 出版日期:2014-12-25 发布日期:2014-12-25
  • 基金资助:

    国家自然科学基金资助项目(61204047,61202059);计算机体系结构国家重点实验室开放课题(CARCH201203);北京市教委科技计划面上资助项目(KM201210028004)

Triple modular redundancy design for VLSI gate level netlist           

XU Ranran1,2,MENG Haibo1,GUI Xiaoyan2,SHEN Xiaowei1,AN Shuqian1   

  1. (1.State Key Laboratory of Computer Architecture,Institute of Computing Technology,CAS,Beijing 100190;
    2.School of Information and Electroinc,Beijing Institute of Technology,Beijing 100081,China)
  • Received:2014-07-12 Revised:2014-09-19 Online:2014-12-25 Published:2014-12-25

摘要:

航天器在宇宙空间易受粒子的影响而产生错误,三模冗余技术是一种有效的容错机制。但是,现有的三模冗余加固设计一般是一款芯片定制一套加固方案,无法做到通用性。提出一种功能无关的VLSI门级网表三模冗余加固通用设计方案。通过对时序器件和组合逻辑器件进行不同的加固设计,实现三模冗余。根据对不同的工艺库的识别与理解,本方案还进行了驱动能力优化等。通过将上述方案工具化,并利用已有的众核处理器网表进行实验评估,全局时序器件加固面积增加为原始网表面积的185%,局部时序器件加固面积增加为原网表的1%~80%,加固方案可按设计需求配置。实验数据表明,加固后的网表中关键路径的平均时延增加为22.15%~22.86%,在设计需求配置下,性能可满足用户要求。

关键词: 可靠性, 三模冗余, 时序单元, 组合逻辑, 门级网表

Abstract:

Particles in universe may damage spacecrafts to malfunction,and triple modular redundancy (TMR) is an effective faulttolerant technology.However,the existing TMR design is usually specifically customized for a given chip, it can as not be used in general.A novel TMR design scheme is proposed for VLSI gatelevel netlist without considering the function.The scheme contains four design methods, which are global sequential elements TMR,local sequential elements TMR,global combinational logic cells TMR, and local combinational logic cells TMR.According to different libraries,the strategy also optimizes the drive capability.The proposed scheme is verified by a multicore processor netlist.The experimental results show that,the area overhead of global sequential elements TMR is 185% of that of the original netlist,and the area overhead of local sequential elements TMR 1%~80% of that of the original netlist.The scheme can be configured according to designers’requirements.Experimental data show that the delay introduced by the scheme on the critical paths is about 22.15%~22.86%,which is controllable for designers. And the scheme has a relative high reliability.

Key words: reliability;triple modular redundancy (TMR);sequential element;combinational logic;gate-level netlist