Hartman1P1004 Leo Hartman Canadian Space Agency A VHDL Implementation of an On-board Autonomy Solution.

Slides:



Advertisements
Similar presentations
Machine cycle.
Advertisements

NetFPGA Project: 4-Port Layer 2/3 Switch Ankur Singla Gene Juknevicius
IN2305-II Embedded Programming Lecture 2: Digital Logic.
10/14/2005Caltech1 Reliable State Machines Dr. Gary R Burke California Institute of Technology Jet Propulsion Laboratory.
University Of Vaasa Telecommunications Engineering Automation Seminar Signal Generator By Tibebu Sime 13 th December 2011.
Bryan Lahartinger. “The Apriori algorithm is a fundamental correlation-based data mining [technique]” “Software implementations of the Aprioiri algorithm.
© ABB Group Jun-15 Evaluation of Real-Time Operating Systems for Xilinx MicroBlaze CPU Anders Rönnholm.
Super Fast Camera System Performed by: Tokman Niv Levenbroun Guy Supervised by: Leonid Boudniak.
© 2004 Xilinx, Inc. All Rights Reserved Implemented by : Alon Ben Shalom Yoni Landau Project supervised by: Mony Orbach High speed digital systems laboratory.
Network based System on Chip Performed by: Medvedev Alexey Supervisor: Walter Isaschar (Zigmond) Winter-Spring 2006.
Multithreaded ASC Kevin Schaffer and Robert A. Walker ASC Processor Group Computer Science Department Kent State University.
Implementation of DSP Algorithm on SoC. Mid-Semester Presentation Student : Einat Tevel Supervisor : Isaschar Walter Accompaning engineer : Emilia Burlak.
Chapter 13: I/O Systems I/O Hardware Application I/O Interface
(1) Modeling Digital Systems © Sudhakar Yalamanchili, Georgia Institute of Technology, 2006.
Maria-Cristina Marinescu Martin Rinard Laboratory for Computer Science Massachusetts Institute of Technology A Synthesis Algorithm for Modular Design of.
Maria-Cristina Marinescu Martin Rinard Laboratory for Computer Science Massachusetts Institute of Technology High-level Specification and Efficient Implementation.
SOC Consortium Course Material ASIC Logic National Taiwan University Adopted from National Chiao-Tung University IP Core Design.
The Layered Protocol Wrappers 1 Florian Braun, Henry Fu The Layered Protocol Wrappers: A Solution to Streamline Networking Functions to Process ATM Cells,
High-Level Interconnect Architectures for FPGAs An investigation into network-based interconnect systems for existing and future FPGA architectures Nick.
System Arch 2008 (Fire Tom Wada) /10/9 Field Programmable Gate Array.
Recall: Three I/O Methods Synchronous: Wait for I/O operation to complete. Asynchronous: Post I/O request and switch to other work. DMA (Direct Memory.
High-Level Interconnect Architectures for FPGAs Nick Barrow-Williams.
Hardware Implementation of a Memetic Algorithm for VLSI Circuit Layout Stephen Coe MSc Engineering Candidate Advisors: Dr. Shawki Areibi Dr. Medhat Moussa.
Sequential Arithmetic ELEC 311 Digital Logic and Circuits Dr. Ron Hayne Images Courtesy of Cengage Learning.
FPGA (Field Programmable Gate Array): CLBs, Slices, and LUTs Each configurable logic block (CLB) in Spartan-6 FPGAs consists of two slices, arranged side-by-side.
Gigabit Kits Workshop August Washington WASHINGTON UNIVERSITY IN ST LOUIS IP Processing Wrapper Tutorial Gigabitkits Workshop August 2001
1 Towards Optimal Custom Instruction Processors Wayne Luk Kubilay Atasu, Rob Dimond and Oskar Mencer Department of Computing Imperial College London HOT.
Company LOGO Mid semester presentation Spring 2008/9 Performed by: Alexander PavlovDavid Domb Supervisor: Mony Orbach GPS/INS Computing System.
RISC By Ryan Aldana. Agenda Brief Overview of RISC and CISC Features of RISC Instruction Pipeline Register Windowing and renaming Data Conflicts Branch.
Los Alamos National Lab Streams-C Maya Gokhale, Janette Frigo, Christine Ahrens, Marc Popkin- Paine Los Alamos National Laboratory Janice M. Stone Stone.
Lecture 16: Reconfigurable Computing Applications November 3, 2004 ECE 697F Reconfigurable Computing Lecture 16 Reconfigurable Computing Applications.
ISSS 2001, Montréal1 ISSS’01 S.Derrien, S.Rajopadhye, S.Sur-Kolay* IRISA France *ISI calcutta Combined Instruction and Loop Level Parallelism for Regular.
Pipeline Hazards. CS5513 Fall Pipeline Hazards Situations that prevent the next instructions in the instruction stream from executing during its.
4/19/20021 TCPSplitter: A Reconfigurable Hardware Based TCP Flow Monitor David V. Schuehler.
Hot Interconnects TCP-Splitter: A Reconfigurable Hardware Based TCP/IP Flow Monitor David V. Schuehler
Field Programmable Port Extender (FPX) 1 Modular Design Techniques for the FPX.
This material exempt per Department of Commerce license exception TSU Synchronous Design Techniques.
D_160 / MAPLD Burke 1 Fault Tolerant State Machines Gary Burke, Stephanie Taft Jet Propulsion Laboratory, California Institute of Technology.
Curtis A. Nelson 1 Technology Mapping of Timed Circuits Curtis A. Nelson University of Utah September 23, 2002.
Spatiotemporal Saliency Map of a Video Sequence in FPGA hardware David Boland Acknowledgements: Professor Peter Cheung Mr Yang Liu.
How Computers Work Lecture 12 Page 1 How Computers Work Lecture 12 Introduction to Pipelining.
Introduction to Field Programmable Gate Arrays Lecture 1/3 CERN Accelerator School on Digital Signal Processing Sigtuna, Sweden, 31 May – 9 June 2007 Javier.
Chapter One Introduction to Pipelined Processors.
Design methodology for Implementing a Microcontroller in a FPGA. Phillip Southard Ohio University EE 690 Reconfigurable Design.
Fang Fang James C. Hoe Markus Püschel Smarahara Misra
Presenter: Darshika G. Perera Assistant Professor
IAPP - FTK workshop – Pisa march, 2013
Backprojection Project Update January 2002
Module 12: I/O Systems I/O hardware Application I/O Interface
SEU Mitigation Techniques for Virtex FPGAs in Space Applications
Improving java performance using Dynamic Method Migration on FPGAs
Registers and Counters
Field Programmable Gate Array
Field Programmable Gate Array
Field Programmable Gate Array
Hardware Description Languages
Serial versus Pipelined Execution
Operating System Concepts
Overview Parallel Processing Pipelining
A High Performance SoC: PkunityTM
VHDL Introduction.
Introduction to Operating Systems
THE ECE 554 XILINX DESIGN PROCESS
Design Methodology & HDL
Digital Designs – What does it take
Lecture 18: Coherence and Synchronization
THE ECE 554 XILINX DESIGN PROCESS
Module 12: I/O Systems I/O hardwared Application I/O Interface
Fetch And Add – switching network
Presentation transcript:

Hartman1P1004 Leo Hartman Canadian Space Agency A VHDL Implementation of an On-board Autonomy Solution

Hartman2P1004 Overview Summary of goal decomposition hierarchy (GDH) Pipeline implementation of GDH Performance Future work

Hartman3P1004 C GDH Structure A B Primitive operation Serial decomposition A B Parallel decomposition Activation condition Value parameters pass information to subgoals. Stream parameters pass information between subgoals in real-time, i.e., shared memory. C Subgoal Alternative decompositions Activation passes downward to decompositions and subgoals. When a goal becomes active, the first decomposition whose activation condition is true becomes active. Success and failure propagate upward. A goal decomposition hierarchy is evaluated by cyclic execution of the active decompositions and subgoals. If an activation condition becomes false, the node fails.

Hartman4P1004 On-board environment Xiphos Technologies' Q-card Goal decomposition hierarchy Higher level applications: health monitoring resource tracking payload operations Spacewire networking

Hartman5P1004 Still active goals GDH Execution Behavior Execution pipeline Successful Goals Failed Goals Active Queue Active goals

Hartman6P1004 GDH Hardware Overview Memory GDH Pipeline FIFOs Parameter updating Active queue handler Fetching data structures Parameter fetching & initialization

Hartman7P1004 Active Queue Handler Keeps track of active goals in a set of synchronized FIFOs Provides and records references to active goals' data structures Controls the queue FIFOs that give each goal a turn to be processed in the pipeline

Hartman8P1004 Active Queue Handler and FIFOs Active Queue Handler Goal Address Goal State Info Copy Parent State Info Copy Unused Addresses for Copies Goal Parameters Parent Parameters Unused Addresses For Parameters Control signals Data exchange Goal Info to Pipeline

Hartman9P1004 Pipeline register Stage X Combinational Logic or High Speed State Machine Flow control : clock, freeze, etc. GDH Pipeline Pipeline register Stage X Combinational Logic or High Speed State Machine Pipeline register

Hartman10P1004 FIFOs & Memory Allocation Goal Address FIFO Goal State FIFO Parent Goal State FIFO Unused Addresses FIFO Goal Parameters FIFO Parent Goal Parameters FIFO Unused Addresses FIFO

Hartman11P1004 FIFOs & Memory Allocation Data Structure Off- Chip Memory Goal State Info Memory Parameter Values Memory Parameter Addresses Memory

Hartman12P1004 Conclusions Functional pipeline without parameters. Routed synthesis: state machines at 150Mhz for a total processing speed ~10Mhz. Synthesized modules take 10% to 15% of a 1M cell FPGA (Xilinx Virtex II)

Hartman13P1004 Future Work Complete pipeline implementation by including parameters and user-defined circuits for activation and primitive operations. Memory initialization & GDH IDE. Explore other approaches for GDH hardware implementation.