Experimental verification of the effectiveness of a new circuit to mitigate single event upsets in a Xilinx Artix-7 field programmable gate array

https://doi.org/10.1016/j.micpro.2020.103327Get rights and content

Highlights

  • An event upsets mitigation technique, which makes use of Dual Modular Redundancy (DMR) with a filter, was developed.

  • It uses fewer resources than the widely used Triple Modular Redundancy (TMR) and significantly reduce event upsets in a FPGA.

  • This paper describes the effectiveness of the DMR-Filter combination mitigation technique in reducing the likelihood of event upsets occurring in Xilinx's Artix-7 FPGA when exposed to highly accelerated particles, similar to those in space.

  • This originality and contribution that this paper demonstrated was the effectiveness of a new mitigation technique in correcting errors that affect digital logic applications in SRAM FPGAs when exposed to highly accelerated particles, similar to those in space.

  • Consequently, some SEU characterization of the Xilinx's Artix-7 SRAM FPGA was presented. This new approach of the SET mitigation in the user logic of SRAM FPGA's has shown an increase in the efficiency compared to unmitigated designs.

Abstract

A single event transient (SET) filtering technique for the Xilinx Artix-7 Field Programmable Gate Array (FPGA) is investigated experimentally. The technique combines AND – OR gate circuits to provide a single circuit that can dissipate SETs irrespective of whether the input state is high or low. It uses fewer resources than the widely used Triple Modular Redundancy (TMR) and significantly reduces event upsets in a FPGA.

This paper presents the results of the experimental investigation, with the SET filter applied to various sequential circuit configurations, by proton beam irradiation. Their implementation and evaluation in-beam show their efficiency in eliminating SETs and single event upsets (SEU) compared to unmitigated designs.

Introduction

Space technology has overcome numerous problems in the attempt to improve the overall efficiency of memory-based digital devices aboard satellites; one such problem is the mitigation of the negative effects of radiation [1]. Such radiation increases the risk of failure, and enormous costs are involved when designing and consequently deploying digital circuitry in space.

The field programmable gate array (FPGA) is one type advanced programmable logic device which has been used in space technology over the years [2]. For low volume production and prototyping applications, it compares better to Application-Specific Integrated Circuits (ASIC) in terms of design cycle time, re-programmability, cost and overall performance. Despite these inherent advantages, deployment of the FPGA in the space environment is still a challenge due to the existence of radiation originating from solar wind, particles trapped in the Van Allen belts and cosmic rays [3]. Exposure to radiation can lead to incorrect voltage levels, broadly known as single event effects (SEEs), in the logic circuitry of digital devices deployed in space [4].

SEEs are caused by ionization when a highly charged particle, such as a neutron, proton or heavy ion strikes a circuit element leading to incorrect logic values. Such effects can either be permanent or temporary, more commonly referred to as hard or soft errors, respectively [5]. The permanent effects include: Single event burn-out (SEB), single event gate rapture (SEGR) and single event latch-up (SEL), while some of the temporary effects include single event upsets (SEU) and single event transients (SET).

The unpredictable nature of the space environment calls for a lot of thought and consideration to be taken in the design process before deployment of digital devices in space. One such consideration is the need for effective techniques to mitigate the SEEs.

An alternative to mitigation techniques, is a process called radiation hardening (RH). This process involves changing the characteristics of the raw materials at the silicon component level, to withstand the harsh radiation environment of certain missions [6]. However, it is very expensive and not commercially viable, especially for research and deployment of smaller missions like Cube Satellites. In this regard, less costly redundant and filter mitigation techniques have been developed by researchers in the field, with great success [4].

The response of a particular family of FPGAs to SEUs, depends on the architecture of its configuration memory [7]. For example, SRAM FPGAs are a family of FPGAs which have configuration memory that consists of SRAM cells. It has been shown that the configuration memory of SRAM based FPGAs is sensitive to SEUs, which causes a bit flip, when struck by an energetic charged particle [8]. This results in a change in functionality.

Flash based FPGAs, on the other hand, have configuration memory that consists of Flash memory cells, which have been shown to be resistant to SEUs [9]. However, previous tests have shown that Flash FPGAs are sensitive to soft errors, or SETs, in the combinational user logic, and to SEUs in the sequential logic elements [10]. Therefore, in order to use Flash FPGAs in a radiation environment, the mitigation must be applied to the user logic, as well as the memory elements. It is for this reason that most studies on the SET characterization of FPGA's have been performed on Flash-Based FPGAs due to its configuration memory being resistant to SEU's. The few studies in the literature that refer to SET characterization in SRAM-based FPGAs are based on software and hardware simulations without using any radiation facility [11,12]. Therefore, they do not provide a quantitative measure for SET probability and severity of the phenomenon in the form of the SET cross section [13].

The focus of this paper is to present experimental evidence to demonstrate the effectiveness of a new mitigation technique in correcting errors that affect digital logic applications in SRAM FPGAs when exposed to highly accelerated particles, similar to those in space [14]. Consequently, some SEU characterization of the Xilinx's Artix-7 SRAM FPGA is also presented.

Section snippets

Single event upsets

When ions form by the collision of energetic particles pass through a sensitive part of a semi-conductor chip, they generate a charge, which if sufficient, may cause a bit flip (change in a P-N junction's state) [15]. If this change in state happens during a clock's rising or falling edge and is thereafter saved in memory, it is known as a Single Event Upset (SEU) and if that single particle upsets many memory elements, it is called a Multi-Cell Upset (MCU) or Multiple Bit Upset (MBU). SEUs may

SEU detection and mitigation test structure

Reliable data for event upset cross-section is generally more difficult to obtain in larger complex designs because they contain more input gates which when obstructed by a logic value would prevent another gate's inputs from producing the desired output. This phenomenon is referred to as logic masking [39].

The layout of the test circuit's in the Device Under Test (DUT) are derived from a method used by Rezqui et. al. [24]. Several designs can be used on the same FPGA and at the same time

Device characterisation

The designs were tested on the Xilinx Artix-7 50T FPGA (the DUT) using VHDL on Xilinx's Integrated Development Environment (IDE) software known as Vivado Design Suite 2017.2 and then mapped onto the Xilinx Artix-7 FPGA core. Avnet's Artix-7 50T evaluation board was used as the basis platform that house the FPGA and was used without decapsulation. The board's overall cell usage is shown in Table 1. This table shows which elements in the device were utilized as a percentage of the total device

Results

Using data obtained from Ithemba labs as discussed in the previous sections, and our monitoring equipment, the cross-section per bit vs the proton energy was obtained, as listed in Table 2.

Table 2 summarizes the SET detection and mitigation results for the four test implementations. The best result is obtained for the Full TMR implementation, which is 50 times lower in comparison to the reference design which has no filters at all. Fig. 11, where the data was fitted to a Weibull curve,

Discussion

The experiments showed very good results for the various levels of mitigation schemes implemented in the test circuits. Test circuit 1, which implemented a shift register with no SET or SEU protection, displayed the highest cross section per bit among all test circuits. This is indeed as expected, with test circuit 1 having close to 12 times the cross section per bit, at a proton energy above 30MeV, than its nearest rival.

Test circuit 2 consisted of DMR protection of the user logic and one SET

Conclusion

The goal of radiation testing was to obtain a relationship between the device cross section per bit and proton energy. A higher device saturation cross section per bit implied that the design was more susceptible to single event upsets at that energy.

The originality and contribution that this paper demonstrated was the effectiveness of a new mitigation technique in correcting errors that affect digital logic applications in SRAM FPGAs when exposed to highly accelerated particles, similar to

Declaration of Competing Interest

The authors declare that there are no competing interests.

Acknowledgments

This work was supported financially by the National Research Foundation, South Africa. All the findings, conclusions and recommendations are those of the author and the National Research Foundation does not assume any liability in regard thereto.

Farouk Smith received the Bachelor of Science Degree in Physics (1994), the Bachelor of Science in Electronics Engineering (1996), and the Master of Science in Electronics Engineering at University of Cape Town (2003). He received the PhD in Electronic Engineering at the University of Stellenbosch, South Africa, in 2007. He is currently a professor and head of the Department of Mechatronics at Nelson Mandela University.

Prof. Smith is also a registered professional engineer with the Engineering

References (41)

  • V. Castano et al.

    Impact of Radiation on Electronics, in Resilient Computer System Design

    (2015)
  • B.D. Dunn

    Materials and Processes: For Spacecraft and High Reliability Applications

    (2015)
  • A. Stoddard

    A hybrid approach to FPGA configuration scrubbing

    IEEE Trans. Nucl. Sci.

    (2016)
  • J. Tonfat

    Analyzing the influence of the angles of incidence and rotation on MBU events induced by low LET heavy ions in a 28-nm SRAM-based FPGA

    IEEE Trans. Nucl. Sci.

    (2017)
  • N. Rezzak

    TID and SEE characterization of Microsemi's 4th generation radiation tolerant RTG4 flash-based FPGA

  • X. Xu

    A single event transient detector in SRAM-based FPGAs

    IEICE Electron. Express

    (2017)
  • H. Liang

    A methodology for characterization of SET propagation in SRAM-based FPGAs

    IEEE Trans. Nucl. Sci.

    (2016)
  • E. Keren

    Characterization and mitigation of single-event transients in Xilinx 45-nm SRAM-Based FPGA

    IEEE Trans. Nucl. Sci.

    (2019)
  • F. Smith et al.

    An amalgamation of hardening methods for single event upset mitigation in memory elements

  • Y. Suge

    Modeling and simulation of single-event effect in CMOS circuit

    J. Semicond.

    (2015)
  • Cited by (0)

    Farouk Smith received the Bachelor of Science Degree in Physics (1994), the Bachelor of Science in Electronics Engineering (1996), and the Master of Science in Electronics Engineering at University of Cape Town (2003). He received the PhD in Electronic Engineering at the University of Stellenbosch, South Africa, in 2007. He is currently a professor and head of the Department of Mechatronics at Nelson Mandela University.

    Prof. Smith is also a registered professional engineer with the Engineering Council of South Africa (ECSA) and a Senior Member of the IEEE.

    Joshua Omolo received the Bachelor of Technology in Electrical Engineering (2014) and the Master of Engineering in Mechatronics (2018) from the Nelson Mandela University in Port Elizabeth. He is currently a Project Engineer with the Nelson Mandela University.

    He is also registered as a professional engineering technologist with the Engineering Council of South Africa (ECSA).

    View full text