Test and Verification of SpaceWire Developments and VLSI Implementations.
|
|
|
- Basil Hancock
- 6 years ago
- Views:
Transcription
1 The 11 th SpaceWire WG Meeting June 2008 and Verification of SpaceWire Developments and VLSI Implementations. Some Methodology and Tools Yuriy Sheynin, Elena Suvorova, Irina Lavrovskaya Institute for High-Performance Computer and Network Technologies St. Petersburg State University of Aerospace Instrumentation
2 ing and verification Specification and verification of SpaceWire protocols ing and debugging SpaceWire VLSI implementations ing and debugging SpaceWire implementation products: chips and boards
3 ing and verification Specification and verification of SpaceWire protocols ing and debugging SpaceWire VLSI implementation ing and debugging SpaceWire implementation products: chips and boards Standardized procedures?
4 ing and verification Specification and verification of SpaceWire protocols SDL specification ing and debugging SpaceWire VLSI implementation ing and debugging SpaceWire implementation products: chips and boards
5 ing and verification Specification and verification of SpaceWire protocols SDL specification ing and debugging SpaceWire VLSI implementation Set of s and Nest generators ing and debugging SpaceWire implementation products: chips and boards
6 ing and verification Specification and verification of SpaceWire protocols SDL specification SDL specification for Distributed interrupts as an example ing and debugging SpaceWire VLSI implementation Set of s and generators ing and debugging SpaceWire implementation products: chips and boards
7 System consists of two types of blocks: Node and Router
8 Node:
9 Router:
10 General description of the Node
11 General description of the Router
12 SDL ToolSuite abilities Realization of specifications (operation simulation) Debugging Generation of C code Validation and verification of the system
13 Package for test: (base formal model) of protocol stack generator, test monitor and results controller wrapper (for organization of connection between and RTL or netlist) generator wrapper (for organization of connection between test generator and RTL or netlist) generator monitor generator wrapper UUT (RTL or netlist) Signal based interfaces Results controller wrapper generator monitor Interfaces, based on other types of channels
14 An hierarchical set of s (example): Network level Transport level Physical level generator Physical level generator network level generator (physical level) (network level) (transport level) Special generator corresponds to every level of wrapper to character character level generator (character level) Often a of one level (or for subgroup of levels, started not from physical) developed In this case wrapper to correspondent level is developed
15 Structure of for SpaceWire (full variant) network packet signal For every subcomponent - test generator For every subcomponent - wrapper for connection to RTL model or netlist exchange character Every subcomponent includes error generation (translation) mechanism signal
16 Additional components for system parameters evaluation Traffic monitors (for performance evaluation and for error localization) Simple switch models (for verification of interaction between UUT and a switch) Simple memory models (for system verification, performance evaluation)
17 SoftWare (if UUT includes processor) generator monitor wrapper SpW UUT (IP-block, device) Non SpW interface wrapper Glue logic Special interface component (AHB, parallel memory interface)
18 Configuration problem: IP-block or device should be configured correspondingly test set (for every test) In some cases it could be configured via SpaceWire channel, in some cases only via special interface Special block to connect test shell to some typical interfaces
19 ing and performance evaluation of an UUT with several SpW interfaces est enerator est onitor generator wrapper UUT 1 wrapper Trafic monitor generator monitor wrapper Trafic monitor generator monitor Results controller
20 Conclusions SDL specifications and set development is reasonable to include in the SpaceWire WG activities We shall provide SDL specifications for all our proposals for the next SpaceWire release updates SDL specifications and set development is a good subject for distributed developments by SpaceWire WG members It can be a good subject for an international project, e.g. under the 7 th FW programme.
21 Thank you
SystemC Modelling of the Embedded Networks
Saint Petersburg State University of Aerospace Instrumentation, Russia; Nokia Research Center and Nokia Devices, Finland. SystemC Modelling of the Embedded Networks Valentin Olenev, Yuriy Sheynin, Elena
Second revision of STP-ISS Transport. Protocol for Spacecraft On-board Networks
FRUCT #17 20-24 April 2015 Second revision of STP-ISS Transport Yuriy Sheynin, Valentin Olenev, Irina Lavrovskaya, Ilya Korobkov, Saint-Petersburg State University of Aerospace Instrumentation Dmitry Dymov,
St. Petersburg State University of Aerospace Instrumentation Institute of High-Performance Computer and Network Technologies
St. Petersburg State University of Aerospace Instrumentation Institute of High-Performance Computer and Network Technologies Extended Control Codes for Distributed Interrupts in SpaceWire Networks (draft
SpaceWire-RT/SpaceFibre simulation models: implementation and application
SpaceWire-RT/SpaceFibre simulation models: implementation and application Valentin Olenev Ph.D., Senior Researcher, SUAI Valentin.Olenev@guap.ru Irina Lavrovskaya Researcher, SUAI Irina.Lavrovskaya@guap.ru
Scheduling Mechanisms for SpaceWire Networks
Scheduling Mechanisms for SpaceWire Networks Ilya Korobkov, Elena Podgornova, Dmitry Raszhivin, Valentin Olenev, Irina Lavrovskaya {ilya.korobkov, alena.podgornova, dmitry.raszhivin, valentin.olenev, irina.lavrovskaya}@guap.ru
Network Topology Transformation for Fault Tolerance in SpaceWire Onboard Networks
Network Topology Transformation for Fault Tolerance in SpaceWire Onboard Networks Irina Lavrovskaya, Valentin Olenev Saint-Petersburg State University of Aerospace Instrumentation Saint Petersburg, Russia
SpaceWire Standard Problems and Evolution Lines. Experience of implementation and application
SpaceWire Standard Problems and Evolution Lines. Experience of implementation and application Yuriy Sheynin, Sergey Gorbachev, Pavel Volkov St. Petersburg State University of Aerospace Instrumentation
D3.1 - SpaceWire-RT SDL Simulation Validation Plan
D3.1 SpaceWire-RT Simulation and Validation Plan Lead Beneficiary: Author(s): SUAI Yuriy Sheynin, Elena Suvorova, Valentin Olenev, Irina Lavrovskaya Work Package: WP3 Task: Task 3.1 Version: 2.00 Last
Analysis of the Transport Protocol Requirements for the SpaceWire On-board Networks of Spacecrafts
Analysis of the Transport Protocol Requirements for the SpaceWire On-board Networks of Spacecrafts Irina Lavrovskaya, Valentin Olenev, Ilya Korobkov Saint-Petersburg State University of Aerospace Instrumentation
Virtual Prototyping in SpaceFibre System-on-Chip Design
Virtual Prototyping in SpaceFibre System-on-Chip Design System-level design Elena Suvorova, Nadezhda Matveeva, Ilya Korobkov, Alexey Shamshin, Yuriy Sheynin Saint-Petersburg State University of Aerospace
Link-Layer Layer Broadcast Protocol for SpaceWire
Link-Layer Layer Broadcast Protocol for SpaceWire SpaceWire Working Group Meeting Sandra G. Dykes Southwest Research Institute Overview Motivation & Value Protocol Features Protocol Description Performance
Department of aerospace computer and software systems
St. Petersburg State University of Aerospace Instrumentation Department of aerospace computer and software systems Prof. Yuriy Sheynin, Director, Doctor of Science Valentin Olenev, Head of EmCoMobile lab,
SpaceWire Network Performance Evaluation During the Streaming STP Data Transmition
SpaceWire Network Performance Evaluation During the Streaming STP Data Transmition Ilya Korobkov State University of Aerospace Instrumentation 1 Saint-Petersburg, Russia ilya.korobkov.l@gmail.com Abstract
Approaches to the SoC IP- Blocks Design With Errors Mitigation
Approaches to the SoC IP- Blocks Design With Errors Mitigation Valentin Rozanov, Elena Suvorova Saint-Petersburg of Aerospace Instrumentation Errors on different stages of IP-block lifetime Design of SoC
D3.2 SpaceWire-RT Updated Specification
SPACEWIRE-RT Grant Agreement: 263148 D3.2 SpaceWire-RT Updated Specification Dissemination level: Public (PU) D3.2 SpaceWire-RT Updated Specification Lead Beneficiary: University of Dundee Author(s): Steve
SpaceWire-RT Project and Baseline Concepts
SpaceWire-RT Project and Baseline Concepts Steve Parkes, Albert Ferrer Space Technology Centre, University of Dundee Yuriy Sheynin, St Petersburg University of Aerospace Instrumentation 1 Aims Overview
Research and Analysis of Flow Control Mechanism for Transport Protocols of the SpaceWire Onboard Networks
Research and Analysis of Flow Control Mechanism for Transport Protocols of the SpaceWire Onboard Networks Nikolay Sinyov, Valentin Olenev, Irina Lavrovskaya, Ilya Korobkov {nikolay.sinyov, valentin.olenev,
Methodology of Searching for All Shortest Routes in NoC
PROCEEDING OF THE TH CONFERENCE OF FRUCT ASSOCIATION Methodology of Searching for All Shortest Routes in NoC Nadezhda Matveeva, Elena Suvorova Saint-Petersburg State University of Aerospace Instrumentation
Codesign Framework. Parts of this lecture are borrowed from lectures of Johan Lilius of TUCS and ASV/LL of UC Berkeley available in their web.
Codesign Framework Parts of this lecture are borrowed from lectures of Johan Lilius of TUCS and ASV/LL of UC Berkeley available in their web. Embedded Processor Types General Purpose Expensive, requires
Development an update. Aeroflex Gaisler
European SpaceWire Router Development an update Sandi Habinc Aeroflex Gaisler Demand for SpaceWire Router Both European and international customers have shown interest in SpaceWire router with greater
Building Blocks For System on a Chip Spacecraft Controller on a Chip
PIO/TEST/WDOGN/ 19 ERRORN 2 Clock, Reset CT_PULSE CT_EVENT 4 4 4 SWB0 : Space Wire SWB1 : Space Wire SWB2 : Space Wire HKP Housekeeping Packetizer Context RA CT CCSDS Time anager SWT SWITCH ATRIX IT from
EMC2. Prototyping and Benchmarking of PikeOS-based and XTRATUM-based systems on LEON4x4
EMC2 Prototyping and Benchmarking of PikeOS-based and XTRATUM-based systems on LEON4x4 Introduction Multi-core architectures will be adopted in the next generations of avionics and aerospace systems. Integrated
Evolution of CAD Tools & Verilog HDL Definition
Evolution of CAD Tools & Verilog HDL Definition K.Sivasankaran Assistant Professor (Senior) VLSI Division School of Electronics Engineering VIT University Outline Evolution of CAD Different CAD Tools for
Time synchronization in SpaceWire networks
Time synchronization in SpaceWire networks Marko Isomäki, Sandi Habinc Aeroflex Gaisler AB Kungsgatan 12, SE-411 19 Göteborg, Sweden marko@gaisler.com www.aeroflex.com/gaisler Introduction Time synchronization
Remote Memory Access in Embedded Networked Systems
Remote Memory Access in Embedded Networked Systems Valentin Olenev, I Korobkov, Liudmila Koblyakova, Felix Shutenko SUAI Introduction A Modern Embedded Networked Systems frequently consist of a large quantity
The SpaceWire-PnP Draft Standard. Peter Mendham Stuart Mills, Steve Parkes, Martin Kelly, Stuart Fowell
The SpaceWire-PnP Draft Standard Peter Mendham Stuart Mills, Steve Parkes, Martin Kelly, Stuart Fowell Agenda The draft standard Conceptual view of a network SpaceWire Network Management Architectural
Multi-core microcontroller design with Cortex-M processors and CoreSight SoC
Multi-core microcontroller design with Cortex-M processors and CoreSight SoC Joseph Yiu, ARM Ian Johnson, ARM January 2013 Abstract: While the majority of Cortex -M processor-based microcontrollers are
DESIGN OF HIGH SPEED LINK BFFERB FOR HDLC PROCESSOR
DESIGN OF HIGH SPEED LINK BFFERB FOR HDLC PROCESSOR Mr. Mohan S R Asst. Professor, Department of EEE, PESIT Bangalore South Campus, Electronics City, Hosur Road,Bangalore, Karnataka, India -560068 Email:mohan.sr43@gmail.com
Intellectual Property Macrocell for. SpaceWire Interface. Compliant with AMBA-APB Bus
Intellectual Property Macrocell for SpaceWire Interface Compliant with AMBA-APB Bus L. Fanucci, A. Renieri, P. Terreni Tel. +39 050 2217 668, Fax. +39 050 2217522 Email: luca.fanucci@iet.unipi.it - 1 -
ADVANCED DIGITAL IC DESIGN. Digital Verification Basic Concepts
1 ADVANCED DIGITAL IC DESIGN (SESSION 6) Digital Verification Basic Concepts Need for Verification 2 Exponential increase in the complexity of ASIC implies need for sophisticated verification methods to
UNIVERSAL SPACEWIRE INTERFACE TO/FROM VME AND TO/FROM PCI
UNIVERSAL SPACEWIRE INTERFACE TO/FROM VME AND TO/FROM PCI Session: Poster Session Short Paper ir. G.J. Vollmuller, ing. A. Pleijsier National Aerospace Laboratory NLR Anthony Fokkerweg 2, 1059CM, Amsterdam
for On-Board Communications Project Status Noordwijk, Netherlands
Protocol Validation System for On-Board Communications Project Status 13th S Wi W ki G M ti 14th 15th S t b 2009 13th SpaceWire Working Group Meeting, 14th-15th September 2009 Noordwijk, Netherlands Presentation
On Design for Reliability
On Design for Reliability of Electronics in Nanosatellite Olga Mamoutova (presenter) Andrey Antonov Peter the Great St. Petersburg State Polytechnic University, Russia Dpt. of Computer Systems & Software
A framework for verification of Program Control Unit of VLIW processors
A framework for verification of Program Control Unit of VLIW processors Santhosh Billava, Saankhya Labs, Bangalore, India (santoshb@saankhyalabs.com) Sharangdhar M Honwadkar, Saankhya Labs, Bangalore,
SpaceWire-R DRAFT. SCDHA Issue September 2013
SpaceWire-R DRAFT SCDHA 151-0.3 Issue 0.3 13 September 2013 Takahiro Yamada Japan Aerospace Exploration Agency (JAXA) Institute of Space and Astronautical Science (ISAS) 1 CONTENTS 1. INTRODUCTION... 3
Overview of Digital Design with Verilog HDL 1
Overview of Digital Design with Verilog HDL 1 1.1 Evolution of Computer-Aided Digital Design Digital circuit design has evolved rapidly over the last 25 years. The earliest digital circuits were designed
Introduction to the SystemC TLM Standard Stuart Swan Cadence Design Systems, Inc June 2005
Introduction to the SystemC TLM Standard Stuart Swan Cadence Design Systems, Inc June 2005 1 Copyright 2005 CADENCE DESIGN SYSTEMS, INC. SystemC Transaction Level Modeling What is TLM? Communication uses
DIGITAL DESIGN TECHNOLOGY & TECHNIQUES
DIGITAL DESIGN TECHNOLOGY & TECHNIQUES CAD for ASIC Design 1 INTEGRATED CIRCUITS (IC) An integrated circuit (IC) consists complex electronic circuitries and their interconnections. William Shockley et
Module 2 OSPF Configuration for Training Lab Network
APNIC IPv6/Routing Workshop Lab Module 2 OSPF Configuration for Training Lab Network Objective: All the workshop lab routers are configured with required basic & interface configuration according to the
TopNet implementation: SpW IP Tunnel and Protocol Analyser
TopNet implementation: SpW IP Tunnel and Protocol Analyser Vitulli R. TEC-EDP Email: Raffaele.Vitulli@esa.int Slide : 1 SpaceWire System Node 71 Node 72 Node 61 Router 2 Node 73 Node 62 Router 1 Router
Next Generation Multi-Purpose Microprocessor
Next Generation Multi-Purpose Microprocessor Presentation at MPSA, 4 th of November 2009 www.aeroflex.com/gaisler OUTLINE NGMP key requirements Development schedule Architectural Overview LEON4FT features
Remote Memory Access in Embedded Networked Systems
Remote Memory Access in Embedded Networked Systems V. Olenev, I. Korobkov, L. Koblyakova, F. Shutenko SUAI 190000, B.Morskaya 67, Saint_Petersburg, Russia valentin.olenev@guap.ru, zelwa@yandex.ru, Luda_o@rambler.ru,
Digital VLSI Design with Verilog
John Williams Digital VLSI Design with Verilog A Textbook from Silicon Valley Technical Institute Foreword by Don Thomas Sprin ger Contents Introduction xix 1 Course Description xix 2 Using this Book xx
The TASTE MBE development toolchain - update & case-studies
The TASTE MBE development toolchain - update & case-studies Julien Delange 18/10/2010 Agenda 1. Overview of the TASTE environment 2. Latest improvements 3. Ongoing projects, conclusion TASTE update & case-studies
SpaceWire devices developed in JAXA s SpaceWire R&D activities in the last 3 years (and coming several years).
JAXA Status Report Part 2 SpaceWire devices developed in JAXA s SpaceWire R&D activities in the last 3 years (and coming several years). Takayuki Yuasa, Tadayuki Takahashi JAXA Masaharu Nomachi Osaka University
Final Presentation. Network on Chip (NoC) for Many-Core System on Chip in Space Applications. December 13, 2017
Final Presentation Network on Chip (NoC) for Many-Core System on Chip in Space Applications December 13, 2017 Dr. ir. Gerard Rauwerda Gerard.Rauwerda@recoresystems.com NoC round table Network-on-Chip (NoC)
Ultra Depedable VLSI by Collaboration of Formal Verifications and Architectural Technologies
Ultra Depedable VLSI by Collaboration of Formal Verifications and Architectural Technologies CREST-DVLSI - Fundamental Technologies for Dependable VLSI Systems - Masahiro Fujita Shuichi Sakai Masahiro
CCSDS Time Distribution over SpaceWire
CCSDS Time Distribution over SpaceWire Sandi Habinc, Marko Isomäki, Daniel Hellström Aeroflex Gaisler AB Kungsgatan 12, SE-411 19 Göteborg, Sweden sandi@gaisler.com www.aeroflex.com/gaisler Introduction
Computer-Aided Design System for On-board SpaceWire Networks Simulation and Design
Computer-Aided Design System for On-board SpaceWire Networks Simulation and Design Yuriy Sheynin, Valentin Olenev, Irina Lavrovskaya, Ilya Korobkov Saint-Petersburg State University of Aerospace Instrumentation
Multi-DSP/Micro-Processor Architecture (MDPA) Paul Rastetter Astrium GmbH
Multi-DSP/Micro-Processor Architecture (MDPA) Paul Rastetter Astrium GmbH Astrium ASE2 MDPA for New Generation Processor (NGP) Payload Control Processor MDPA (Multi-DSP/ µprocessor Architecture) features:
For a long time, programming languages such as FORTRAN, PASCAL, and C Were being used to describe computer programs that were
CHAPTER-2 HARDWARE DESCRIPTION LANGUAGES 2.1 Overview of HDLs : For a long time, programming languages such as FORTRAN, PASCAL, and C Were being used to describe computer programs that were sequential
Improvements to the Distributed Interrupts Scheme
SpaceWire Evolutions Improvements to the Distributed Interrupts Scheme 18 th SpaceWire Working Group, 24 th April 2012 Noordwijk, Netherlands ESA Contract Number 4000104023, SpaceWire Evolutions Slide
Hardware Software Bring-Up Solutions for ARM v7/v8-based Designs. August 2015
Hardware Software Bring-Up Solutions for ARM v7/v8-based Designs August 2015 SPMI USB 2.0 SLIMbus RFFE LPDDR 2 LPDDR 3 emmc 4.5 UFS SD 3.0 SD 4.0 UFS Bare Metal Software DSP Software Bare Metal Software
Network simulation with. Davide Quaglia
Network simulation with SystemC Davide Quaglia Outline Motivation Architecture Experimental results Advantages of the proposed framework 2 Motivation Network Networked Embedded Systems Design of Networked
Addressing Verification Bottlenecks of Fully Synthesized Processor Cores using Equivalence Checkers
Addressing Verification Bottlenecks of Fully Synthesized Processor Cores using Equivalence Checkers Subash Chandar G (g-chandar1@ti.com), Vaideeswaran S (vaidee@ti.com) DSP Design, Texas Instruments India
A Case Study: Pre-Silicon SoC RAS Validation for NoC Server Processor
2016 17th International Workshop on Microprocessor and SOC Test and Verification A Case Study: Pre-Silicon SoC RAS Validation for NoC Server Processor Senwen Kan, Matthew Lam, Tyler Porter Advanced Micro
Testing & Verification of Digital Circuits ECE/CS 5745/6745. Hardware Verification using Symbolic Computation
Testing & Verification of Digital Circuits ECE/CS 5745/6745 Hardware Verification using Symbolic Computation Instructor: Priyank Kalla (kalla@ece.utah.edu) 3 Credits Mon, Wed 1:25-2:45pm, WEB 2250 Office
Ultra-Fast NoC Emulation on a Single FPGA
The 25 th International Conference on Field-Programmable Logic and Applications (FPL 2015) September 3, 2015 Ultra-Fast NoC Emulation on a Single FPGA Thiem Van Chu, Shimpei Sato, and Kenji Kise Tokyo
OSI Network Layer. Network Fundamentals Chapter 5. Version Cisco Systems, Inc. All rights reserved. Cisco Public 1
OSI Network Layer Network Fundamentals Chapter 5 Version 4.0 1 Objectives Identify the role of the Network Layer, as it describes communication from one end device to another end device. Examine the most
Performance of SpaceWire Plug-and-Play Protocols
Performance of SpaceWire Plug-and-Play Protocols Robert A. Klar, Daniel P. Goes, Paul B. Wood and Sue A. Baldor Southwest Research Institute 1 Contents Overview SpaceWire Plug and Play protocols Overview
Fujitsu SOC Fujitsu Microelectronics America, Inc.
Fujitsu SOC 1 Overview Fujitsu SOC The Fujitsu Advantage Fujitsu Solution Platform IPWare Library Example of SOC Engagement Model Methodology and Tools 2 SDRAM Raptor AHB IP Controller Flas h DM A Controller
CS519: Computer Networks. Lecture 1 (part 2): Jan 28, 2004 Intro to Computer Networking
: Computer Networks Lecture 1 (part 2): Jan 28, 2004 Intro to Computer Networking Remember this picture? How did the switch know to forward some packets to B and some to D? From the address in the packet
SpaceWire Backplane Application Requirements
SpaceWire Backplane Application Requirements Alan Senior 15 th December 2011 Classification Summary The work presented is part of the ESA funded SpaceWire Backplane activity reference TEC EPD/2010.88 The
Remote Laboratories at NIU and Beyond (Department of Electrical Engineering)
Remote Laboratories at NIU and Beyond (Department of Electrical Engineering) Reza Hashemian Northern Illinois University Electrical Engineering Objective Development of Remote Laboratory Access (RLA) for
Guaranteeing real-time property of SpW network based on SpW-D
Guaranteeing real-time property 18 th SpW WG meeting Guaranteeing real-time property of SpW network based on SpW-D 24-Apr.-212 Hiroaki TAKADA Executive Director and Professor Center for Embedded Computing
Martin Dubois, ing. Contents
Martin Dubois, ing Contents Without OpenNet vs With OpenNet Technical information Possible applications Artificial Intelligence Deep Packet Inspection Image and Video processing Network equipment development
Network on Chip round table European Space Agency, ESTEC Noordwijk / The Netherlands 17 th and 18 th of September 2009
Network on Chip round table European Space Agency, ESTEC Noordwijk / The Netherlands 17 th and 18 th of September 2009 Ph. Armbruster Head of Data Systems Division European Space Agency - ESTEC 17 th of
Will Everything Start To Look Like An SoC?
Will Everything Start To Look Like An SoC? Vikas Gautam, Synopsys Verification Futures Conference 2013 Bangalore, India March 2013 Synopsys 2012 1 SystemVerilog Inherits the Earth e erm SV urm AVM 1.0/2.0/3.0
Hardware Synthesis. References
Hardware Synthesis MidiaReshadi CE Department Science and research branch of Islamic Azad University Email: ce.srbiau@gmail.com 1 References 2 1 Chapter 1 Digital Design Using VHDL and PLDs 3 Some Definitions
Characterizing the Performance of SpaceWire on a LEON3FT. Ken Koontz, Andrew Harris, David Edell
Characterizing the Performance of SpaceWire on a LEON3FT Ken Koontz, Andrew Harris, David Edell Introduction SpaceWire is emerging as standard high-performance data interface Recent NASA missions include
SVOM mission: ATF280F/AT697F data processing for real-time GRB detection and localization & ATF280E SpaceWire CEA IP recent developments
SVOM mission: ATF280F/AT697F data processing for real-time GRB detection and localization & ATF280E SpaceWire CEA IP recent developments T.Chaminade, F.Château, F.Daly, M.Donati, C.Flouzat, P.Kestener,
Testing HW/SW Interfaces in the As-Built System
Testing HW/SW Interfaces in the As-Built System ivv-itc@lists.nasa.gov http://www.nasa.gov/centers/ivv/jstar/itc.html Presenter Steven Seeger sseeger@mpl.com November 9, 2012 Agenda NASA s IV&V Program
Aeroflex Colorado Springs Application Note
Aeroflex Colorado Springs Application Note AN-SPW-005-001 Configuration of the UT200SpW4RTR Table 1: Cross Reference of Applicable Products Product Name: Manufacturer Part SMD # Device Internal PIC Number
Cisco ASR 9000 Modular Line Card and Modular Port Adapters
Cisco ASR 9000 Modular Line Card and Modular Port Adapters In this section you will identify the following aspects of the Modular Line Card: Part number and description Location Status LEDs Part number
Chapter 1 Overview of Digital Systems Design
Chapter 1 Overview of Digital Systems Design SKEE2263 Digital Systems Mun im/ismahani/izam {munim@utm.my,e-izam@utm.my,ismahani@fke.utm.my} February 8, 2017 Why Digital Design? Many times, microcontrollers
MARC Mini-Project and SpaceWire-RT
Distributed, Real- Time, Embedded Systems MARC Mini-Project and SpaceWire-RT SpaceWire Working Group Meeting #12 17 th February 2009, ESTEC Presented by: Stuart D Fowell www.scisys.co.uk Proprietary Information
SpaceWire Router ASIC
SpaceWire Router ASIC Steve Parkes, Chris McClements Space Technology Centre, University of Dundee Gerald Kempf, Christian Toegel Austrian Aerospace Stephan Fisher Astrium GmbH Pierre Fabry, Agustin Leon
MCFlight SOC BASED CHIPSET WITH SPACEWIRE LINKS FOR AEROSPACE APPLICATIONS
MCFlight SOC BASED CHIPSET WITH SPACEWIRE LINKS FOR AEROSPACE APPLICATIONS International SpaceWire Seminar () 4-5 November 2003, ESTEC Noordwijk, the Netherlands MiT Tatiana Solokhina (1), Jaroslav Petrichkovich(1),
101-1 Under-Graduate Project Digital IC Design Flow
101-1 Under-Graduate Project Digital IC Design Flow Speaker: Ming-Chun Hsiao Adviser: Prof. An-Yeu Wu Date: 2012/9/25 ACCESS IC LAB Outline Introduction to Integrated Circuit IC Design Flow Verilog HDL
Graph-Based Verification in a UVM Environment
Graph-Based Verification in a UVM Environment Staffan Berg European Applications Engineer July 2012 Graph-Based Intelligent Testbench Automation (itba) Welcome DVClub Attendees Organizers Presenters Verification
SpaceWire Technologies deliver multi-gigabit data rates for on-board Spacecraft. SpaceTech Expo Gregor Cranston Business Development Manager
SpaceWire Technologies deliver multi-gigabit data rates for on-board Spacecraft SpaceTech Expo 2013 Gregor Cranston Business Development Manager 1 Introducing SpaceFibre A very high-speed serial data-link
SoC Design Lecture 9: Platform Based Design. Shaahin Hessabi Department of Computer Engineering
SoC Design Lecture 9: Platform Based Design Shaahin Hessabi Department of Computer Engineering Design Methodologies TDD: Timing-Driven Design BBD: Block-Based B Design PBD: Platform-Based Design 2 Timing-Driven
HARDWARE BUFFER MEMORY OF THE MULTIPROCESSOR SYSTEM
HARDWARE BUFFER MEMORY OF THE MULTIPROCESSOR SYSTEM Martyshkin A. I. Baydukov Proyezd / Gagarin Street, 1a/11, Penza, Penza region, Penza State Technological University, Russia E-Mail: alexey314@yandex.ru
Architectural Approaches to Multi-Homing for IPv6
Architectural Approaches to Multi-Homing for IPv6 A Walk-Through of draft-huston-multi6-architectures-00 Geoff Huston June 2004 Recap Multi-Homing in IPv4 Either: Or: Obtain a local AS Obtain PI space
VLSI Testing. Fault Simulation. Virendra Singh. Indian Institute of Science Bangalore
VLSI Testing Fault Simulation Virendra Singh Indian Institute of Science Bangalore virendra@computer.org E0 286: Test & Verification of SoC Design Lecture - 4 Jan 25, 2008 E0-286@SERC 1 Fault Model - Summary
Introducing Class-Level Decoding Video See a video demonstration of the new real-time class-level decoding feature of the Data Center Software.
Debug USB Faster with USB Class-Level Decoding Introducing Class-Level Decoding Video See a video demonstration of the new real-time class-level decoding feature of the Data Center Software. What are USB
On-Board Data Systems
On-Board Data Systems Ph. Armbruster TEC-ED Email: philippe.armbruster@esa.int Slide : 1 Avionics for multi-mission platforms, hard Facts Avionics take an important share of the platform cost Many building
Communication-Based Design
Communication-Based Design Motivation System-level verification of large component-oriented designs will be very costly. We cannot afford to debug interface mismatches between internal components... especially
By Matthew Noonan, Project Manager, Resource Group s Embedded Systems & Solutions
Building Testability into FPGA and ASIC Designs By Matthew Noonan, Project Manager, Resource Group s Embedded Systems & Solutions Introduction This paper discusses how the architecture for FPGAs and ASICs
Digital Control for Space Power Management Devices
Template reference : 100182079N-EN Digital Control for Space Power Management Devices Work conducted under ESA Contract nr.21826/08/nl/lvh DIGITAL POWER CONTROL Management of power devices via digital
The Geostationary Operational Satellite R Series (GOES-R) SpaceWire Implementation
The Geostationary Operational Satellite R Series (GOES-R) SpaceWire Implementation Session: SpaceWire Missions and Applications William H. Anderson NASA Goddard Space Flight Center/MEI Technologies E-mail:
ATMEL SPACEWIRE PRODUCTS FAMILY
ATMEL SPACEWIRE PRODUCTS FAMILY Session: Components Short Paper Nicolas RENAUD, Yohann BRICARD ATMEL Nantes La Chantrerie 44306 NANTES Cedex 3 E-mail: nicolas.renaud@atmel.com, yohann.bricard@atmel.com
A Rapid Prototyping Methodology for Algorithm Development in Wireless Communications
A Rapid Prototyping Methodology for Algorithm Development in Wireless Communications Abstract: Rapid prototyping has become an important means to verify the performance and feasibility of algorithms and
EE595. Part VIII Overall Concept on VHDL. EE 595 EDA / ASIC Design Lab
EE595 Part VIII Overall Concept on VHDL VHDL is a Standard Language Standard in the electronic design community. VHDL will virtually guarantee that you will not have to throw away and re-capture design
Methods and tools for system on chip retargetable parallel programming
St. Petersburg State University of Aerospace Instrumentation Institute of High-Performance omputer and Network Technologies Methods and tools for system on chip retargetable parallel programming Alexey
Testable SOC Design. Sungho Kang
Testable SOC Design Sungho Kang 2001.10.5 Outline Introduction SOC Test Challenges IEEE P1500 SOC Test Strategies Conclusion 2 SOC Design Evolution Emergence of very large transistor counts on a single
Page 1 SPACEWIRE SEMINAR 4/5 NOVEMBER 2003 JF COLDEFY / C HONVAULT
Page 1 SPACEWIRE SEMINAR 4/5 NOVEMBER 2003 JF COLDEFY / C HONVAULT INTRODUCTION The SW IP was developped in the frame of the ESA 13345/#3 contract "Building block for System on a Chip" This presentation
Design and Test Solutions for Networks-on-Chip. Jin-Ho Ahn Hoseo University
Design and Test Solutions for Networks-on-Chip Jin-Ho Ahn Hoseo University Topics Introduction NoC Basics NoC-elated esearch Topics NoC Design Procedure Case Studies of eal Applications NoC-Based SoC Testing
Digital Blocks Semiconductor IP
Digital Blocks Semiconductor IP TFT Controller General Description The Digital Blocks TFT Controller IP Core interfaces a microprocessor and frame buffer memory via the AMBA 2.0 to a TFT panel. In an FPGA,