Towards Trusted Devices in FPGA by Modeling Radiation Induced Errors

Similar documents
Self Restoring Logic (SRL) Cell Targets Space Application Designs

Field Programmable Gate Arrays (FPGAs)

EECS150 - Digital Design Lecture 3 Synchronous Digital Systems Review. Announcements

Single-Event Upsets in the PANDA EMC

Self-Test and Adaptation for Random Variations in Reliability

A Practical Look at SEU, Effects and Mitigation

EITF35: Introduction to Structured VLSI Design

Tutorial 11 ChipscopePro, ISE 10.1 and Xilinx Simulator on the Digilent Spartan-3E board

Impact of Intermittent Faults on Nanocomputing Devices

High Density Asynchronous LUT Based on Non-Volatile MRAM Technology

Modeling Latches and Flip-flops

March 13, :36 vra80334_appe Sheet number 1 Page number 893 black. appendix. Commercial Devices

Lecture 2: Basic FPGA Fabric. James C. Hoe Department of ECE Carnegie Mellon University

Chapter 5 Flip-Flops and Related Devices

Lecture 6: Simple and Complex Programmable Logic Devices. EE 3610 Digital Systems

Sequential Logic. E&CE 223 Digital Circuits and Systems (A. Kennings) Page 1

Scan. This is a sample of the first 15 pages of the Scan chapter.

FPGA Design. Part I - Hardware Components. Thomas Lenzi

Single Event Characterization of a Xilinx UltraScale+ MP-SoC FPGA

Clarke and Inverse ClarkeTransformations Hardware Implementation. User Guide

Synchronization Voter Insertion Algorithms for FPGA Designs Using Triple Modular Redundancy

FPGA Design with VHDL

Examples of FPLD Families: Actel ACT, Xilinx LCA, Altera MAX 5000 & 7000

Investigation of Look-Up Table Based FPGAs Using Various IDCT Architectures

Why FPGAs? FPGA Overview. Why FPGAs?

FPGA Based Implementation of Convolutional Encoder- Viterbi Decoder Using Multiple Booting Technique

Reduced Triple Modular Redundancy for Tolerating SEUs in SRAM-based FPGAs

VHDL Design and Implementation of FPGA Based Logic Analyzer: Work in Progress

A Tool For Run Time Soft Error Fault Injection. Into FPGA Circuits

2.6 Reset Design Strategy

CSE140L: Components and Design Techniques for Digital Systems Lab. CPU design and PLDs. Tajana Simunic Rosing. Source: Vahid, Katz

FPGA Implementation of DA Algritm for Fir Filter

An Introduction to Radiation-Induced Failure Modes and Related Mitigation Methods For Xilinx SRAM FPGAs

Reconfigurable Architectures. Greg Stitt ECE Department University of Florida

Voter Insertion Techniques for Fault Tolerant FPGA Design.

Total Ionizing Dose Test Report. No. 14T-RTSX32SU-CQ256-D1RH41

L11/12: Reconfigurable Logic Architectures

Irradiation Resistivity and Mitigation Measurement Design for Xilinx Kintex-7 FPGAs

L12: Reconfigurable Logic Architectures

CSE140L: Components and Design Techniques for Digital Systems Lab. FSMs. Tajana Simunic Rosing. Source: Vahid, Katz

Digital Integrated Circuits EECS 312

RTG4 Radiation Update J.J. Wang, Chief Engineer Nadia Rezzak, Staff Engineer Stephen Varela, Engineer

Product Update. JTAG Issues and the Use of RT54SX Devices

Introduction Actel Logic Modules Xilinx LCA Altera FLEX, Altera MAX Power Dissipation

Unit 11. Latches and Flip-Flops

Lecture 8: Sequential Logic

EL302 DIGITAL INTEGRATED CIRCUITS LAB #3 CMOS EDGE TRIGGERED D FLIP-FLOP. Due İLKER KALYONCU, 10043

Register Files and Memories

An Application Specific Reconfigurable Architecture Diagnosis Fault in the LUT of Cluster Based FPGA


Modeling Latches and Flip-flops

Faculty of Electrical & Electronics Engineering BEE3233 Electronics System Design. Laboratory 3: Finite State Machine (FSM)

Overview: Logic BIST

An Application Specific Reconfigurable Architecture Diagnosis Fault in the LUT of Cluster Based FPGA

More on Flip-Flops Digital Design and Computer Architecture: ARM Edition 2015 Chapter 3 <98> 98

Sequential Design Basics

Read-only memory (ROM) Digital logic: ALUs Sequential logic circuits. Don't cares. Bus

Neutron Irradiation Tests of an S-LINK-over-G-link System

Design of a Low Power Four-Bit Binary Counter Using Enhancement Type Mosfet

A NOVEL DESIGN OF COUNTER USING TSPC D FLIP-FLOP FOR HIGH PERFORMANCE AND LOW POWER VLSI DESIGN APPLICATIONS USING 45NM CMOS TECHNOLOGY

DESIGNING AN ECU CPU FOR RADIATION ENVIRONMENT. Matthew G. M. Yee College of Engineering University of Hawai`i at Mānoa Honolulu, HI ABSTRACT

LOW POWER AND HIGH PERFORMANCE SHIFT REGISTERS USING PULSED LATCH TECHNIQUE

VGA Controller. Leif Andersen, Daniel Blakemore, Jon Parker University of Utah December 19, VGA Controller Components

Lab #10 Hexadecimal-to-Seven-Segment Decoder, 4-bit Adder-Subtractor and Shift Register. Fall 2017

CAD for VLSI Design - I Lecture 38. V. Kamakoti and Shankar Balachandran

Performance Driven Reliable Link Design for Network on Chips

Chapter 7 Memory and Programmable Logic

RELATED WORK Integrated circuits and programmable devices

VID_OVERLAY. Digital Video Overlay Module Rev Key Design Features. Block Diagram. Applications. Pin-out Description

Introduction. NAND Gate Latch. Digital Logic Design 1 FLIP-FLOP. Digital Logic Design 1

Experiment # 12. Traffic Light Controller

data and is used in digital networks and storage devices. CRC s are easy to implement in binary

Testing Sequential Logic. CPE/EE 428/528 VLSI Design II Intro to Testing (Part 2) Testing Sequential Logic (cont d) Testing Sequential Logic (cont d)

Engr354: Digital Logic Circuits

Single-Event Upset Technology Scaling Trends of. Unhardened and Hardened Flip-Flops in Bulk CMOS. Nelson J. Gaspard III.

Implementation of Dynamic RAMs with clock gating circuits using Verilog HDL

True Random Number Generation with Logic Gates Only

Radiation Effects and Mitigation Techniques for FPGAs

YEDITEPE UNIVERSITY DEPARTMENT OF COMPUTER ENGINEERING. EXPERIMENT VIII: FLIP-FLOPS, COUNTERS 2014 Fall

HARDENED BY DESIGN APPROACHES FOR MITIGATING TRANSIENT FAULTS IN MEMORY-BASED SYSTEMS DANIEL RYAN BLUM

Design Techniques for Radiation-Hardened FPGAs

Chapter 6. Flip-Flops and Simple Flip-Flop Applications

Jin-Fu Li Advanced Reliable Systems (ARES) Laboratory. National Central University

Unit 9 Latches and Flip-Flops. Dept. of Electrical and Computer Eng., NCTU 1

Figure 1 Block diagram of a 4-bit binary counter

FPGA-BASED EDUCATIONAL LAB PLATFORM

DEPARTMENT OF ELECTRICAL &ELECTRONICS ENGINEERING DIGITAL DESIGN

Level and edge-sensitive behaviour

EET2411 DIGITAL ELECTRONICS

AbhijeetKhandale. H R Bhagyalakshmi

Chapter 8 Design for Testability

Bit Swapping LFSR and its Application to Fault Detection and Diagnosis Using FPGA

Report on 4-bit Counter design Report- 1, 2. Report on D- Flipflop. Course project for ECE533

LFSRs as Functional Blocks in Wireless Applications Author: Stephen Lim and Andy Miller

PROCESSOR BASED TIMING SIGNAL GENERATOR FOR RADAR AND SENSOR APPLICATIONS

Reconfigurable FPGA Implementation of FIR Filter using Modified DA Method

6. Sequential Logic Flip-Flops

Sharif University of Technology. SoC: Introduction

Digital Circuits ECS 371

Combinational vs Sequential

Transcription:

Digital Design and Dependability Research Group FIT, CTU in Prague Towards Trusted Devices in FPGA by Modeling Radiation Induced Errors Tomáš Vaňát, Jan Pospíšil, Jan Schmidt {vanattom, pospij17,schmidt}@fit.cvut.cz In close collaboration with Jozef Ferencei ferencei@ujf.cas.cz Department of Nuclear Spectroscopy, NPI of ASCR

Problem definition FPGA Programmable logic device Lot of memory cells Logic functions and interconnection - Configuration D Flip-flops for sequential logic - Data 2

Hierarchy of FPGA interconnection Switch blocks global connections Logic Block LB Logic Block LUT LB D Interconnecting network Configuration of function LUT D Connection Blocks LB LB LB LB connected to net 3

Problem definition FPGA Programmable logic device Lot of memory cells CMOS Logic functions and interconnection - Configuration D Flip-flops for sequential logic - Data Small structures Controlled by voltage Ionizing radiation Transferring energy through matter Depositing charge inducing current voltage change Problem: Single-event effects (SEE), mainly upsets (SEU) 4

SEU in FPGA Change of Function (LUT) Structure (interconnection) Data (D-FF) Locally unpredictable can hit any location Can influence dependability of the circuit/application But fightable by Redundancy Self check Self repair (reconfiguration, ECC, ) Need of quantitative characteristic 5

Quantitative characteristic Deep simulation to the level of CMOS technology Unusable for real system size Accelerated life testing (ALT) Unusable for real system too specific, too expensive Combination? Partial simulation and Partial ALT 6

Proposed Method 1. Create quantitatively described platform model a) Based on higher-level simulation b) Calibrated by Accelerated Life Tests 2. Use the model to predict any future design s behavior on this platform 7

Proposed Method a) Higher-level simulation Based on VTR framework Custom FPGA architecture Timing-driven place-n-route on given platform Defect injection Fault simulation a) Calibration by Accelerated Life Tests Only on several special designs Only for model calibration 8

Test Circuit Example Tests all LUTs and flip-flops Propagates any error to output Ai Bi LUT4 D-FF Slice Ao Bo Forms a long pipeline LUT4 D-FF Is preloaded with data upon flip-flops reset Detects fault rate on the particular device under particular conditions Ci Di Co LUT4 D-FF Do LUT4 D-FF Slice One pipeline stage Pipeline 9

Test Circuit Example Code Symmetric After odd number of conversions, the output is same as input Any bit flip in any LUT appears as a change in the sequence Code 1 Code 2 Code 1 Code 2 0000 1001 1000 1011 0001 1010 1001 0000 0010 1111 1010 0001 0011 0110 1011 1000 0100 0011 1100 0110 0101 0111 1101 1110 0110 1100 1110 1101 0111 0101 1111 0010 10

Entire Test System Based on Spartan 3 Starter Kits Two parts One under radiation One away from radiation Connected trough 16 differential lines Radiated part is controlled from the shielded one Remote monitoring, reset, reload 11

Cyclotron Isochronous cyclotron U-120M At NPI Řež, ASCR Up to 37 MeV protons Intensity from 10 4 p/cm 2 /s 12

Irradiation Setup 13

Irradiation Setup 14

Spartan3 Irradiation Xilinx SRAM FPGA Starter Kit used XC3S200 device 90 nm CMOS technology Only SEU in configuration memory (CMem) counted 15

Error rate [1/s] Error rate [1/s] Spartan3 Irradiation 1,6 1,4 1,2 1 0,8 0,6 0,4 Configuration error rate vs. proton flux 34,05 MeV 28,242 MeV 18,004 MeV 0,35 0,3 0,25 0,2 0,15 0,1 Configuration error rate vs. energy 0,4 Mp/cm^2/s 2,5 Mp/cm^2/s 8,7 Mp/cm^2/s 50 Mp/cm^2/s 105 Mp/cm^2/s 0,2 0,05 0 0 50 100 150 200 250 Proton flux [Mp/cmM^2/s] 0 10 15 20 25 30 35 40 Energy [MeV] 16

SmartFusion2 Irradiation Microsemi FLASH SoC Only FPGA part tested Starter Kit used M2S050-FGG484 device 65 nm CMOS technology No SEU in configuration memory Some SEU in data flipflops (D-FFs) 17

Error rate [1/s] Error rate [1/s] SmartFusion2 Irradiation D-FF error rate vs. proton flux D-FF error rate vs. energy 0,3 34,745 MeV 0,07 1 Mp/cm^2/s 0,25 28,169 MeV 0,06 8 Mp/cm^2/s 0,2 17,613 MeV 0,05 50 Mp/cm^2/s 0,04 0,15 0,03 0,1 0,02 0,05 0,01 0 0 50 100 150 200 250 Proton flux [Mp/cmM^2/s] 0 10 15 20 25 30 35 40 Energy [MeV] 18

Current work Preparing the same test for the IGLOO2 FLASH based FPGA Precise monitoring of the total dose Upgrade the communication module Synchronization of the FPGAs clock with cyclotron frequency Improving model of architecture, collect another data and calibrate the model 19

Conclusions We have proposed new method for predicting quantitative characteristics of SEU sensitivity of digital circuits implemented in FPGA. We have completed the first runs of ALT. We are currently working on the simulation model, improving the ALT system and preparing the tests for other devices. This method can be used for verifying dependability and security parameters of various designs implemented in FPGA 20

Conclusions FLASH based SmartFusion 2 (65 nm) has better resistance to Single Event Effects than Spartan 3 (90 nm) Configuration memory completely safe D flip-flops less vulnerable, although it is a smaller technology But the SmartFusion 2 has a very low total ionizing dose to permanently destroy to destroy the FLASH programming controller. ~4 krads for SF2 Spartan 3 already survived several hundreds of krads without permanent error noticed 21

Digital Design and Dependability Research Group FIT, CTU in Prague Thank you! Tomáš Vaňát, Jan Pospíšil, Jan Schmidt {vanattom, pospij17,schmidt}@fit.cvut.cz Special thanks to Jozef Ferencei ferencei@ujf.cas.cz Department of Nuclear Spectroscopy, NPI of ASCR