Wang-110 D/MAPLD 2004 1 SEU Mitigation Techniques for Xilinx Virtex-II Pro FPGA Mandy M. Wang JPL R&TD Mobility Avionics.

Slides:



Advertisements
Similar presentations
Computer Architecture
Advertisements

System Integration and Performance
Students:Guy Derry Gil Wiechman Instructor: Isaschar Walter Winter 2003 Students:Guy Derry Gil Wiechman Instructor: Isaschar Walter Winter 2003 טכניון.
MC68HC11 System Overview. System block diagram (A8 version)
Sana Rezgui 1, Jeffrey George 2, Gary Swift 3, Kevin Somervill 4, Carl Carmichael 1 and Gregory Allen 3, SEU Mitigation of a Soft Embedded Processor in.
Scrubbing Approaches for Kintex-7 FPGAs
Complex Upset Mitigation Applied to a Re-Configurable Embedded Processor EEL 6935 Lu Hao Wenqian Wu.
ICAP CONTROLLER FOR HIGH-RELIABLE INTERNAL SCRUBBING Quinn Martin Steven Fingulin.
Jared Casper, Ronny Krashinsky, Christopher Batten, Krste Asanović MIT Computer Science and Artificial Intelligence Laboratory, Cambridge, MA, USA A Parameterizable.
© 2003 Xilinx, Inc. All Rights Reserved Debugging.
Maintaining Data Integrity in Programmable Logic in Atmospheric Environments through Error Detection Joel Seely Technical Marketing Manager Military &
Fault-Tolerant Softcore Processors Part I: Fault-Tolerant Instruction Memory Nathaniel Rollins Brigham Young University.
International Workshop on Satellite Based Traffic Measurement Berlin, Germany September 9th and 10th 2002 TECHNISCHE UNIVERSITÄT DRESDEN Onboard Computer.
Students:Guy Derry Gil Wiechman Instructor:Isaschar Walter In cooperation with MOD Winter-Spring 2003 Students:Guy Derry Gil Wiechman Instructor:Isaschar.
טכניון – מכון טכנולוגי לישראל הפקולטה להנדסת חשמל Students: Nir Sheffi Evgeny Bogokovsky Instructor: Isaschar Walter Winter 2004 Students: Nir Sheffi.
© 2004 Xilinx, Inc. All Rights Reserved Implemented by : Alon Ben Shalom Yoni Landau Project supervised by: Mony Orbach High speed digital systems laboratory.
Reliable Data Storage using Reed Solomon Code Supervised by: Isaschar (Zigi) Walter Performed by: Ilan Rosenfeld, Moshe Karl Spring 2004 Part A Final Presentation.
Department of Electrical and Computer Engineering Texas A&M University College Station, TX Abstract 4-Level Elevator Controller Lessons Learned.
1 Performed by: Lin Ilia Khinich Fanny Instructor: Fiksman Eugene המעבדה למערכות ספרתיות מהירות High Speed Digital Systems Laboratory הטכניון - מכון טכנולוגי.
IO Controller Module Arbitrates IO from the CCP Physically separable from CCP –Can be used as independent data logger or used in future projects. Implemented.
Parallel JPEG2000 Compression System Performed by: Dmitry Sezganov, Vitaly Spector Instructor: Stas Lapchev, Artyom Borzin.
VirtexIIPRO FPGA Device Functional Testing In Space environment. Performed by: Mati Musry, Yahav Bar Yosef Instuctor: Inna Rivkin Semester: Winter/Spring.
DSP Algorithm on System on Chip Performed by : Einat Tevel Supervisor : Isaschar Walter Accompanying engineers : Emilia Burlak, Golan Inbar Technion -
Configurable System-on-Chip: Xilinx EDK
Workload distribution in satellites Part A Final Presentation Performed by :Grossman Vadim Maslovksy Eugene Instructor:Rivkin Inna Spring 2004.
The Xilinx EDK Toolset: Xilinx Platform Studio (XPS) Building a base system platform.
University College Cork IRELAND Hardware Concepts An understanding of computer hardware is a vital prerequisite for the study of operating systems.
Coordinate Based Tracking System
Reliable Data Storage using Reed Solomon Code Supervised by: Isaschar (Zigi) Walter Performed by: Ilan Rosenfeld, Moshe Karl Spring 2004 Midterm Presentation.
Final Presentation Neural Network Implementation On FPGA Supervisor: Chen Koren Maria Nemets Maxim Zavodchik
Detector Array Controller Based on First Light First Light PICNIC Array Mux PICNIC Array Mux Image of ESO Messenger Front Page M.Meyer June 05 NGC High.
Reliable Data Storage using Reed Solomon Code Supervised by: Isaschar (Zigi) Walter Performed by: Ilan Rosenfeld, Moshe Karl Spring 2004 Characterization.
1 Performed By: Khaskin Luba Einhorn Raziel Einhorn Raziel Instructor: Rivkin Ina Winter 2005 Winter 2005 Virtex II-Pro Dynamical Test Application - Part.
Implementation of DSP Algorithm on SoC. Mid-Semester Presentation Student : Einat Tevel Supervisor : Isaschar Walter Accompaning engineer : Emilia Burlak.
הטכניון - מכון טכנולוגי לישראל הפקולטה להנדסת חשמל Technion - Israel institute of technology department of Electrical Engineering Virtex II-PRO Dynamical.
Technion Digital Lab Project Performance evaluation of Virtex-II-Pro embedded solution of Xilinx Students: Tsimerman Igor Firdman Leonid Firdman.
Lecture 7 Lecture 7: Hardware/Software Systems on the XUP Board ECE 412: Microcomputer Laboratory.
System Architecture A Reconfigurable and Programmable Gigabit Network Interface Card Jeff Shafer, Hyong-Youb Kim, Paul Willmann, Dr. Scott Rixner Rice.
Hardware Overview Net+ARM – Well Suited for Embedded Ethernet
The 6713 DSP Starter Kit (DSK) is a low-cost platform which lets customers evaluate and develop applications for the Texas Instruments C67X DSP family.
RSC Williams MAPLD 2005/BOF-S1 A Linux-based Software Environment for the Reconfigurable Scalable Computing Project John A. Williams 1
With Scott Arnold & Ryan Nuzzaci An Adaptive Fault-Tolerant Memory System for FPGA- based Architectures in the Space Environment Dan Fay, Alex Shye, Sayantan.
Khaled A. Al-Utaibi  Intel Peripheral Controller Chips  Basic Description of the 8255  Pin Configuration of the 8255  Block Diagram.
MAPLD 2005 Anthony Lai, Radiation Tolerant Computer Design.
Chapter 10: Input / Output Devices Dr Mohamed Menacer Taibah University
This material exempt per Department of Commerce license exception TSU Hardware Design.
Hardware Design This material exempt per Department of Commerce license exception TSU.
© 2004 Xilinx, Inc. All Rights Reserved EDK Overview.
PS - 87C51Mx2 - SLS-1 Philips Semiconductors 87C51Mx2 Microcontroller.
Heng Tan Ronald Demara A Device-Controlled Dynamic Configuration Framework Supporting Heterogeneous Resource Management.
FT-UNSHADES Analysis of SEU effects in Digital Designs for Space Gioacchino Giovanni Lucia TEC-EDM, MPD - 8 th March Phone: +31.
Synthesis Of Fault Tolerant Circuits For FSMs & RAMs Rajiv Garg Pradish Mathews Darren Zacher.
LAB1 Summary Zhaofeng SJTU.SOME. Embedded Software Tools CPU Logic Design Tools I/O FPGA Memory Logic Design Tools FPGA + Memory + IP + High Speed IO.
Part A Presentation Implementation of DSP Algorithm on SoC Student : Einat Tevel Supervisor : Isaschar Walter Accompanying engineer : Emilia Burlak The.
Processor and Memory Organisation By: Prof. Mahendra B. Salunke Asst. Prof., Department of Computer Engg, SITS, Pune-41 URL:
Peter JansweijerATLAS week: February 24, 2004Slide 1 Preparatory Design Studies MROD-X Use Xilinx Virtex II Pro –Rocket IO –Power PC –Port the current.
Mr. Daniel Perkins Battelle Memorial Institute Mr. Rob Riley Air Force Research Laboratory Gateware Munitions Interface Processor (GMIP)
Field Programmable Port Extender (FPX) 1 Modular Design Techniques for the FPX.
This material exempt per Department of Commerce license exception TSU Xilinx On-Chip Debug.
Greg Alkire/Brian Smith 197 MAPLD An Ultra Low Power Reconfigurable Task Processor for Space Brian Smith, Greg Alkire – PicoDyne Inc. Wes Powell.
Input/Output Problems Wide variety of peripherals —Delivering different amounts of data —At different speeds —In different formats All slower than CPU.
Peter JansweijerATLAS week: February 24, 2004Slide 1 Preparatory Design Studies MROD-X Use Xilinx Virtex II Pro –RocketIO –PowerPC –Port the current MROD-In.
Survey of Reconfigurable Logic Technologies
Chapter Microcontroller
FPGA Technology Overview Carl Lebsack * Some slides are from the “Programmable Logic” lecture slides by Dr. Morris Chang.
SEU Mitigation Techniques for Virtex FPGAs in Space Applications
Ming Liu, Wolfgang Kuehn, Zhonghai Lu, Axel Jantsch
Electronics for Physicists
Maintaining Data Integrity in Programmable Logic in Atmospheric Environments through Error Detection Joel Seely Technical Marketing Manager Military &
FPro Bus Protocol and MMIO Slot Specification
Presentation transcript:

Wang-110 D/MAPLD SEU Mitigation Techniques for Xilinx Virtex-II Pro FPGA Mandy M. Wang JPL R&TD Mobility Avionics

Wang-110 D/MAPLD  Project Background  SEU Sensitive Areas and Mitigation Approaches  Design Details  Conclusion Agenda

Wang-110 D/MAPLD Project Objective Mobility Avionics project aims to develop an embedded platform for space flight instruments and systems that is scalable, configurable, and capable of withstanding low to medium radiation environments.

Wang-110 D/MAPLD Multi-Tiered Strategy Not Mission Critical Not Time Critical EDL Controller Micro-Mobility Controller Science Data Processor Image Processor Low to Medium Radiation Tolerance is Assumed Orbiter Command Data Handler Robust Strategy Simple Strategy Motor Control Science Data Processor Ground Support Equipment Always Available Strategy Time Critical Mission Critical

Wang-110 D/MAPLD Strategies Simple Strategy: A quick-and-dirty approach. It uses less than desirable techniques such as device reset and reconfiguration as a means of error correction. It may require an external computer for configuration check. Robust Strategy: A refinement of the simple strategy. It uses a SEU immune FPGA as a monitoring device for the system board base on Xilinx FPGA device. As a result, no external computer is needed.

Wang-110 D/MAPLD SEU Sensitive Areas Normalized Data – based on predicted upset rates (XC2VP20) Xilinx Virtex-II Pro SEU sensitive areas include:  PPC405 Core registers  Configuration Memory (LUT equation and Routing)  Data path Registers  User Memory (Block or Distributed RAMs)

Wang-110 D/MAPLD Mitigation Approaches

Wang-110 D/MAPLD System Design - Overview PPC405 1 PPC405 2 PLB ARB PLB2OPB Bridge OPB ARB C Crit. INTC Non-Crit INTC DDR SDRAM Cntl UARTs (External Devices) EXT MEM (128MB) OCM BRAM (8K) Serial Port Decoder (Injects fault Signals) FI EDC FI Status BRAMs (4K) PLB BRAMs (Firmware) (32K) EDC Controller FI EDC

Wang-110 D/MAPLD Dual-processor Comparator PPC 405 Block 1 Cache Units PLB Bus MMUCPU Timers and Debug PPC 405 Block 2 Cache Units MMUCPU Timers and Debug Arbiter DDR SDRAM Controller C PLB IPIF External SDRAM Note: Yellow lines: PLB master read / write signals for D-Cache Green Lines: PLB master read signals for I-Cache FI : Fault insertion point PC : Parity Check Off Chip Area FI PLB IPIF FI

Wang-110 D/MAPLD Dual-Processor Voting Simulation

Wang-110 D/MAPLD EDAC OCM BRAMs (Read/Write) Parity Encoder Error Detection Correction PPC405 #1 PPC405 #2 BRAMS (8KB) Glue Logic ENCIN DECOUT ERROR FORCE ERROR PARITY_OUT PARITY_IN ENOUT DECIN  Hamming Code [32,39]  Read-modified-write to support byte enable feature  Error information is stored in a separate memory space  Single-bit error triggers a CPU interrupt  Double-bit error triggers a CPU reset Xilinx XAPP645 Data Out (discard parity bits) ADDR EN W_EN[3:0] CLK

Wang-110 D/MAPLD EDAC PLB BRAMs (Read Only) Parity Encoder Error Detection Correction BRAMS (32KB + 8 KB) ENCIN DECOUT ERROR FORCE ERROR PARITY_OUT PARITY_IN ENOUT DECIN  Hamming Code [64,72]  Read-modified-write to support byte enable feature  Single-bit error is stored in a separate memory space  Single-bit error triggers a CPU interrupt  Double-bit error triggers a device reconfiguration Xilinx XAPP645 Data Out (discard parity bits) ADDR EN W_EN CLK Processor Local Bus 64 Glue Logic 2 2 PLB BRAM Controller PLB Interface

Wang-110 D/MAPLD EDAC DDR SDRAM  Hamming Code [64,72]  Read-modified-write to support byte enable and burst of 2-words features  Single error is stored in a separate memory space  Single error triggers a CPU interrupt  Double error triggers device reconfiguration Parity Encoder Error Detection Correction DDR SDRAM (128MB + 32MB) ENCIN DECOUT ERROR FORCE ERROR PARITY_IN DECIN Xilinx XAPP645 ADDR CLK Processor Local Bus 64 Glue Logic CLKn 4 4 DDR SDRAM Controller Mux Demux 64 8 PARITY_OUT ENOUT 8 64 Mux Data Out (discard parity bits) 32 PLB interface modules

Wang-110 D/MAPLD Self Configuration Checker ICAP Controller ICAP CRC Checker Frame Address Memory (BRAMS) 4 Bytes Read Back Commands ( 44 Bytes) Virtex-II Pro Implementation C script top.ll (contains frame address used for the design) Frame address data formatted for BRAMS (BRAMS) Digital Design top.bit This portion can be ported to a radiation-hardened FPGA in the case of robust strategy

Wang-110 D/MAPLD Self Configuration Checker Design Highlights  No External I/Os access required  Frame-by-frame read back required  32-bit CRC algorithm implemented. (A CRC signature is generated after device power up)  No SRL16 and Distributed SelectRAMs used in design

Wang-110 D/MAPLD Labview Fault Injection Panel Screenshot of fault injection emulator that interfaces with the prototype board. Fault Injection Error Counters Process Bus Fault Injection Buttons Processors Mismatch LED Indicator Fault location map Program counter resets to zero when a CPU reset occurs. ASCII Command Input window

Wang-110 D/MAPLD XC2VP20 Device Utilization (without TMR) Number of External IOBs 57 out of % Number of PPC405s 2 out of 2 100% Number of RAMB16s 30 out of 88 34% Number of SLICEs 4334 out of % Number of BUFGMUXs 6 out of 16 37% Number of DCMs 2 out of 8 25% Number of ICAPs 1 out of 1 100% Number of JTAGPPCs 1 out of 1 100%

Wang-110 D/MAPLD Slice Utilization (without TMR) Note: The shaded modules can be replaced by other approach.

Wang-110 D/MAPLD Mitigation State Machine 1) CPU mismatch 2) CPU watchdog timer 3) OCM EDC double-bit error CPU Reset System Reset 1) OPB Bus error 2) PLB Bus error 1) Configuration check fail 2) PLB EDC double-bit error 3) DDR SDRAM double-bit error FPGA Reconfiguration Mitigation Severity 1) OCM BRAM single-bit error 2) PLB BRAM single-bit error 3) DDR SDRAM single-bit error CPU Interrupt CPU reset counter == full System reset counter == full Normal

Wang-110 D/MAPLD Conclusion  Identified and categorized error prone regions on the Virtex-II Pro into four types  Developed mitigation strategies for each region.  Radiation test on the overall system is in progress.

Wang-110 D/MAPLD Acronyms SEU : Single Event Upset FPGA: Field Programmable Gate Array LUT: Look Up Table PLB: Processor Local Bus OPB: On-Chip Peripheral Bus OCM: On-Chip Memory EDAC: Error Detect-And-Correct ICAP: Internal Configuration Access Point