CN101615211A - 商用现场可编程器件用于辐照环境下三模冗余抗辐照方法 - Google Patents

商用现场可编程器件用于辐照环境下三模冗余抗辐照方法 Download PDF

Info

Publication number
CN101615211A
CN101615211A CN200910055872A CN200910055872A CN101615211A CN 101615211 A CN101615211 A CN 101615211A CN 200910055872 A CN200910055872 A CN 200910055872A CN 200910055872 A CN200910055872 A CN 200910055872A CN 101615211 A CN101615211 A CN 101615211A
Authority
CN
China
Prior art keywords
output terminal
voting machine
input end
logic
working field
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Granted
Application number
CN200910055872A
Other languages
English (en)
Other versions
CN101615211B (zh
Inventor
杨萌
邵海波
童家榕
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Fudan University
Original Assignee
Fudan University
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Fudan University filed Critical Fudan University
Priority to CN200910055872A priority Critical patent/CN101615211B/zh
Publication of CN101615211A publication Critical patent/CN101615211A/zh
Application granted granted Critical
Publication of CN101615211B publication Critical patent/CN101615211B/zh
Expired - Fee Related legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Abstract

本发明一种基于查找表结构商用现场可编程器件用于辐照环境下三模冗余抗辐照方法及其通用算法,为缓解商用FPGA芯片在辐照环境下因太空中辐照能量粒子造成编程点单粒子翻转问题。该方法根据用户电路逻辑类型进行分类,第一类为输入逻辑、第二类为非反馈逻辑、第三类为反馈逻辑、第四类为输出逻辑。本发明针对四种类型逻辑分别提出不同的三模冗余抗辐照处理方法。该方法是处理各种用户电路映射到商用FPGA的一种普适性方法。既有广泛代表性,又具有通用性,同时也兼备实用性。

Description

商用现场可编程器件用于辐照环境下三模冗余抗辐照方法
技术领域
本发明属于现场可编程门阵列(FPGA)的电子设计自动化EDA(Electronic Design Automation)技术领域,具体涉及一种基于查找表结构的商用FPGA在辐照环境中,通过采用三模冗余抗辐照的方法及其通用算法,从而缓解辐照所造成的单粒子翻转的软错误问题。
背景技术
基于查找表结构的商用FPGA由大量的可编程逻辑资源组成。太空中存在的能量粒子对此类FPGA芯片会产生单粒子效应SingleEvent Effects(SEE)。当单个能量粒子打在SRAM可编程点上,形成足够的能量时,就会产生单粒子翻转效应Single Event Upset(SEU)。单粒子翻转可能造成查找表、寄存单元、RAM等器件的逻辑状态改变,从而逻辑功能与预期不一致。基于查找表结构的商用FPGA非常容易受此效应的干扰。为了能使基于查找表结构的商用FPGA在辐照环境中得到应用,可以采用三模冗余抗辐照的方法,从而缓解辐照所造成的单粒子翻转的软错误问题。
传统的三模冗余方法涉及三模冗余所有寄存器和使用大数表决器(Majority Voter)。原则上,当任何一个设计工作域失败,另两个工作域继续正确操作,通过使用大数表决器从而保证设计正确性。图1描述了这个传统的三模冗余方法,图2描述了大数表决器和逻辑功能真值表信息,图4描述了小数表决器和逻辑功能真值表信息。
然而,传统三模冗余方法实现FPGAs重构时,传统的方法有两个缺陷:
1.传统三模冗余设计在大数表决器上没有保护设置。图3描述了传统三模冗余设计不能解决SET的问题。
2.尽管传统三模冗余方法可以缓和单一故障,但它缺少一种纠正错误能力。另一个在相同的部分设计的,但是在不同的设计工作域会导致错误的大数表决器的输出。
发明内容
本发明所要解决的技术问题是要寻求一种基于查找表结构的商用现场可编程器件FPGA用于辐照环境下,缓解此类商用FPGA芯片因辐照环境而造成单粒子翻转问题,并在此基础上研究一种具有通用性的逻辑三模冗余抗辐照软错误的算法。
为了解决以上的技术问题,本发明提供了一种商用现场可编程器件FPGA用于辐照环境下三模冗余抗辐照方法,用户设计电路映射到商用FPGA芯片上分类成四种逻辑,分别为:输入逻辑、非反馈逻辑、反馈逻辑和输出逻辑。针对该四种不同逻辑分类,分别进行不同的三模冗余抗辐照处理。
A、所述的输入或非反馈逻辑类型的三模冗余抗辐照处理方法如下:
(1)对所有输入端A、B和CLK进行三模冗余复制,分别工作在三个不同工作域TR0,TR1和TR2;工作域TR0对应输入端口则为A_TR0、B_TR0和CLK_TR0;工作域TR1对应输入端口则为A_TR1、B_TR1和CLK_TR1;工作域TR2对应输入端口则为A_TR2、B_TR2和CLK_TR2;
(2)对所有非反馈的逻辑单元进行三模冗余复制,分别工作在三个不同工作域TR0,TR1和TR2;工作域TR0对应非反馈的逻辑则为101_TR0;工作域TR1对应非反馈的逻辑则为101_TR1;工作域TR2对应非反馈的逻辑则为101_TR2;
(3)对所有相关线网进行三模冗余复制但并不插入大数表决器,致使每个三模冗余的设计工作域独立运作。
B、所述的反馈逻辑类型的三模冗余抗辐照处理方法如下:
1)对所有反馈逻辑的组合逻辑102和时序单元103进行三模冗余复制,分别工作在三个不同工作域TR0,TR1和TR2;工作域TR0对应组合逻辑和时序单元则为102_TR0和103_TR0;工作域TR1对应组合逻辑和时序单元则为102_TR1和103_TR1;工作域TR2对应组合逻辑和时序单元则为102_TR2和103_TR2;
2)对所有相关线网进行三模冗余复制,致使每个三模冗余的设计工作域独立运作;除了对所有反馈的逻辑单元和线网进行三模冗余复制,还需在每个工作域一致的位置创建大数表决器并插入;大数表决器插入点在原设计反馈逻辑的时序单元103输出端Q对应的位置之后。
3)工作域TR0的大数表决器104_TR0插在103_TR0输出端Q之后,大数表决器104_TR0输入端TR0与103_TR0输出端Q相连接,大数表决器104_TR0输出端V反馈到同一工作域TR0,并与102_TR0的输入端I0相连;大数表决器104_TR0的另外两个输入端TR1和TR2分别与其他两个作用域TR1和TR2的103_TR1的输出端Q和103_TR2的输出端Q相连;
4)工作域TR1的大数表决器104_TR1插在103_TR1输出端Q之后,大数表决器104_TR1输入端TR1与103_TR1输出端Q相连接,大数表决器104_TR1输出端V反馈到同一工作域TR1,并与102_TR1的输入端I0相连;大数表决器104_TR1的另外两个输入端TR0和TR2分别与其他两个作用域TR0和TR2的103_TR0的输出端Q和103_TR2的输出端Q相连;
5)工作域TR2的大数表决器104_TR2插在103_TR2输出端Q之后,大数表决器104_TTR2输入端TR2与103_TR2输出端Q相连接,大数表决器104_TR2输出端V反馈到同一工作域TR2,并与102_TR2的输入端I0相连;大数表决器104_TR2的另外两个输入端TR0和TR1分别与其他两个作用域TR0和TR1的103_TR0的输出端Q和103_TR1的输出端Q相连。
C、所述的输出逻辑的三模冗余抗辐照处理方法如下:
①对所有输出端X进行三模冗余复制,分别工作在三个不同工作域TR0,TR1和TR2;工作域TR0对应输出端口则为X_TR0;工作域TR1对应输出端口则为X_TR1;工作域TR2对应输出端口则为X_TR2;
②工作域TR0输出端X_TR0不直接与104_TR0输出端V相连,而是与三态缓冲器106_TR0的输出端O相连;三态缓冲器106_TR0由小数表决器105_TR0控制;前一级的大数表决器104_TR0输出端V与三态缓冲器106_TR0的输入端I相连,同时也和小数表决器105_TR0的输入端I_TR0相连;小数表决器105_TR0的输出端O作为三态缓冲器106_TR0的控制端T的输入信号,控制104_TR0的输出;小数表决器105_TR0的另外两个输入端I_TR1和I_TR2分别与其他两个作用域TR1和TR2的104_TR1的输出端V和104_TR2的输出端V相连;
③工作域TR1输出端X_TR1不直接与104_TR1输出端V相连,而是与三态缓冲器106_TR1的输出端O相连;三态缓冲器106_TR1由小数表决器105_TR1控制;前一级的大数表决器104_TR1输出端V与三态缓冲器106_TR1的输入端I相连,同时也和小数表决器105_TR1的输入端I_TR2相连;小数表决器105_TR1的输出端O作为三态缓冲器106_TR1的控制端T的输入信号,控制104_TR1的输出;小数表决器105_TR1的另外两个输入端I_TR0和I_TR1分别与其他两个作用域TR0和TR2的104_TR0的输出端V和104_TR2的输出端V相连;
④工作域TR2输出端X_TR2不直接与104_TR2输出端V相连,而是与三态缓冲器106_TR2的输出端O相连;三态缓冲器106_TR2由小数表决器105_TR2控制;前一级的大数表决器104_TR2输出端V与三态缓冲器106_TR2的输入端I相连,同时也和小数表决器105_TR2的输入端I_TR2相连;小数表决器105_TR2的输出端O作为三态缓冲器106_TR2的控制端T的输入信号,控制104_TR2的输出;小数表决器105_TR2的另外两个输入端I_TR0和I_TR1分别与其他两个作用域TR0和TR1的104_TR0的输出端V和104_TR1的输出端V相连。
所述的四种不同逻辑分类,其中:所述非反馈逻辑101的两个输入端I0、I1分别与输入A、B相连,非反馈逻辑101输出端O作为下一级的驱动,连接到组合逻辑102的输入端I1;所述反馈逻辑包括组合逻辑102和时序单元103,时序单元103的输出端Q反馈到组合逻辑102的输入端I0,组合逻辑102的输出端O则连接到时序单元103的输入端D构成反馈,时钟输入端CLK连接到时序单元103的时钟输入端C;所述输出逻辑为X与时序单元103的输出端Q相连接。
基于上述三模冗余抗辐照方法,本发明提出了具有通用性的三模冗余抗辐照软错误的算法,该算法对移位寄存器进行替换、寄存器进行替换(包括触发器和锁存器)、高低电平的处理、名字一致性处理、三模冗余电路、插入大数表决器和插入小数表决器,它的具体步骤如下:
①读入用户设计电路网表;
②移位寄存器替换;
③寄存器替换;
④高低电平的处理;
⑤名字一致性处理;
⑥三模冗余电路;
⑦输出文件。
本发明的优越功效在于:本发明针对四种类型逻辑分别提出不同的三模冗余抗辐照处理方法,该处理方法是处理各种用户电路到商用FPGA的一种普适性方法,既有广泛代表性,又有通用性,同时兼备实用性。
附图说明
图1是传统三模冗余方法的逻辑示意图;
图2是大数表决器和逻辑功能真值表;
图3是传统三模冗余方法实现受SET干扰的逻辑示意图;
图4是小数表决器和逻辑功能真值表;
图5是三模冗余前的逻辑示意图;
图6是三模冗余后的逻辑示意图;
图7是三模冗余输入或非反馈逻辑的逻辑示意图;
图8是三模冗余反馈逻辑的逻辑示意图;
图9是三模冗余输出逻辑的逻辑示意图。
具体实施方式
请参阅附图所示,对本发明作进一步的描述。
本发明提供了一种商用现场可编程器件FPGA用于辐照环境下三模冗余抗辐照方法,用户设计电路映射到商用FPGA芯片上分类成四种逻辑,分别为:输入逻辑、非反馈逻辑、反馈逻辑和输出逻辑。针对该四种不同逻辑分类,分别进行不同的三模冗余抗辐照处理。
图5中的用户设计电路(三模冗余前)四种逻辑分别为:(1)输入逻辑A、B和CLK,(2)非反馈逻辑101,(3)反馈逻辑(包括组合逻辑102和时序单元103)和(4)输出逻辑X。
图6为图5在三模冗余之后的逻辑示意图。
图7为三模冗余输入逻辑和非反馈逻辑部分。对所有输入端A、B和CLK进行三模冗余复制,分别工作在三个不同工作域TR0,TR1和TR2。工作域TR0对应输入端口则为A_TR0、B_TR0和CLK_TR0;工作域TR1对应输入端口则为A_TR1、B_TR1和CLK_TR1;工作域TR2对应输入端口则为A_TR2、B_TR2和CLK_TR2。
对所有非反馈逻辑101进行三模冗余复制,分别工作在三个不同工作域TR0,TR1和TR2。工作域TR0对应非反馈逻辑则为101_TR0;工作域TR1对应非反馈逻辑则为101_TR1;工作域TR2对应非反馈逻辑则为101_TR2。
图8为三模冗余反馈逻辑部分。对所有组合逻辑102和时序单元103进行三模冗余复制,分别工作在三个不同工作域TR0,TR1和TR2。工作域TR0对应组合逻辑102和时序单元103则为102_TR0和103_TR0;工作域TR1对应组合逻辑102和时序单元103则为102_TR1和103_TR1;工作域TR2对应组合逻辑102和时序单元103则为102_TR2和103_TR2。
工作域TR0的大数表决器104_TR0插在103_TR0输出端Q之后,输入端TR0与103_TR0输出端Q相连接,大数表决器104_TR0输出端V反馈到工作域TR0中的102_TR0的输入端I0。大数表决器104_TR0的另外两个输入端TR1和TR2分别与其他两个作用域TR1和TR2的103_TR1的输出端Q和103_TR2的输出端Q相连。
工作域TR1的大数表决器104_TR1和工作域TR2的大数表决器104_TR2与工作域TR0的大数表决器104_TR0插入情况类似,也插入在本工作域的103输出端Q之后,该工作域的大数表决器的输出端V反馈到本工作域的102输入端I0。
图9为三模冗余输出逻辑部分。对所有输出端X进行三模冗余复制,分别工作在三个不同工作域TR0,TR1和TR2。工作域TR0对应输出端口则为X_TR0;工作域TR1对应输出端口则为X_TR1;工作域TR2对应输出端口则为X_TR2。
工作域TR0输出端X_TR0不直接与104_TR0输出端V相连,而是与三态缓冲器106_TR0的输出端O相连。三态缓冲器106_TR0由小数表决器105_TR0控制,图4描述了小数表决器和逻辑功能真值表信息。前一级的大数表决器104_TR0输出端V与三态缓冲器106_TR0的输入端I相连,同时也和小数表决器105_TR0的输入端I_TR0相连。小数表决器105_TR0的输出端O作为三态缓冲器106_TR0的控制端T的输入信号,控制104_TR0的输出。小数表决器105_TR0的另外两个输入端I_TR1和I_TR2分别与其他两个作用域TR1和TR2的104_TR1的输出端V和104_TR2的输出端V相连。
工作域TR1输出端X_TR1和工作域TR2输出端X_TR2与工作域TR0输出端X_TR0连接情况类似,也是通过与各自的工作域的三态缓冲器输出端相连,并在各自相对应的工作域插入小数表决器。
基于上述三模冗余抗辐照方法,本发明提出了具有通用性的三模冗余抗辐照软错误的算法,该算法对移位寄存器进行替换、寄存器进行替换(包括触发器和锁存器)、高低电平的处理、名字一致性处理、三模冗余电路、插入大数表决器和插入小数表决器,它的具体步骤如下:
①读入用户设计门级电路网表;
②移位寄存器替换:综合工具会自动地把移位寄存器综合成采用一个LUT实现的器件,例如SRL16和SRL16E,这样的器件难以抵抗SEU效应。根据移位寄存器的实现特点,采用LUT和触发器等器件,预先设计好与SRL16等移位寄存器对应的移位寄存器,再把综合后的移位寄存器的器件替换成与之对应预先设计好的移位寄存器;
③寄存器替换:考虑到SEU效应容易对综合中的形成的PULLUP器件造成失效等原因,寄存器需进行替换。寄存器替换过程与替换移位寄存器一致。也是预先设计好与之对应的寄存器器件,再把综合后网表中的寄存器替换成与之对应预先设计好的寄存器;
④高低电平的处理:在FPGA芯片的结构中有很多高电平VCC和低电平GND可以不通过外部互连线直接连接进位链的输入端,但是这些VCC和GND也是非常容易受单粒子翻转问题干扰。另外,寄存器器件在没有特别指定其是否有使能、置位复位信号时都采用默认的电平,这也是非常容易受单粒子翻转问题干扰。故人为地加入了外接高低电平,并且把这些原先采用默认的信号的端口也都连接到外接高低电平上克服高低电平所引起的单粒子翻转问题;
⑤名字一致性处理:由于输入网表可能是层次化的网表,在三倍冗余电路执行前需对打平网表进行名字一致性处理,也是为三倍冗余电路做准备;
⑥三模冗余电路:由于三倍冗余后电路的规模比三倍冗余之前的电路至少大了两倍,再加上大数表决器的插入和在输出端需插入小数表决器,整个电路的规模会非常大,因此合理地插入大数表决器,至关重要,其不仅可以节省资源利用,还可以提高单粒子翻转的抵抗能力。把插入大数表决器的策略和插入大数表决器实施独立出来。首先遍历网表,在需要插入大数表决器的器件进行标记,这一步完成后,在三模冗余电路时,根据这些标记,进行大数表决器插入。这样的优点在于:1)大数表决器的插入策略可以反复修正,2)同时可以有不同的插入策略,都不影响整个三模冗余电路的复制过程。
目前考虑到三模冗余后,布局布线的情况,采取以下策略:只有对有反馈回路的电路,进行插入大数表决器,而且只在该回路的第一个寄存器输出端插入。小数表决器(Minority Voter),用LUT实现,但不同于大数表决器,只在输出端前插入。输出管脚通过三态缓冲使它保持在高阻状态,如果在输入和非反馈逻辑和反馈逻辑(状态器)中,冗余的设计工作域之一可能错误,从而与其他两个设计工作域不同,小数表决器通过对三个设计工作域的检测,该工作域的输出管脚通过三态缓冲使它保持在高阻状态。而另外两个工作域继续操作正确和驱动正确输出的芯片。
⑦输出业界标准EDIF 2.0格式文件。

Claims (3)

1、一种商用现场可编程器件FPGA用于辐照环境下三模冗余抗辐照方法,其特征在于:
用户设计电路映射到商用FPGA芯片上分类成四种逻辑,分别为:输入逻辑、非反馈逻辑、反馈逻辑和输出逻辑;针对该四种不同逻辑分类,分别进行不同的三模冗余抗辐照处理;
A、所述的输入或非反馈逻辑类型的三模冗余抗辐照处理方法如下:
(1)对所有输入端A、B和CLK进行三模冗余复制,分别工作在三个不同工作域TR0,TR1和TR2;工作域TR0对应输入端口则为A_TR0、B_TR0和CLK_TR0;工作域TR1对应输入端口则为A_TR1、B_TR1和CLK_TR1;工作域TR2对应输入端口则为A_TR2、B_TR2和CLK_TR2;
(2)对所有非反馈的逻辑单元进行三模冗余复制,分别工作在三个不同工作域TR0,TR1和TR2;工作域TR0对应非反馈的逻辑则为101_TR0;工作域TR1对应非反馈的逻辑则为101_TR1;工作域TR2对应非反馈的逻辑则为101_TR2;
(3)对所有相关线网进行三模冗余复制但并不插入大数表决器,致使每个三模冗余的设计工作域独立运作;
B、所述的反馈逻辑类型的三模冗余抗辐照处理方法如下:
1)对所有反馈逻辑的组合逻辑(102)和时序单元(103)进行三模冗余复制,分别工作在三个不同工作域TR0,TR1和TR2;工作域TR0对应组合逻辑和时序单元则为102_TR0和103_TR0;工作域TR1对应组合逻辑和时序单元则为102_TR1和103_TR1;工作域TR2对应组合逻辑和时序单元则为102_TR2和103_TR2;
2)对所有相关线网进行三模冗余复制,致使每个三模冗余的设计工作域独立运作;除了对所有反馈的逻辑单元和线网进行三模冗余复制,还需在每个工作域一致的位置创建大数表决器并插入;大数表决器插入点在原设计反馈逻辑的时序单元(103)输出端Q对应的位置之后。
3)工作域TR0的大数表决器104_TR0插在103_TR0输出端Q之后,大数表决器104_TR0输入端TR0与103_TR0输出端Q相连接,大数表决器104_TR0输出端V反馈到同一工作域TR0,并与102_TR0的输入端I0相连;大数表决器104_TR0的另外两个输入端TR1和TR2分别与其他两个作用域TR1和TR2的103_TR1的输出端Q和103_TR2的输出端Q相连;
4)工作域TR1的大数表决器104_TR1插在103_TR1输出端Q之后,大数表决器104_TR1输入端TR1与103_TR1输出端Q相连接,大数表决器104_TR1输出端V反馈到同一工作域TR1,并与102_TR1的输入端I0相连;大数表决器104_TR1的另外两个输入端TR0和TR2分别与其他两个作用域TR0和TR2的103_TR0的输出端Q和103_TR2的输出端Q相连;
5)工作域TR2的大数表决器104_TR2插在103_TR2输出端Q之后,大数表决器104_TR2输入端TR2与103_TR2输出端Q相连接,大数表决器104_TR2输出端V反馈到同一工作域TR2,并与102_TR2的输入端I0相连;大数表决器104_TR2的另外两个输入端TR0和TR1分别与其他两个作用域TR0和TR1的103_TR0的输出端Q和103_TR1的输出端Q相连;
C、所述的输出逻辑的三模冗余抗辐照处理方法如下:
①对所有输出端X进行三模冗余复制,分别工作在三个不同工作域TR0,TR1和TR2;工作域TR0对应输出端口则为X_TR0;工作域TR1对应输出端口则为X_TR1;工作域TR2对应输出端口则为X_TR2;
②工作域TR0输出端X_TR0不直接与104_TR0输出端V相连,而是与三态缓冲器106_TR0的输出端O相连;三态缓冲器106_TR0由小数表决器105_TR0控制;前一级的大数表决器104_TR0输出端V与三态缓冲器106_TR0的输入端I相连,同时也和小数表决器105_TR0的输入端I_TR0相连;小数表决器105_TR0的输出端O作为三态缓冲器106_TR0的控制端T的输入信号,控制104_TR0的输出;小数表决器105_TR0的另外两个输入端I_TR1和I_TR2分别与其他两个作用域TR1和TR2的104_TR1的输出端V和104_TR2的输出端V相连;
③工作域TR1输出端X_TR1不直接与104_TR1输出端V相连,而是与三态缓冲器106_TR1的输出端O相连;三态缓冲器106_TR1由小数表决器105_TR1控制;前一级的大数表决器104_TR1输出端V与三态缓冲器106_TR1的输入端I相连,同时也和小数表决器105_TR1的输入端I_TR2相连;小数表决器105_TR1的输出端O作为三态缓冲器106_TR1的控制端T的输入信号,控制104_TR1的输出;小数表决器105_TR1的另外两个输入端I_TR0和I_TR1分别与其他两个作用域TR0和TR2的104_TR0的输出端V和104_TR2的输出端V相连;
④工作域TR2输出端X_TR2不直接与104_TR2输出端V相连,而是与三态缓冲器106_TR2的输出端O相连;三态缓冲器106_TR2由小数表决器105_TR2控制;前一级的大数表决器104_TR2输出端V与三态缓冲器106_TR2的输入端I相连,同时也和小数表决器105_TR2的输入端I_TR2相连;小数表决器105_TR2的输出端O作为三态缓冲器106_TR2的控制端T的输入信号,控制104_TR2的输出;小数表决器105_TR2的另外两个输入端I_TR0和I_TR1分别与其他两个作用域TR0和TR1的104_TR0的输出端V和104_TR1的输出端V相连。
2、按权利要求1所述的商用现场可编程器件FPGA用于辐照环境下三模冗余抗辐照方法的通用算法,其特征在于:该算法的步骤如下所示:
①读入用户设计电路网表;
②移位寄存器替换;
③寄存器替换;
④高低电平的处理;
⑤名字一致性处理;
⑥三模冗余电路;
⑦输出文件。
3、按权利要求1所述的商用现场可编程器件FPGA用于辐照环境下三模冗余抗辐照方法,其特征在于:
所述的四种不同逻辑分类,其中:
所述非反馈逻辑(101)的两个输入端I0、I1分别与输入A、B相连,非反馈逻辑(101)输出端O作为下一级的驱动,连接到组合逻辑(102)的输入端I1;
所述反馈逻辑包括组合逻辑(102)和时序单元(103),时序单元(103)的输出端Q反馈到组合逻辑(102)的输入端I0,组合逻辑(102)的输出端O则连接到时序单元(103)的输入端D构成反馈,时钟输入端CLK连接到时序单元(103)的时钟输入端C;
所述输出逻辑为X与时序单元(103)的输出端Q相连接。
CN200910055872A 2009-08-04 2009-08-04 商用现场可编程器件用于辐照环境下三模冗余抗辐照方法 Expired - Fee Related CN101615211B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN200910055872A CN101615211B (zh) 2009-08-04 2009-08-04 商用现场可编程器件用于辐照环境下三模冗余抗辐照方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN200910055872A CN101615211B (zh) 2009-08-04 2009-08-04 商用现场可编程器件用于辐照环境下三模冗余抗辐照方法

Publications (2)

Publication Number Publication Date
CN101615211A true CN101615211A (zh) 2009-12-30
CN101615211B CN101615211B (zh) 2012-10-17

Family

ID=41494850

Family Applications (1)

Application Number Title Priority Date Filing Date
CN200910055872A Expired - Fee Related CN101615211B (zh) 2009-08-04 2009-08-04 商用现场可编程器件用于辐照环境下三模冗余抗辐照方法

Country Status (1)

Country Link
CN (1) CN101615211B (zh)

Cited By (17)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN102606331A (zh) * 2012-03-20 2012-07-25 西安航天动力试验技术研究所 三冗余表决控制系统及方法
CN102820879A (zh) * 2012-08-17 2012-12-12 中国电子科技集团公司第五十八研究所 抗辐照的三模冗余电路结构
CN103236271A (zh) * 2013-03-26 2013-08-07 深圳市国微电子有限公司 基于三模冗余加固单粒子翻转的存储器、加固方法
CN103353999A (zh) * 2013-06-25 2013-10-16 浙江大学 一种具有抗辐照能力的表决器
CN103368560A (zh) * 2013-06-25 2013-10-23 浙江大学 一种三模冗余表决器
CN103389892A (zh) * 2013-06-25 2013-11-13 浙江大学 一种自刷新的三模冗余计数器
CN103578567A (zh) * 2013-11-18 2014-02-12 中国电子科技集团公司第五十八研究所 基于三模冗余抗辐照自刷新寄存器
CN103793583A (zh) * 2014-03-05 2014-05-14 中国电子科技集团公司第五十八研究所 设备抗辐照加固再设计方法
CN104063292A (zh) * 2014-06-27 2014-09-24 中国航天科技集团公司第五研究院第五一三研究所 一种在轨可重构方法
CN106330164A (zh) * 2015-06-29 2017-01-11 复旦大学 一种基于或非门和与门的抗辐射锁存器的制备方法
CN106774775A (zh) * 2017-02-22 2017-05-31 许继集团有限公司 一种防止单粒子翻转误动作的开入跳闸方法及系统
CN109086520A (zh) * 2018-08-02 2018-12-25 深圳市精嘉微电子有限公司 一种提高同步逻辑实时运行可靠性的方法
CN109741781A (zh) * 2018-11-23 2019-05-10 山东航天电子技术研究所 一种基于三模冗余的多基片存储器的数据写入读出方法
CN110210133A (zh) * 2019-06-03 2019-09-06 哈尔滨工程大学 一种edif网表级组合逻辑电路的自动故障注入方法
CN110366760A (zh) * 2016-12-30 2019-10-22 纽斯高动力有限责任公司 核反应堆保护系统和方法
US10797701B2 (en) 2018-01-03 2020-10-06 Honeywell International Inc. Compensating for degradation of electronics due to radiation vulnerable components
CN112597728A (zh) * 2020-12-28 2021-04-02 中国科学院空天信息创新研究院 基于分子级网表的三模冗余方法

Families Citing this family (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US10305478B1 (en) * 2018-01-03 2019-05-28 Honeywell International Inc. Compensating for degradation of electronics due to radiation vulnerable components

Family Cites Families (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6735110B1 (en) * 2002-04-17 2004-05-11 Xilinx, Inc. Memory cells enhanced for resistance to single event upset
CN100470674C (zh) * 2007-03-02 2009-03-18 清华大学 基于隔离方法的“软错误”抑制电路
CN101277198B (zh) * 2008-05-13 2010-06-30 首都师范大学 一种具有在苛刻环境中抗辐照干扰的高速通信芯片

Cited By (27)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN102606331A (zh) * 2012-03-20 2012-07-25 西安航天动力试验技术研究所 三冗余表决控制系统及方法
CN102820879A (zh) * 2012-08-17 2012-12-12 中国电子科技集团公司第五十八研究所 抗辐照的三模冗余电路结构
CN103236271A (zh) * 2013-03-26 2013-08-07 深圳市国微电子有限公司 基于三模冗余加固单粒子翻转的存储器、加固方法
CN103353999B (zh) * 2013-06-25 2015-09-02 浙江大学 一种具有抗辐照能力的表决器
CN103368560A (zh) * 2013-06-25 2013-10-23 浙江大学 一种三模冗余表决器
CN103389892A (zh) * 2013-06-25 2013-11-13 浙江大学 一种自刷新的三模冗余计数器
CN103389892B (zh) * 2013-06-25 2016-06-08 浙江大学 一种自刷新的三模冗余计数器
CN103353999A (zh) * 2013-06-25 2013-10-16 浙江大学 一种具有抗辐照能力的表决器
CN103578567A (zh) * 2013-11-18 2014-02-12 中国电子科技集团公司第五十八研究所 基于三模冗余抗辐照自刷新寄存器
CN103578567B (zh) * 2013-11-18 2016-06-29 中国电子科技集团公司第五十八研究所 基于三模冗余抗辐照自刷新寄存器
CN103793583A (zh) * 2014-03-05 2014-05-14 中国电子科技集团公司第五十八研究所 设备抗辐照加固再设计方法
CN103793583B (zh) * 2014-03-05 2017-02-08 中国电子科技集团公司第五十八研究所 设备抗辐照加固再设计方法
CN104063292A (zh) * 2014-06-27 2014-09-24 中国航天科技集团公司第五研究院第五一三研究所 一种在轨可重构方法
CN104063292B (zh) * 2014-06-27 2017-04-19 中国航天科技集团公司第五研究院第五一三研究所 一种在轨可重构方法
CN106330164A (zh) * 2015-06-29 2017-01-11 复旦大学 一种基于或非门和与门的抗辐射锁存器的制备方法
CN106330164B (zh) * 2015-06-29 2019-12-20 复旦大学 一种基于或非门和与门的抗辐射锁存器的制备方法
CN110366760A (zh) * 2016-12-30 2019-10-22 纽斯高动力有限责任公司 核反应堆保护系统和方法
US11961625B2 (en) 2016-12-30 2024-04-16 Nuscale Power, Llc Nuclear reactor protection systems and methods
CN110366760B (zh) * 2016-12-30 2024-05-07 纽斯高动力有限责任公司 核反应堆保护系统和方法
CN106774775A (zh) * 2017-02-22 2017-05-31 许继集团有限公司 一种防止单粒子翻转误动作的开入跳闸方法及系统
US10797701B2 (en) 2018-01-03 2020-10-06 Honeywell International Inc. Compensating for degradation of electronics due to radiation vulnerable components
CN109086520A (zh) * 2018-08-02 2018-12-25 深圳市精嘉微电子有限公司 一种提高同步逻辑实时运行可靠性的方法
CN109741781A (zh) * 2018-11-23 2019-05-10 山东航天电子技术研究所 一种基于三模冗余的多基片存储器的数据写入读出方法
CN109741781B (zh) * 2018-11-23 2020-07-28 山东航天电子技术研究所 一种基于三模冗余的多基片存储器的数据写入读出方法
CN110210133A (zh) * 2019-06-03 2019-09-06 哈尔滨工程大学 一种edif网表级组合逻辑电路的自动故障注入方法
CN110210133B (zh) * 2019-06-03 2022-07-08 哈尔滨工程大学 一种edif网表级组合逻辑电路的自动故障注入方法
CN112597728A (zh) * 2020-12-28 2021-04-02 中国科学院空天信息创新研究院 基于分子级网表的三模冗余方法

Also Published As

Publication number Publication date
CN101615211B (zh) 2012-10-17

Similar Documents

Publication Publication Date Title
CN101615211B (zh) 商用现场可编程器件用于辐照环境下三模冗余抗辐照方法
CN100576221C (zh) 一种验证抗单粒子效应能力的故障注入系统及其方法
CN103578567B (zh) 基于三模冗余抗辐照自刷新寄存器
CN103326711B (zh) 基于三模冗余和dice的抗辐射加固锁存器
CN100588982C (zh) 现场可编程门阵列可配置逻辑块验证方法及系统
US8791718B2 (en) Sequential state elements in triple-mode redundant (TMR) state machines
CN109558649B (zh) 一种面向宇航芯片的寄存器单粒子效应模拟仿真方法
CN106788379A (zh) 一种基于异构双模冗余的抗辐射加固锁存器
CN110083492B (zh) 一种电路关键寄存器三模冗余加固方法及装置
She et al. SEU tolerant latch based on error detection
CN102831273A (zh) 包含双边沿触发器的数字集成电路设计方法
CN103391102A (zh) 可容软错误的扫描链触发器
Li et al. A 65 nm temporally hardened flip-flop circuit
CN101452492A (zh) 集成电路版图与原理图一致性检查的局部重签名修复方法
CN103389892A (zh) 一种自刷新的三模冗余计数器
CN104268253A (zh) 一种基于查找表配置位统计的部分三模冗余方法
CN102749872B (zh) 电子提花机数据传输方法
CN103514962A (zh) 容错存储器
CN202798645U (zh) 抗辐照的三模冗余电路结构
Safarulla et al. Design of soft error tolerance technique for FPGA based soft core processors
CN105656474B (zh) 一种基于信号概率的fpga用户电路逻辑反转优化方法
She et al. Single event transient suppressor for flip-flops
Verducci et al. Fault-tolerant finite state machine quasi delay insensitive in commercial FPGA devices
CN102279899B (zh) 对精简标准单元库进行优化的方法
Khodosevych et al. Evolution of null convention logic based asynchronous paradigm: An overview and outlook

Legal Events

Date Code Title Description
C06 Publication
PB01 Publication
C10 Entry into substantive examination
SE01 Entry into force of request for substantive examination
C14 Grant of patent or utility model
GR01 Patent grant
CF01 Termination of patent right due to non-payment of annual fee

Granted publication date: 20121017

Termination date: 20150804

EXPY Termination of patent right or utility model