专利详情

专利名称	一种基于查找表可观性度量的选择性三模冗余方法
申请号	CN201410670703.5	专利类型	发明专利
公开（公告）号	CN104461790A	公开（授权）日	2015.03.25
申请（专利权）人	中国科学院自动化研究所	发明（设计）人	王子龙;涂吉;王骏也;郑美松;李立健
主分类号	G06F11/16(2006.01)I	IPC主分类号	G06F11/16(2006.01)I
专利有效期	一种基于查找表可观性度量的选择性三模冗余方法至一种基于查找表可观性度量的选择性三模冗余方法	法律状态	实质审查的生效
说明书摘要	本发明提出一种SRAM型FPGA基于可观性度量的选择性三模冗余方法，将待冗余电路映射成为k输入查找表的网表格式，作为待冗余的原始电路；根据输入逐级计算电路中所有节点为1的概率值，结合查找表存储单元中存储的比特位，逐级计算电路中所有查找表的可观性；根据查找表的可观性计算冗余后电路的抗SEU能力，结合节省的硬件开销比例，将所有查找表归为SEU敏感和不敏感两类；选择SEU敏感的查找表做三模冗余，并根据冗余结果在每个冗余查找表和下一级非冗余查找表之间插入表决器，实现对原始电路的选择性三模冗余。该方法应用在SRAM的FPGA产品上，能够在可靠性接近全三模冗余的同时，大幅度的降低FPGA的资源开销。