CN100452059C - Automatic intelligent single-particle fault injector - Google Patents
Automatic intelligent single-particle fault injector Download PDFInfo
- Publication number
- CN100452059C CN100452059C CNB2005101114941A CN200510111494A CN100452059C CN 100452059 C CN100452059 C CN 100452059C CN B2005101114941 A CNB2005101114941 A CN B2005101114941A CN 200510111494 A CN200510111494 A CN 200510111494A CN 100452059 C CN100452059 C CN 100452059C
- Authority
- CN
- China
- Prior art keywords
- signal
- file
- particle
- simulation
- hierarchical structure
- 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.)
- Expired - Fee Related
Links
Images
Landscapes
- Test And Diagnosis Of Digital Computers (AREA)
Abstract
A fully automatic fault injector of single particle event is prepared as enabling to pick up signal system designed by RTL according to HDL file, enabling to select relevant signal or all signals to carry out fault injection, enabling to generate relevant single particle turn probability as per size of space radiation intensity then generate relevant artificial error exciting file for selected signal according to said turn probability, injecting artificial error file to carry out simulation and to check correctness of simulation result when artificial tool is called on.
Description
Technical field
The present invention relates to a kind of space flight reliability field that is applied to, relate in particular to the method for implanting of the automatic intelligent single-particle fault injector of the reliability design that is applied to space FPGA.
Background technology
Along with the development of aerospace industry, particularly FPGA in spaceborne widespread use, be faced with the problem of extremely complicated single particle effect.The high energy single-particle usually can cause the FPGA that is applied to space environment not work reliably, causes single-particle inversion (SEU) or the single event latch-up effect (SEL) of FPGA through regular meeting.Wherein the single-particle inversion effect is the soft error of FPGA, can solve by the logic error correction.In general fault-tolerant triplication redundancy judgement (TMR) and Error Checking and Correcting (EDAC) method of adopting realizes more.
Present verification method mostly is the authentication policy based on verification platform, this authentication policy is based on the checking of module interface, main thinking is injected some data and order for the input end at module interface, make module work, this moment detection module output whether with being consistent of the output of expectation, prove that then certain module function under this test case is correct if meet.If meet then and will not continue modified module, up to till output is consistent.
If utilize present verification method that the module of triplication redundancy judgement design is carried out emulation, can only verify then whether the function of working as front module is correct, can not verify the error checking and the error correction of triplication redundancy, just more can not simulate, when the emulation that begins most, just can not understand the radiation resistance of the fault-tolerance approach that adopts so definitely owing to the single-particle inversion effect that space radiation environment produced.
Summary of the invention
The object of the present invention is to provide a kind of method for implanting of the automatic intelligent single-particle fault injector for the radiation resistance of knowing the fault-tolerance approach that adopts when the functional simulation early, the single particle effect that this method for implanting can the virtual space radiation be produced, can in specified scope, make signal produce upset randomly, and upset intensity that can setting signal and dutycycle etc. make the radiation resistance that can understand fault-tolerance approach when functional simulation timely.
Purpose of the present invention can be achieved through the following technical solutions:
The method for implanting of automatic intelligent single-particle fault injector is characterized in that: it comprises the steps:
A, utilize script to programme, according to the order of compiling the signal of each hdl file is analyzed, until last top layer design document, progressively extract the hierarchical structure of signal according to the HDL language;
B, select among the step a signal that extracts from the hierarchical structure of signal or all signals, and the size of designated space radiation intensity, carry out single-particle inversion, obtain the single-particle inversion probability;
The single-particle inversion probability that c, dependence obtain produces corresponding dummy error excitation file to the signal of choosing;
D, when calling emulation tool, inject the correctness that this dummy error excitation file carries out emulation and checks simulation result.
In above-mentioned steps a, also can extract the hierarchical structure of signal by the simulation waveform file that analyzing stored all signal simulation waveforms.
Automatic intelligent single-particle fault injector of the present invention can be adjusted the fault generation rate according to the intensity and the orbit altitude of space radiation.
That is to say, the present invention utilizes script (for example TCL/TK) to programme, source code or simulation waveform file to HDL (hardware description language) are analyzed, extract the hierarchical structure of signal, and all signals are listed in graphical interfaces, the user can specify some signal generation single-particle inversion effect, also can specify all signal generation single-particle inversion effects, and size that can the designated space radiation intensity.After setting was finished, script can generate a single-particle inversion excitation according to the HDL emulation tool and current being provided with of current employing, and according to the size of the space radiation intensity of setting, the big more single-particle inversion probability of intensity is big more.At last dummy error is encouraged file load in emulation tool, to carry out emulation, and check whether simulation result is correct.
The present invention can simulate the environment of various complex space radiation when HDL emulation, for the reliability design of space FPGA provides Technical Reference, also this invention can be extended in some interface communications and go, the excitation that makes a mistake of docking port signal is so that investigate the anti-interference of interface protocol.
Description of drawings
The present invention is further described below in conjunction with accompanying drawing and embodiment.
Fig. 1 is the simulation waveform figure that does not inject through fault of a TMR simulation example of automatic intelligent single-particle fault injector of the present invention.
(result is correct) simulation waveform figure that Fig. 2 injects for the process fault of a TMR simulation example of automatic intelligent single-particle fault injector of the present invention.
(erroneous results) simulation waveform figure that Fig. 3 injects for the process fault of a TMR simulation example of automatic intelligent single-particle fault injector of the present invention.
Signal 1 among the figure, signal 2, with signal 3 be the TMR redundant signals, three signals are got two voting machines through three and are produced signals after deciding by vote.
Embodiment
Referring to Fig. 1, this moment, three signals were the same with the signal of arbitration back appearance, and emulation at this moment is to simulate the single particle effect that produced by space radiation.
Referring to Fig. 2, three signals are carried out fault inject, be correct through the signal after the voting machine error correction, space radiation environment is satisfied in the current reliability design of this explanation.
Referring to Fig. 3, three signals are carried out fault inject, be wrong through the signal after the voting machine error correction, illustrate that current reliability design can not satisfy space radiation environment.
The method for implanting of automatic intelligent single-particle fault injector of the present invention provides dual mode to extract the hierarchical structure of signal, a kind of is to utilize script (for example TCL/TK) to programme, extract according to current HDL language, according to the order of compiling the signal of each hdl file is analyzed exactly, until last top layer design document, all signal extractions are come out progressively; Another kind is according to current simulation waveform file, because emulation tool can be preserved the simulation waveform of all signals get off with the form of VCD (Value Change Dump) file after carrying out emulation, this file has comprised the hierarchical structure of signal, can extract the hierarchical structure of signal to this file analysis.After having extracted, utilize graphical interfaces that mux--out signal exhibits is come out to select for the user, the user can select a part of signal to carry out the single-particle inversion effect, also all signals all can be carried out the single-particle inversion effect.According to can setting radiation intensity of FPGA in the rail situation, after finishing, setting utilize the tandom number generator in the script that each signal of choosing is carried out the single-particle inversion effect according to current emulation tool, size according to the space radiation intensity of setting, the big more single-particle inversion probability of intensity is big more, and generate dummy error excitation file at last, encouraging file to add in the script of emulation tool operation dummy error goes, finally the HDL code is carried out emulation, check result's correctness.
The method for implanting of automatic intelligent single-particle fault injector of the present invention can also be adjusted the fault generation rate according to the intensity and the orbit altitude of space radiation.
Claims (2)
1, the method for implanting of automatic intelligent single-particle fault injector, it is characterized in that: it comprises the steps:
A, utilize script to programme, according to the order of compiling the signal of each hdl file is analyzed, until last top layer design document, progressively extract the hierarchical structure of signal according to the HDL language;
B, select among the step a signal that extracts from the hierarchical structure of signal or all signals, and the size of designated space radiation intensity, carry out single-particle inversion, obtain the single-particle inversion probability;
The single-particle inversion probability that c, dependence obtain produces corresponding dummy error excitation file to the signal of choosing;
D, when calling emulation tool, inject the correctness that this dummy error excitation file carries out emulation and checks simulation result.
2, method for implanting as claimed in claim 1 is characterized in that: in step a, the simulation waveform file of all signal simulation waveforms by analyzing stored extracts the hierarchical structure of signal.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CNB2005101114941A CN100452059C (en) | 2005-12-14 | 2005-12-14 | Automatic intelligent single-particle fault injector |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CNB2005101114941A CN100452059C (en) | 2005-12-14 | 2005-12-14 | Automatic intelligent single-particle fault injector |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN1983286A CN1983286A (en) | 2007-06-20 |
| CN100452059C true CN100452059C (en) | 2009-01-14 |
Family
ID=38165807
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CNB2005101114941A Expired - Fee Related CN100452059C (en) | 2005-12-14 | 2005-12-14 | Automatic intelligent single-particle fault injector |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN100452059C (en) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US10489520B2 (en) | 2015-05-14 | 2019-11-26 | Electronics And Telecommunications Research Institute | Method and apparatus for injecting fault and analyzing fault tolerance |
Families Citing this family (10)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN101916306A (en) * | 2010-07-16 | 2010-12-15 | 北京航空航天大学 | System and method for positioning FPGA chip sensitive area |
| CN103530207A (en) * | 2013-09-24 | 2014-01-22 | 北京京航计算通讯研究所 | Method for verifying triplication redundancy measure |
| CN103809109B (en) * | 2014-02-26 | 2016-08-24 | 工业和信息化部电子第五研究所 | Integrated circuit single particle effect detection device and system |
| CN103970603B (en) * | 2014-05-21 | 2017-05-24 | 哈尔滨工程大学 | Task scheduling method of event injection engine based on multilevel feedback queue |
| CN104035834B (en) * | 2014-07-02 | 2017-02-15 | 东南大学 | Buffering reliability analytical method considering safeguard measures |
| CN104598699A (en) * | 2015-02-13 | 2015-05-06 | 上海交通大学 | System C circuit model oriented soft error sensitivity analysis method |
| CN105388384B (en) * | 2015-12-15 | 2018-08-10 | 北京理工大学 | A kind of whole star single-particle soft error failure simulation system |
| CN106802848B (en) * | 2016-12-20 | 2019-06-18 | 北京计算机技术及应用研究所 | A kind of Method at Register Transfer Level N-modular redundancy verification method |
| CN107167725B (en) * | 2017-03-30 | 2019-10-25 | 北京时代民芯科技有限公司 | A kind of quick low overhead Full automatic digital integrated circuit single-particle fault injection system |
| CN112858889B (en) * | 2021-01-20 | 2022-03-25 | 南京航空航天大学 | Fault injection circuit for super large scale integrated circuit |
Citations (5)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US4996688A (en) * | 1988-09-19 | 1991-02-26 | Unisys Corporation | Fault capture/fault injection system |
| US6477666B1 (en) * | 1999-11-22 | 2002-11-05 | International Business Machines Corporation | Automatic fault injection into a JAVA virtual machine (JVM) |
| US20030172321A1 (en) * | 2002-03-11 | 2003-09-11 | Wolin Dale Haddon | System and methods for fault path testing through automated error injection |
| CN1450355A (en) * | 2002-04-08 | 2003-10-22 | 华为技术有限公司 | Signal fault injection machine |
| US20050050393A1 (en) * | 2003-08-26 | 2005-03-03 | Chakraborty Tapan J. | Fault injection method and system |
-
2005
- 2005-12-14 CN CNB2005101114941A patent/CN100452059C/en not_active Expired - Fee Related
Patent Citations (5)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US4996688A (en) * | 1988-09-19 | 1991-02-26 | Unisys Corporation | Fault capture/fault injection system |
| US6477666B1 (en) * | 1999-11-22 | 2002-11-05 | International Business Machines Corporation | Automatic fault injection into a JAVA virtual machine (JVM) |
| US20030172321A1 (en) * | 2002-03-11 | 2003-09-11 | Wolin Dale Haddon | System and methods for fault path testing through automated error injection |
| CN1450355A (en) * | 2002-04-08 | 2003-10-22 | 华为技术有限公司 | Signal fault injection machine |
| US20050050393A1 (en) * | 2003-08-26 | 2005-03-03 | Chakraborty Tapan J. | Fault injection method and system |
Non-Patent Citations (2)
| Title |
|---|
| 航天单粒子事件故障注入系统研究. 李华旺等.量子电子学报，第19卷第1期. 2002 |
| 航天单粒子事件故障注入系统研究. 李华旺等.量子电子学报，第19卷第1期. 2002 * |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US10489520B2 (en) | 2015-05-14 | 2019-11-26 | Electronics And Telecommunications Research Institute | Method and apparatus for injecting fault and analyzing fault tolerance |
Also Published As
| Publication number | Publication date |
|---|---|
| CN1983286A (en) | 2007-06-20 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN109858195B (en) | Online simulation system for necessary bit single-particle upset fault on SRAM (static random Access memory) type FPGA (field programmable Gate array) | |
| Civera et al. | Exploiting circuit emulation for fast hardness evaluation | |
| CN100452059C (en) | Automatic intelligent single-particle fault injector | |
| CN100588982C (en) | On-spot programmable gate array configurable logic block validation method and system | |
| CN101719170A (en) | Simulation test method of integrated circuits | |
| CN102820879A (en) | Radiation-proof triple-modular redundancy circuit structure | |
| US8719752B1 (en) | Hierarchical crosstalk noise analysis model generation | |
| CN109558649B (en) | Register single event effect simulation method for aerospace chip | |
| EP2875455A1 (en) | Relative timing characterization | |
| CN1945547A (en) | Embedded fault injection system and its method | |
| CN102541698A (en) | Self-reconfigurable D/TMR (Dual/Triple Modular Redundancy) system based on FPGA (Field Programmable Gate Array) and fault-tolerant design method thereof | |
| US20150026653A1 (en) | Relative timing characterization | |
| CN106383303A (en) | Observation point and concurrence based fault injection simulation method and device | |
| US8140315B2 (en) | Test bench, method, and computer program product for performing a test case on an integrated circuit | |
| US8954904B1 (en) | Veryifing low power functionality through RTL transformation | |
| CN202798645U (en) | Anti-irradiation triple module redundancy (TMR) circuit structure | |
| US7441216B1 (en) | Applying CNF simplification techniques for SAT-based abstraction refinement | |
| CN108427838B (en) | Simulation-based digital circuit fault injection method | |
| CN106095611A (en) | The error-tolerance type SDRAM control method that a kind of quick response AHB accesses | |
| CN112541278A (en) | Model transfer-oriented virtual test flow design method and system | |
| Ganai et al. | DiVer: SAT-based model checking platform for verifying large scale systems | |
| Bombieri et al. | On PSL properties re-use in SoC design flow based on Transaction Level Modeling | |
| Greenberg et al. | Selective state retention power gating based on formal verification | |
| CN112559359B (en) | S-based 2 ML security critical system analysis and verification method | |
| Xu et al. | LLM-Aided Efficient Hardware Design Automation |
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: 20090114 Termination date: 20161214 |
|
| CF01 | Termination of patent right due to non-payment of annual fee |