FPGA Design Process Checklist

Similar documents
Policy-Based RTL Design

INF3430 Clock and Synchronization

ERAU the FAA Research CEH Tools Qualification

The Need for Gate-Level CDC

EECS150 - Digital Design Lecture 28 Course Wrap Up. Recap 1

Digital Systems Design

ESE 570: Digital Integrated Circuits and VLSI Fundamentals

Automated FSM Error Correction for Single Event Upsets

STRS COMPLIANT FPGA WAVEFORM DEVELOPMENT

Eta Compute Self-timed ARM M3 Microcontroller for Energy Harvested Applications

Making your ISO Flow Flawless Establishing Confidence in Verification Tools

Partial Reconfigurable Implementation of IEEE802.11g OFDM

Timing Issues in FPGA Synchronous Circuit Design

EECS 427 Lecture 21: Design for Test (DFT) Reminders

Single Event Transient Effects on Microsemi ProASIC Flash-based FPGAs: analysis and possible solutions

Enabling Model-Based Design for DO-254 Compliance with MathWorks and Mentor Graphics Tools

Lecture 1. Tinoosh Mohsenin

Keysight Technologies Boundary Scan DFT Guidelines for Good Chain Integrity and Test Coverage. Application Note

Datorstödd Elektronikkonstruktion

1/19/2012. Timing in Asynchronous Circuits

Advanced Digital Design

POWER GATING. Power-gating parameters

Welcome to 6.111! Introductory Digital Systems Laboratory

Chapter 1 Introduction

Computer Aided Design of Electronics

DYNAMICALLY RECONFIGURABLE PWM CONTROLLER FOR THREE PHASE VOLTAGE SOURCE INVERTERS. In this Chapter the SPWM and SVPWM controllers are designed and

2014 Paper E2.1: Digital Electronics II

EC 1354-Principles of VLSI Design

EECS150 Spring 2007 Lab Lecture #5. Shah Bawany. 2/16/2007 EECS150 Lab Lecture #5 1

Lecture 3, Handouts Page 1. Introduction. EECE 353: Digital Systems Design Lecture 3: Digital Design Flows, Simulation Techniques.

To Boldly Do What Can t Be Done: Asynchronous Design for All. Kenneth S. Stevens University of Utah

Design and Implementation of Universal Serial Bus Transceiver with Verilog

Embedded Test System. Design and Implementation of Digital to Analog Converter. TEAM BIG HERO 3 John Sopczynski Karim Shik-Khahil Yanzhe Zhao

Understand that technology has different levels of maturity and that lower maturity levels come with higher risks.

Modernised GNSS Receiver and Design Methodology

Evaluation of Power Costs in Applying TMR to FPGA Designs

Course Outcome of M.Tech (VLSI Design)

Statistical Static Timing Analysis Technology

I hope you have completed Part 2 of the Experiment and is ready for Part 3.

Abstract. 1. Introduction

Example 1: Trading ASIC and FPGA Considerations for System Insertion

NGP-N ASIC. Microelectronics Presentation Days March 2010

Managing Metastability with the Quartus II Software

VLSI Physical Design Prof. Indranil Sengupta Department of Computer Science and Engineering Indian Institute of Technology, Kharagpur

A Power-Efficient Design Approach to Radiation Hardened Digital Circuitry using Dynamically Selectable Triple Modulo Redundancy

XC9536 In-System Programmable CPLD. Power Management. Features. Description. December 4, 1998 (Version 5.0) 1 1* Product Specification

STM RH-ASIC capability

Digital Sub-System. Dorothy Gordon. Cosmic RAy Telescope for the Effects of Radiation

Object-oriented Analysis and Design

Lab 2.2 Custom slave programmable interface

NOTE: This product has been replaced with UT28F256QLE or SMD device types 09 and 10.

Introduction to co-simulation. What is HW-SW co-simulation?

A Level-Encoded Transition Signaling Protocol for High-Throughput Asynchronous Global Communication

Welcome to 6.111! Introductory Digital Systems Laboratory

Low Power Design Methods: Design Flows and Kits

FPGA & Pulse Width Modulation. Digital Logic. Programing the FPGA 7/23/2015. Time Allotment During the First 14 Weeks of Our Advanced Lab Course

LSI Design Flow Development for Advanced Technology

SpectraTronix C700. Modular Test & Development Platform. Ideal Solution for Cognitive Radio, DSP, Wireless Communications & Massive MIMO Applications

High Data Rate QPSK Modulator with CCSDS Punctured FEC channel Coding for Geo-Imaging Satellite

Electronic Concepts and Troubleshooting 101. Experiment 1

CHAPTER III THE FPGA IMPLEMENTATION OF PULSE WIDTH MODULATION

IEEE Std Implementation for a XAUI-to-Serial 10-Gbps Transceiver

Lecture 1: Digital Systems and VLSI

ASICs Concept to Product

Practical Concurrent ASIC and System Design and Verification

An Overview of the NASA Goddard Methodology for FPGA Radiation Testing and Soft Error Rate (SER) Prediction

Lecture 10. Circuit Pitfalls

PE713 FPGA Based System Design

UT54ACS164245SEI Schmitt CMOS 16-bit Bidirectional MultiPurpose Transceiver Datasheet

A-PDF Split DEMO : Purchase from to remove the watermark 114 FSM

Firmware Development of the LAICE Instrument Interface Board (LIIB)

Introduction to CMC 3D Test Chip Project

XC95144XV High-Performance CPLD R JTAG Port 1 3 JTAG Controller In-System Programming Controller Block 1 1 to /GCK /GSR /GTS Blocks FastCONNECT

Digital Payload Modeling for Space Applications

Master Op-Doc/Test Plan

Advanced FPGA Design. Tinoosh Mohsenin CMPE 491/691 Spring 2012

Architectures and Algorithms for Synthesizable Embedded Programmable Logic Cores

Concrete Architecture of SuperTuxKart

Managing Cross-talk Noise

Experience at INFN Padova on constrained PCB design Roberto Isocrate INFN-Padova

Systems Engineering Overview. Axel Claudio Alex Gonzalez

GSFC CONFIGURATION MANAGEMENT MANUAL

Programmable Interconnect. CPE/EE 428, CPE 528: Session #13. Actel Programmable Interconnect. Actel Programmable Interconnect

CMPE490/450 FINAL REPORT DYNAMIC CAMERA STABILIZATION SYSTEM GROUP 7. DAVID SLOAN REEGAN WOROBEC

CHAPTER 4 GALS ARCHITECTURE

Sequential Logic Circuits

Digital Systems Laboratory

UNISEC Europe CSID An Advanced Efficient Electrical Interface Standard for CubeSats

QUIET. Appendix D. D.1 Bias Electronics

Design for Testability & Design for Debug

Verification of Digitally Calibrated Analog Systems with Verilog-AMS Behavioral Models

XC9572XV High-performance CPLD R JTAG Port 1 3 JTAG Controller In-System Programming Controller Block 1 Macrocells 1 to 18 /GCK /GSR /GTS

TOTAL IONIZING DOSE TEST REPORT No. 03T-RT54SX7S-T25KS006 April 25, 2003

Validation and Verification of Field Programmable Gate Array based systems

CS/EE Homework 9 Solutions

7. Introduction to mixed-signal testing using the IEEE P standard

The challenges of low power design Karen Yorav

ISSN: ISO 9001:2008 Certified International Journal of Engineering and Innovative Technology (IJEIT) Volume 4, Issue 11, May 2015

Technology Timeline. Transistors ICs (General) SRAMs & DRAMs Microprocessors SPLDs CPLDs ASICs. FPGAs. The Design Warrior s Guide to.

UT90nHBD Hardened-by-Design (HBD) Standard Cell Data Sheet February

Transcription:

FPGA Design Process Checklist Martin Fraeman Pete Eisenreich JHU/APL Laurel, MD 9/6/04 MAPLD 2004 1

Checklist Motivation Develop a process to consistently design FPGAs for space applications Useful to wide range of staff Guide/reminder for experienced FPGA developers Transition aid for designers new to FPGA Training aid for inexperienced staff Evolved from experience developing several spacecraft First upfront applications now in progress May also be applied to ASIC design 9/6/04 MAPLD 2004 2

Checklist Goals Minimum Requirements for Hi-Rel apps Minimally burdensome to small or quick programs Program may require more Team may require more You have the freedom to do more if necessary Technology Independent Design rules for Actel 1020 different than 54SX-S or Virtex II Peer organizations Design Processes from mid 90's, ISO9000 Based on Actel 1020, not updated in 8 years Contain requirements that do not universally apply Either schematic or HDL Use technology dependent supplements when needed 9/6/04 MAPLD 2004 3

Development Flow 9/6/04 MAPLD 2004 4

Requirement Requirements Requirements must be defined, vetted, and documented Memo to file, requirements review, or conceptual design review presentation material Intent is to write it down without adding additional development burden Keep up to date and distribute Firm chip spec is rare; FPGA spec developed concurrently so requirements are often a moving target 9/6/04 MAPLD 2004 5

Requirement Contents Functions What not how Identify critical functions and effect of failure Interface definitions Signal levels Timing Circuit def ns Software Data formats Impact of failures Environment constraints Radiation Mitigation strategies for SEU, total dose Thermal Mission duration Testability provisions Scan based test port Board JTAG chain Constraints imposed by target technology/tools Target part SSO impact on pinout Timing methodology CAD tool flow 9/6/04 MAPLD 2004 6

Requirements Review Discuss FPGA req ts with all concerned Board, component, subsystem, system, and software engineers Others with interfaces to the FPGA Informal review, not a power point contest; Paper and sketches are OK May be delayed until conceptual design completed or as part of board requirements review TBDs and Tentative Requirements are OK. State what s understood and what still needs to be figured out Understand why of req ts to distinguish between firm, goal, desire, assumption Reduce to minimum Avoid over-performance, unneeded features Keep up to date as design works out details 9/6/04 MAPLD 2004 7

Conceptual Design Consider alternate design approaches to satisfy the requirements Outputs Detailed block diagram Functional block descriptions May be appropriate to develop requirements and conceptual design together 9/6/04 MAPLD 2004 8

Conceptual Design Factors FPGA Related Evaluate and select target technology Capacity, speed Environmental Board design impact Thoroughly understand app notes, alerts, warnings, especially for space applications How implementations fit target FPGA architecture IP availability, quality, suitability, prior designs, other reuse Functions needing special attention SEU mitigation SSO impact on pinout High speed serial interfaces Choose CAE tools Capability Availability Productivity Teams expertise in tools and need for training 9/6/04 MAPLD 2004 9

Conceptual Design Factors Project Related KISS Easier to get right Easier to know its right Easier to know its reliable Breadboard things To clarify vendor docs Check performance Verify requirement is feasible Simulation/test approach to verify req ts met Can satisfying requirements still meet schedule? Then one or the other MUST change! Plan for that now or watch it happen anyway 9/6/04 MAPLD 2004 10

Detailed Design Terminated after resolution of action items raised at Engineering Design Review (EDR) EDR must be completed before programming flight parts Frequently breadboard/engineering model will have been built and debugged EDR is late in development so significant problems exposed are tough to fix Requirement review should have caught those sorts of problems Consider informal reviews during breadboard development 9/6/04 MAPLD 2004 11

Global net distribution Edge sensitive races caused by routing Decode noise, SEU impact on async inputs Target tech SEU rates SEU mitigation Target tech SEU rates Critical circuits (config reg, state reg) SEU rates and impact Effect on combinational circuits like async reset FSM invalid state response Detailed Design Issues For EDR Other radiation effects I/O impact on internal/board routing I/O and SSO bounce Programmed I/O modes (threshold, level, slew, termination, ) I/O state impact on I/F during power on/off Worst case simulation (process, temp, radiation) External failure impact through I/O on FPGA 9/6/04 MAPLD 2004 12

Detailed Design Good Design Practices Modular design to ease testability and simulation Use spare pins to increase observability during debug and test Build test board to verify over temp, volt Add test points to flight board to help debug and test Make sure board test verifies FPGA functions Verify margins on critical signals Avoid using probe/diagnostic pins for application signals Do a static timing analysis in both worst and best case corners Code coverage analysis of simulation and test vectors 9/6/04 MAPLD 2004 13

Engineering Design Review Goals Present updated requirements Functional, program, and organization process Use verification matrix to show how met Must be readable by the uninitiated Must include clear block diagrams HDL must show as synthesized logic for critcal/interesting modules Review board Chair independent (not working on same board) At least one member familiar with board/box Publish: presentation, minutes, action items, responses 9/6/04 MAPLD 2004 14

Engineering Design Review Design Walkthrough Detailed Design EDR issues As synthesized gate level schematics for critical circuits with source code How FSM illegal states are handled Decode glitches/seus don t effect asynchronous or edge sensitive circuits Appropriate use of global clock signals Asynchronous set/reset inputs are glitch free Power on reset and how sync d with clocks Resynchronization across clock boundries SEU susceptibility or immunity where important Other circuits of interest, particularly for SEU review Worst/Best case simulations/timing analysis results concentrating on external interfaces 9/6/04 MAPLD 2004 15

Formal Documentation Organizational tracking number Drawing number at APL Store/Archive all design files under drawing number all design files includes Hierarchy of files sufficient to reconstruct design Tool independent format such as text or pdf List of design tools and version # Tool dependent key files (fuse or memory map) Any other information deemed important by the designer 9/6/04 MAPLD 2004 16

Other Documentation Design review material (especially EDR) Encouraged to also prepare User guide Documentation for module with potential for reuse 9/6/04 MAPLD 2004 17

Options to Consider Centralized flight parts programming Independently verify that flight version matches archived version Post-programming electrical test Controversial consensus of users heading towards no Some vendors strongly against Future Revisions to FPGA Process Same review team follows the design thru several reviews? Suggestions? 9/6/04 MAPLD 2004 18