Use of Reprogrammable FPGA on EUCLID mission



Similar documents
Verification of Triple Modular Redundancy (TMR) Insertion for Reliable and Trusted Systems

Implementation Details

Digitale Signalverarbeitung mit FPGA (DSF) Soft Core Prozessor NIOS II Stand Mai Jens Onno Krah

How To Write An Fpa Programmable Gate Array

Agenda. Michele Taliercio, Il circuito Integrato, Novembre 2001

Modeling Latches and Flip-flops

ATMEL FPGA 3rd User Group Workshop. 2010, 3rd June Christophe POURRIER

X 4 CONFIDENTIAL X 4 OTHER PROGRAMME: CUSTOMER: CONTRACT NO.: WPD NO.: DRD NO.: CONTRACTUAL DOC.:

The PACS Software System. (A high level overview) Prepared by : E. Wieprecht, J.Schreiber, U.Klaas November, Issue 1.

Introduction to Digital System Design

Serial port interface for microcontroller embedded into integrated power meter

NTE2053 Integrated Circuit 8 Bit MPU Compatible A/D Converter

Introduction to Programmable Logic Devices. John Coughlan RAL Technology Department Detector & Electronics Division

Sentinel-2 MMFU The first European Mass Memory System based on NAND-Flash Storage Technology

Altera Error Message Register Unloader IP Core User Guide

How To Fix A 3 Bit Error In Data From A Data Point To A Bit Code (Data Point) With A Power Source (Data Source) And A Power Cell (Power Source)

9/14/ :38

International Journal of Advancements in Research & Technology, Volume 2, Issue3, March ISSN

Best Practises for LabVIEW FPGA Design Flow. uk.ni.com ireland.ni.com

LASP Electrical Engineer Group Capabilities

Example-driven Interconnect Synthesis for Heterogeneous Coarse-Grain Reconfigurable Logic

Application Note AN-1068 reva

Sequential Logic. (Materials taken from: Principles of Computer Hardware by Alan Clements )

Status of the design of the TDC for the GTK TDCpix ASIC

Atmel Norway XMEGA Introduction

Von der Hardware zur Software in FPGAs mit Embedded Prozessoren. Alexander Hahn Senior Field Application Engineer Lattice Semiconductor

Latches, the D Flip-Flop & Counter Design. ECE 152A Winter 2012

SOCWIRE: A SPACEWIRE INSPIRED FAULT TOLERANT NETWORK-ON-CHIP FOR RECONFIGURABLE SYSTEM-ON-CHIP DESIGNS

How To Design A Chip Layout

Reconfigurable System-on-Chip Design

TIMING-DRIVEN PHYSICAL DESIGN FOR DIGITAL SYNCHRONOUS VLSI CIRCUITS USING RESONANT CLOCKING

Space product assurance

Modeling a GPS Receiver Using SystemC

Universal Flash Storage: Mobilize Your Data

DEVELOPMENT OF DEVICES AND METHODS FOR PHASE AND AC LINEARITY MEASUREMENTS IN DIGITIZERS

CHAPTER 11: Flip Flops

Radiation effects on space electronics. Jan Kenneth Bekkeng, University of Oslo - Department of Physics

PROGETTO DI SISTEMI ELETTRONICI DIGITALI. Digital Systems Design. Digital Circuits Advanced Topics

ARM Webinar series. ARM Based SoC. Abey Thomas

Substation Automation Products Relion 670/650 series IEC and ANSI Hardware

VALIDATION AND TESTING OF AN IP CODEC FOR HIGH BANDWIDTH SPACEWIRE LINK 1

10/100/1000 Ethernet MAC with Protocol Acceleration MAC-NET Core

Networking Virtualization Using FPGAs

Manchester Encoder-Decoder for Xilinx CPLDs

MicroBlaze Debug Module (MDM) v3.2

DS1104 R&D Controller Board

SDLC Controller. Documentation. Design File Formats. Verification

USB - FPGA MODULE (PRELIMINARY)

CCNA R&S: Introduction to Networks. Chapter 5: Ethernet

ETEC 2301 Programmable Logic Devices. Chapter 10 Counters. Shawnee State University Department of Industrial and Engineering Technologies

Testing of Digital System-on- Chip (SoC)

ESP-CV Custom Design Formal Equivalence Checking Based on Symbolic Simulation

Contents. System Development Models and Methods. Design Abstraction and Views. Synthesis. Control/Data-Flow Models. System Synthesis Models

DDR subsystem: Enhancing System Reliability and Yield

Propagation Channel Emulator ECP_V3

DESIGN AND VERIFICATION OF LSR OF THE MPLS NETWORK USING VHDL

Implementation of Web-Server Using Altera DE2-70 FPGA Development Kit

Hello and welcome to this training module for the STM32L4 Liquid Crystal Display (LCD) controller. This controller can be used in a wide range of

Software Defined Radio Architecture for NASA s Space Communications

Basics of Simulation Technology (SPICE), Virtual Instrumentation and Implications on Circuit and System Design

PowerPC Microprocessor Clock Modes

2.0 Command and Data Handling Subsystem

Hunting Asynchronous CDC Violations in the Wild

Flash Corruption: Software Bug or Supply Voltage Fault?

1+1 PROTECTION WITHOUT RELAYS USING IDT82V2044/48/48L & IDT82V2054/58/58L HITLESS PROTECTION SWITCHING

Modeling Sequential Elements with Verilog. Prof. Chien-Nan Liu TEL: ext: Sequential Circuit

Satellite Telemetry, Tracking and Control Subsystems

DS1621 Digital Thermometer and Thermostat

ANNEX. to the. Commission Delegated Regulation

RAPID PROTOTYPING OF DIGITAL SYSTEMS Second Edition

MHL8701 MHL8705. MHL8701 / MHL8705 SET Free 3 Amp & 5 Amp ULDO Regulators. Levels Available COTS MILITARY SPACE

International Journal of Scientific & Engineering Research, Volume 4, Issue 6, June ISSN

Adding Heart to Your Technology

10/100/1000Mbps Ethernet MAC with Protocol Acceleration MAC-NET Core with Avalon Interface

Design of a High Speed Communications Link Using Field Programmable Gate Arrays

LogiCORE IP AXI Performance Monitor v2.00.a

7a. System-on-chip design and prototyping platforms

Lab Experiment 1: The LPC 2148 Education Board

Prototyping ARM Cortex -A Processors using FPGA platforms

RS-485 Protocol Manual

Lab 2.0 Thermal Camera Interface

Application Note 83 Fundamentals of RS 232 Serial Communications

Development of the Fabry-Perot Spectrometer Application. Kathryn Browne Code 587

Digital Design Verification

Hello, and welcome to this presentation of the STM32 SDMMC controller module. It covers the main features of the controller which is used to connect

CAUTION! THE 7I29 USES VOLTAGE AND POWER LEVELS THAT REPRESENT A HAZARD TO LIFE AND LIMB.

路 論 Chapter 15 System-Level Physical Design

Lesson 12 Sequential Circuits: Flip-Flops

System-on. on-chip Design Flow. Prof. Jouni Tomberg Tampere University of Technology Institute of Digital and Computer Systems.

Digital Systems Based on Principles and Applications of Electrical Engineering/Rizzoni (McGraw Hill

CNES fault tolerant architectures intended for electronic COTS components in space applications

AC : PRACTICAL DESIGN PROJECTS UTILIZING COMPLEX PROGRAMMABLE LOGIC DEVICES (CPLD)

10 Gigabit Ethernet MAC Core for Altera CPLDs. 1 Introduction. Product Brief Version February 2002

Serial Communications

Transcription:

19/05/2016 Workshop su Applicazioni FPGA in ambito Astrofisico Raoul Grimoldi Use of Reprogrammable FPGA on EUCLID mission

Euclid mission overview EUCLID is a cosmology mission part of Cosmic Vision 2015-2025 whose prime objective is to study the geometry and the nature of the dark Universe (dark matter, dark energy). The mission will investigate the distance-redshift relationship and the evolution of the cosmic structures by measuring shapes and redshifts of distant galaxies. EUCLID space segment will be a spacecraft placed into an orbit around L2 with a coverage of 15,000 deg 2 in 6.25 years with step and stare observation strategy. Launch is planned for 2020. EUCLID spacecraft will host 2 instruments: NISP (Near Infrared Spectrometer Photometer) VIS (VISble imager) CGS S.p.A. / Workshop su Applicazioni FPGA in ambito Astrofisico, Pino Torinese, 18-20 Maggio 2016 Page 2

Euclid mission : Instruments Data Processing Units CGS, in the frame of ASI contract, is in charge of the design of the Data Processing Units HW for both NISP and VIS as part of the Italian contribution to EUCLID mission in collaboration with the EUCLID Italian Science Team 1 CDPU unit for VIS 2 DPU/DCU units for NISP NISP DPU/DCU units VIS CDPU unit CGS S.p.A. / Workshop su Applicazioni FPGA in ambito Astrofisico, Pino Torinese, 18-20 Maggio 2016 Page 3

FPGA devices Both units make large use of functions implemented in FPGA devices Unit FPGA devices Types Remark CPDU 10 RTAX2000S 2x2 on SCS750F DPU/DCU (single unit) 8 RTAX2000S 2x2 on SCS750F DPU/DCU (single unit) 8 RT3PE3000L CGS S.p.A. / Workshop su Applicazioni FPGA in ambito Astrofisico, Pino Torinese, 18-20 Maggio 2016 Page 4

FPGA devices Microsemi RTAX-S FPGAs are based on anti-fuse technology, widely used in space application in both NASA and ESA mission because of the high level of immunity to radiation effects : SEL immune up to 117MeV/cm2/mg TID better than 200Krad F/F with TMR Logic SEU better than 1E-10 upset/bit/day on GEO Microsemi RT3PE3000L FPGAs are based on commercial flash technology that exhibit lower level of radiation effects immunity but is reprogrammable : SEL immune up to 68MeV/cm2/mg TID better than 30Krad (10% increase of propagation delay) No SEU effects on configuration cell D type F/Fs : Threshold 6 MeV-cm 2 /mg, saturated x-section 2E -7 cm 2 per flip-flop CGS S.p.A. / Workshop su Applicazioni FPGA in ambito Astrofisico, Pino Torinese, 18-20 Maggio 2016 Page 5

Design Flow for RTAX-S Radiation Hardening of FPGA design in RTAX-S for mission like EUCLID requires very limited effort EDAC on the internal SRAM in order to correct single errors Internal memory scrubbing for long term storage memory area Safe state machine The design flow adopted in CGS is based on tailored ECSS-Q-ST-60-02C with the following steps CGS S.p.A. / Workshop su Applicazioni FPGA in ambito Astrofisico, Pino Torinese, 18-20 Maggio 2016 Page 6

Design Flow for RTAX-S CGS S.p.A. / Workshop su Applicazioni FPGA in ambito Astrofisico, Pino Torinese, 18-20 Maggio 2016 Page 7

Design Flow for RTAX-S CGS S.p.A. / Workshop su Applicazioni FPGA in ambito Astrofisico, Pino Torinese, 18-20 Maggio 2016 Page 8

Each DPU/DCU unit hosts 8 DCU boards, each board with 1 FPGA that implement Reception of data stream on 8x parallel lines and pixel de-serialization Buffering of the complete packet and CRC check Extraction of TLM from scientific data Coo-adding of pixels Averaging and formatting of the cooadded frames before transmission to the DBB CGS S.p.A. / Workshop su Applicazioni FPGA in ambito Astrofisico, Pino Torinese, 18-20 Maggio 2016 Page 9

On EUCLID mission, for the FPGA implementing the interface with the detectors system, the use of a reprogrammable FPGA has been preferred for the following reasons: Request of maximum flexibility for the science team Lack of knowledge of the real behavior of the interface of the SIDECAR : unexpected behavior may require mitigation in the FPGA not known at the present time Risk of late modifications required on the FPGA design : - in case of use of RTAX FPGA, 16 identical FPGAs mounted on the 2 DPU/DCU could be impacted with high schedule/cost impact - RTPROASIC will allow the modification of the design via JTAG without opening the DPU/DCU unit and changing the device CGS S.p.A. / Workshop su Applicazioni FPGA in ambito Astrofisico, Pino Torinese, 18-20 Maggio 2016 Page 10

Radiation Hardening of FPGA design in RT PROASIC requires not negligible effort EDAC on the internal SRAM in order to correct single errors Internal memory scrubbing for long term storage memory area Safe state machine Radiation Hardening at RTL level Radiation Hardening of the I/Os SET effect evaluation TMR of F/Fs implemented in the netlist Radiation aware placement Gard Gates introduction where necessary CGS S.p.A. / Workshop su Applicazioni FPGA in ambito Astrofisico, Pino Torinese, 18-20 Maggio 2016 Page 11

The standard FPGA design flow is modified with the introduction of Radiation Mitigation activities At RTL level - Implementation of local reset for the different functional blocks that can be reset before use by the SW or by the internal FPGA logic avoiding error accumulation - Implementation of independent controls for critical I/Os - Duplication of critical I/Os CGS S.p.A. / Workshop su Applicazioni FPGA in ambito Astrofisico, Pino Torinese, 18-20 Maggio 2016 Page 12

Radiation Hardening of the I/Os Identification of the criticality of the I/Os of the FPGA and need for mitigation Estimation of the probability of error due to radiation effects on the I/Os in EUCLID environment Mitigation definition : duplication or triplication of the I/O in different banks, external filtering, Compatibility with Signal integrity on the board Compatibility with the available free pins on the FPGA FPGA NAME Description Effect in case of SET Criticality Mitigation proposed on the I/O required # PIN 1 = maximum, 5 = minimum Input data error, detected by CRC and not used in the science_data0 Science I/F data bit0 computation of the coadding. 5 None 1 SCE_RESET_CMD_N Reset command for the SIDECAR, active low. Both reset commands shall be low in order to reset the SIDECAR. SIDECAR reset, loss of ASIC internal biasing 1 I/O duplication on 2 different banks. Single error will not cause the SIDECAR reset 2 SCE_STATUS_N When high signals that an internal error has been detected by the SIDECAR False internal error indication in the science data packet. This signal is sampled once every group, so probability of error is very low 4 None 1 UART_RX_MAIN RS485 MAIN UART input Possible communication error with the DRB. Message will be discarded by parity check or higher level protocol check (CRC) 5 None. Sampling time of the IF is 800KHz, I/F is rarely used, probability to cacth the pulse is very low 1 ON_VREF Turn on the DC/DC converter of the vref isolated section. Both command shall be low to turn off the DC/DC SIDECAR power-off, loss of ASIC internal biasing 1 I/O duplication on 2 different banks 2 ON_VDDA Turn on the DC/DC converter of the VDDA isolated section. Both command shall be low to turn off the DC/DC SIDECAR power-off, loss of ASIC internal biasing 1 I/O duplication on 2 different banks 2 SDRAM_DATA0 SDRAM data line Transient anomaly on the SDRAM I/F can cause data loss. 3 None. To be evaluated the error rate induced by SET on this functional block 1 CGS S.p.A. / Workshop su Applicazioni FPGA in ambito Astrofisico, Pino Torinese, 18-20 Maggio 2016 Page 13

The analysis has been performed with CREME using the cross sections derived from New methodologies for SET characterization and mitigation of Flash based FPGAs, TNS-00477-2007.R2. Type of error Error signature Remarks Type 1 : SET on the IO channel Transient on the output or input Type 2 : SET observed IO bank disabled for short time involving for few ns an entire (and only one) IO bank Type 3 : SET observed IO bank disabled for long time involving for about 250 ns an entire (and only one) IO bank SET generated internally that is able to propagate up to the FPGA output. Will be analyzed by POLITO with SETA on the actual FPGA netlist The IO bank has a global enable signal that is driven by combinatorial logic + latch. If the SET involves the combinatorial logic, the bank is disabled for few ns The SET involves the latch. The circuit that disables the I/Os during power-on in order to avoid high inrush current is triggered and the entire bank stay disabled for about 250 ns, depending on the frequency. Predicted error rate due to the I/Os on EUCLID mission considering 16 FPGAs and implementation of the mitigation is Event NISP data processing Event rate [#/year] Mean Time between events [years] SIDECAR Reset or Power off 9,44E-03 105,91 Data loss 1,92E-02 52,18 CGS S.p.A. / Workshop su Applicazioni FPGA in ambito Astrofisico, Pino Torinese, 18-20 Maggio 2016 Page 14

Before CDR Radiation Hardening on netlist is implemented CGS S.p.A. / Workshop su Applicazioni FPGA in ambito Astrofisico, Pino Torinese, 18-20 Maggio 2016 Page 15

TMR on all the F/Fs is implemented starting from the VHDL with synthesis tool Synplify as baseline Place & Route of the FPGA is performed with Microsemi Designer Static Timing Analysis Functional verification with testbench on the post-layout netlist CGS S.p.A. / Workshop su Applicazioni FPGA in ambito Astrofisico, Pino Torinese, 18-20 Maggio 2016 Page 16

Definition of SET to injected in the simulation Simulation with SETA tool developed by POLITO to identify the F/Fs and the I/O that are sensitive to the SET Perform SET aware place & route to minimize the effect of SET without logic resources use Identify the nodes that are critical and perform gard gates insertion in the netlist Perform SET aware place & route Verify the design with SETA tool for effectiveness of SET filtering Perform final FPGA verification checking the timings with STA and performing functional verification with VHDL simulation Validation of the FPGA design with RT PROASIC proto device on the EM at ambient temperature and EQM model in representative temperature range CGS S.p.A. / Workshop su Applicazioni FPGA in ambito Astrofisico, Pino Torinese, 18-20 Maggio 2016 Page 17