Feifarek 1 MAPLD 2005/A220 Jonathan F. Feifarek Timothy C. Gallagher Lockheed Martin Space Systems.

Slides:



Advertisements
Similar presentations
FPGA (Field Programmable Gate Array)
Advertisements

10/14/2005Caltech1 Reliable State Machines Dr. Gary R Burke California Institute of Technology Jet Propulsion Laboratory.
1 SECURE-PARTIAL RECONFIGURATION OF FPGAs MSc.Fisnik KRAJA Computer Engineering Department, Faculty Of Information Technology, Polytechnic University of.
HPEC 2012 Scrubbing Optimization via Availability Prediction (SOAP) for Reconfigurable Space Computing Quinn Martin Alan George.
A reconfigurable system featuring dynamically extensible embedded microprocessor, FPGA, and customizable I/O Borgatti, M. Lertora, F. Foret, B. Cali, L.
Maciej Gołaszewski Tutor: Tadeusz Sondej, PhD Design and implementation of softcore dual processor system on single chip FPGA Design and implementation.
Reliable SW/HW Co-Design for Wireless Communication System Integrating the Spin Model Checker and Celoxica's DK Suite Stefanos Skoulaxinos School of EPS.
Steven Koelmeyer BDS(hons)1 Reconfigurable Hardware for use in Ad Hoc Sensor Networks Supervisors Charles Greif Nandita Bhattacharjee.
1 HW/SW Partitioning Embedded Systems Design. 2 Hardware/Software Codesign “Exploration of the system design space formed by combinations of hardware.
Behavioral Design Outline –Design Specification –Behavioral Design –Behavioral Specification –Hardware Description Languages –Behavioral Simulation –Behavioral.
Department of Electrical and Computer Engineering Texas A&M University College Station, TX Abstract 4-Level Elevator Controller Lessons Learned.
Configurable System-on-Chip: Xilinx EDK
1 Fast Communication for Multi – Core SOPC Technion – Israel Institute of Technology Department of Electrical Engineering High Speed Digital Systems Lab.
Implementation of DSP Algorithm on SoC. Mid-Semester Presentation Student : Einat Tevel Supervisor : Isaschar Walter Accompaning engineer : Emilia Burlak.
Introduction to FPGA and DSPs Joe College, Chris Doyle, Ann Marie Rynning.
Mahesh Sukumar Subramanian Srinivasan. Introduction Face detection - determines the locations of human faces in digital images. Binary pattern-classification.
Hardware/Software Partitioning Witawas Srisa-an Embedded Systems Design and Implementation.
1 DSP Implementation on FPGA Ahmed Elhossini ENGG*6090 : Reconfigurable Computing Systems Winter 2006.
FPGA Based Fuzzy Logic Controller for Semi- Active Suspensions Aws Abu-Khudhair.
Future FPGA Development Duane McDonald Digital Electronics 3.
General FPGA Architecture Field Programmable Gate Array.
MAPLD 2005 Anthony Lai, Radiation Tolerant Computer Design.
1 3-General Purpose Processors: Altera Nios II 2 Altera Nios II processor A 32-bit soft core processor from Altera Comes in three cores: Fast, Standard,
SLAAC SV2 Briefing SLAAC Retreat, May 2001 Heber, UT Brian Schott USC Information Sciences Institute.
1 - CPRE 583 (Reconfigurable Computing): Reconfigurable Computing Archs, VHDL 3 Iowa State University (Ames) CPRE 583 Reconfigurable Computing Lecture.
COMPUTER SCIENCE &ENGINEERING Compiled code acceleration on FPGAs W. Najjar, B.Buyukkurt, Z.Guo, J. Villareal, J. Cortes, A. Mitra Computer Science & Engineering.
Institute of Information Sciences and Technology Towards a Visual Notation for Pipelining in a Visual Programming Language for Programming FPGAs Chris.
Automated Design of Custom Architecture Tulika Mitra
Design Verification An Overview. Powerful HDL Verification Solutions for the Industry’s Highest Density Devices  What is driving the FPGA Verification.
Universal Reconfigurable Processing Platform for Space Presented by Dorian Seagrave Gordonicus LLC.
Xilinx Programmable Logic Design Solutions Version 2.1i Designing the Industry’s First 2 Million Gate FPGA Drop-In 64 Bit / 66 MHz PCI Design.
Research on Reconfigurable Computing Using Impulse C Carmen Li Shen Mentor: Dr. Russell Duren February 1, 2008.
Advanced SW/HW Optimization Techniques for Application Specific MCSoC m Yumiko Kimezawa Supervised by Prof. Ben Abderazek Graduate School of Computer.
J. Christiansen, CERN - EP/MIC
Page 1 Reconfigurable Communications Processor Principal Investigator: Chris Papachristou Task Number: NAG Electrical Engineering & Computer Science.
ESL and High-level Design: Who Cares? Anmol Mathur CTO and co-founder, Calypto Design Systems.
Somervill RSC 1 125/MAPLD'05 Reconfigurable Processing Module (RPM) Kevin Somervill 1 Dr. Robert Hodson 1
Lecture 16: Reconfigurable Computing Applications November 3, 2004 ECE 697F Reconfigurable Computing Lecture 16 Reconfigurable Computing Applications.
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.
RSC MAPLD 2005/130Hodson Robert F. Hodson 1, Kevin Somervill 1, John Williams 2, Neil Bergman 2, Rob Jones 3 1 NASA LaRC, 2 University of Queensland, 3.
MAPLD 2005/254C. Papachristou 1 Reconfigurable and Evolvable Hardware Fabric Chris Papachristou, Frank Wolff Robert Ewing Electrical Engineering & Computer.
DIPARTIMENTO DI ELETTRONICA E INFORMAZIONE Novel, Emerging Computing System Technologies Smart Technologies for Effective Reconfiguration: The FASTER approach.
1 Aerospace Data Storage and Processing Systems SEAKR Engineering Proprietary Information SEAKR Engineering Inc. On-Board Processing SEAKR Engineering.
Algorithm and Programming Considerations for Embedded Reconfigurable Computers Russell Duren, Associate Professor Engineering And Computer Science Baylor.
EKT303/4 PRINCIPLES OF PRINCIPLES OF COMPUTER ARCHITECTURE (PoCA)
Lecture 12: Reconfigurable Systems II October 20, 2004 ECE 697F Reconfigurable Computing Lecture 12 Reconfigurable Systems II: Exploring Programmable Systems.
Computer Engineering 1502 Advanced Digital Design Professor Donald Chiarulli Computer Science Dept Sennott Square
Evaluating and Improving an OpenMP-based Circuit Design Tool Tim Beatty, Dr. Ken Kent, Dr. Eric Aubanel Faculty of Computer Science University of New Brunswick.
M.Mohajjel. Why? TTM (Time-to-market) Prototyping Reconfigurable and Custom Computing 2Digital System Design.
Greg Alkire/Brian Smith 197 MAPLD An Ultra Low Power Reconfigurable Task Processor for Space Brian Smith, Greg Alkire – PicoDyne Inc. Wes Powell.
Somervill RSC 1 125/MAPLD'05 Reconfigurable Processing Module (RPM) Kevin Somervill 1 Dr. Robert Hodson 1
Fast Lookup for Dynamic Packet Filtering in FPGA REPORTER: HSUAN-JU LI 2014/09/18 Design and Diagnostics of Electronic Circuits & Systems, 17th International.
Survey of Reconfigurable Logic Technologies
Advanced SW/HW Optimization Techniques for Application Specific MCSoC m Yumiko Kimezawa Supervised by Prof. Ben Abderazek Graduate School of Computer.
1 - CPRE 583 (Reconfigurable Computing): Reconfigurable Computing Architectures Iowa State University (Ames) CPRE 583 Reconfigurable Computing Lecture.
Cray XD1 Reconfigurable Computing for Application Acceleration.
Introduction to Field Programmable Gate Arrays (FPGAs) EDL Spring 2016 Johns Hopkins University Electrical and Computer Engineering March 2, 2016.
K-Nearest Neighbor Digit Recognition ApplicationDomainConstraintsKernels/Algorithms Voice Removal and Pitch ShiftingAudio ProcessingLatency (Real-Time)FFT,
CoDeveloper Overview Updated February 19, Introducing CoDeveloper™  Targeting hardware/software programmable platforms  Target platforms feature.
Back-end Electronics Upgrade TileCal Meeting 23/10/2009.
CORDIC Based 64-Point Radix-2 FFT Processor
Programmable Logic Devices
THE PROCESS OF EMBEDDED SYSTEM DEVELOPMENT
A Methodology for System-on-a-Programmable-Chip Resources Utilization
SEU Mitigation Techniques for Virtex FPGAs in Space Applications
ENG3050 Embedded Reconfigurable Computing Systems
RECONFIGURABLE PROCESSING AND AVIONICS SYSTEMS
Matlab as a Development Environment for FPGA Design
Star Bridge Systems, Inc.
Presentation transcript:

Feifarek 1 MAPLD 2005/A220 Jonathan F. Feifarek Timothy C. Gallagher Lockheed Martin Space Systems Co. FPGA Based Processor for Hubble Space Telescope Autonomous Docking – A Case Study Courtesy NASA GSFC

Feifarek 2 MAPLD 2005/A220 Background: Need for Hubble Repair ● 4 / 1990: Hubble Space Telescope (HST) launch ● 12/1993: SM* 1- Corrective COSTAR, WFP Camera2 ● 2 / 1997: SM 2 – Add NICMOS, STIS, Thermal Blankets ● 10/1997: Hubble Operations Extended from 2005 to 2010 ● 12/1997: SM3A Replace 6 Gyros, 3 Fine Guidance Sensors ● 3 / 2002: SM3B Replace Solar Panels, NICMOS Coolant ● 3 / 2003: SM 4 Cancelled Following Columbia Disaster ● 6 / 2004: Hubble HRV Request For Proposal Issued ● 8 / 2004: Lockheed Martin awarded HST Robotic Vehicle (HRV) ● 12/2007: Target HRV Launch Date * SM = Service Mission

Feifarek 3 MAPLD 2005/A220 HRV Mission : Autonomous Docking Mission Phase System Approach Requirement Pursuit Orbit phasing with HST HRV checkout Range from HST for initial sensor acquisition Proximity Ops HST approach with safe-hold points Acquire sensor data on HST orientation and rotation rate Approach Capture/Berth Rate matching with HST Maneuver to HST capture point Capture HST: – Robotic Arm Captures HST Grapple Fixture – Berth to HST aft interface

Feifarek 4 MAPLD 2005/A220 Vision Processing Algorithm Selection Criteria ● Implementation Concerns - Computational Intensive – Field Programmable Gate Array (FPGA) – Flight Computer, DSP Processor – Combination ● Implementation Approach – All: Conventional Programming Languages – FPGA High-Order Languages (HOLs) – FPGA Register Transfer Logic (RTL) in VHDL or Verilog ● Error-prone ● Time consuming (calendar time plus engineering cost) ● Difficult to achieve bit accurate & cycle accurate operations using hand-coded conversions

Feifarek 5 MAPLD 2005/A220 Vision Processing Algorithm Selection Results ● FPGA Reconfigurable Architecture Chosen – Searched Internet and Conference Proceedings for comparisons between Processors and FPGA Reconfigurable Computer (RCC) ● Space Based RCC technology leaders such as Los Alamos National Labs 1 and NASA 2 noted FPGA system performed between x faster then processors ● Many other references on FPGA based accelerated image processing from University studies 3,4 ● Microprocessor Embedded in FPGA – Allows rapid evaluation of architecture performance – Can host large amounts of existing code such as decision logic and complex sequential math – For certain algorithms Floating Point is more efficiently implemented in processor code then in gates

Feifarek 6 MAPLD 2005/A220 Vision Processing Algorithm Selection Results ● FPGA Implementation: Combination of HOL, RTL – HOL (Celoxica Handel-C) for fast and efficient implementation – Provided fast development cycle needed for mission ● Quickly ported math libraries & existing C++ code ● Performance matched RTL speed, area ; slower than hand- code ● Highest speed increase from hand floorplanning – RTL for IO Wrapper, IO reuse, and custom-optimized code – Combined the benefits of all worlds – Microprocessor Implementation ● Incorporated Xilinx MicroBlaze ™ Core in FPGA ● Xilinx tools: Platform Studio© SDK / EDK suite ● Used gnu© C compiler / “gdb” debugger

Feifarek 7 MAPLD 2005/A220 Vision Processing FPGA Development Flow C Algorithm Acceleration C to RTL Generate human-readable VHDL and Verilog for 3rd party synthesis C to FPGA Direct implementation to device optimized programmable logic FPGA Implementation Provide rapid iteration of partitioning decisions throughout flow Verification Drive continuous system verification from concept to hardware Used with permission of Celoxica, Inc.

Feifarek 8 MAPLD 2005/A220 Vision Processing Card (VPC) Block Diagram

Feifarek 9 MAPLD 2005/A220 Vision Processor Card Architecture SRAM Flash Power Switch PCI-PCI Bridge / Config Internal PCI COP A Xilinx V2 Port A SRAM SDRAM COP B Xilinx V2 Port B COP C Xilinx V2 Port C COP D Xilinx V2 Port D Common Interconnect Bus J8 PCI Connectors SerDes SDRAM SRAM SDRAM SerDes SDRAM SRAM SDRAM SerDes SDRAM SRAM SDRAM SerDes SDRAM

Feifarek 10 MAPLD 2005/A220 VPC Engineering Development Board Used with permission of SEAKR Engineering, Inc.

Feifarek 11 MAPLD 2005/A220 VPC SEU Approach ● Main SEU Mitigation: Dual Voting at FPGA output – Detects SEE's but cannot correct for them – Tight power restrictions (thermal reasons) restrict triple voting – Vision Processing Algorithm tolerant of drop-outs ● Multiple camera views / algorithms into Kahlman filter ● HRV mission uses very low rate docking (1 inch / sec) ● SEU Correction at FPGA-to-Memory Interfaces ● Microprocessor returned to Reset State after each image ● Algorithm memory only 1 image deep; flushes SEU effects ● Voting, Configuration Scrubbing Performed in Rad Hard Part ● Analysis Shows Low SEE Rate (1 effective upset / 10 hours)

Feifarek 12 MAPLD 2005/A220 VPC Sizing Results for NFIR Algorithm Single LK Tracker Quad LK Trackers

Feifarek 13 MAPLD 2005/A220 VPC Performance Results for NFIR Algorithm

Feifarek 14 MAPLD 2005/A220 VPC Performance Results for NFIR Algorithm (cont.)

Feifarek 15 MAPLD 2005/A220 Summary: Lessons Learned ● Using OpenGL algorithm for development hampered design ● Parallel PC board and FPGA designs helped meet schedule ● Using FPGA’s was key to meeting speed requirements ● Use of microprocessor core reduced development time ● Early allocation of algorithm to hardware/software paid off ● Use of HOLs made implementing complex tasks possible ● Engage expert tool user on team (MicroBlaze, Handel-C) ● Having reference software / test data eased verification ● Benefited from small, enthusiastic, tight knit team ● Worked around MicroBlaze libraries bugs with custom logic

Feifarek 16 MAPLD 2005/A220 References ● (1) “A Space Based Reconfigurable Radio”, Michael Caffrey, Los Alamos National Laboratory, MAPLD September 2002 ● (2) “Developing Reconfigurable Computing Systems for Space Flight Applications”, Thomas P. Flatley, NASA Goddard Space Flight Center Greenbelt, Maryland ● (3) "Implementing Image Applications on FPGAs," B. Draper, R. Beveridge, W. Böhm, C. Ross and M. Chawathe. International Conference on Pattern Recognition, Quebec City, Aug , ● (4) “Performance of Reconfigurable Architectures for Image-Processing Applications”, Domingo Benitez, University of Las Palmas G.C., Journal of Systems Architecture: the EUROMICRO Journal, September 2003