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



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

Architectures and Platforms

9/14/ :38

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

Digital Systems Design! Lecture 1 - Introduction!!

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

Testing of Digital System-on- Chip (SoC)

Testing & Verification of Digital Circuits ECE/CS 5745/6745. Hardware Verification using Symbolic Computation

Reviving smart card analysis

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

Design and Verification of Nine port Network Router

SDLC Controller. Documentation. Design File Formats. Verification

ECE232: Hardware Organization and Design. Part 3: Verilog Tutorial. Basic Verilog

The Click2NetFPGA Toolchain. Teemu Rinta-aho, Mika Karlstedt, Madhav P. Desai USENIX ATC 12, Boston, MA, 13 th of June, 2012

INTRODUCTION TO DIGITAL SYSTEMS. IMPLEMENTATION: MODULES (ICs) AND NETWORKS IMPLEMENTATION OF ALGORITHMS IN HARDWARE

Module-I Lecture-I Introduction to Digital VLSI Design Flow

Aims and Objectives. E 3.05 Digital System Design. Course Syllabus. Course Syllabus (1) Programmable Logic

HDL Simulation Framework

Seeking Opportunities for Hardware Acceleration in Big Data Analytics

Implementation Details

Verification & Design Techniques Used in a Graduate Level VHDL Course

Digital Design Verification

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

Life Cycle of a Memory Request. Ring Example: 2 requests for lock 17

VHDL GUIDELINES FOR SYNTHESIS

Engineering Change Order (ECO) Support in Programmable Logic Design

The Advanced JTAG Bridge. Nathan Yawn 05/12/09

Hunting Asynchronous CDC Violations in the Wild

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

Agenda. Michele Taliercio, Il circuito Integrato, Novembre 2001

International Workshop on Field Programmable Logic and Applications, FPL '99

Low Cost System on Chip Design for Audio Processing

FSMD and Gezel. Jan Madsen

Xilinx ISE. <Release Version: 10.1i> Tutorial. Department of Electrical and Computer Engineering State University of New York New Paltz

A Methodology and the Tool for Testing SpaceWire Routing Switches Session: SpaceWire test and verification

Fault Modeling. Why model faults? Some real defects in VLSI and PCB Common fault models Stuck-at faults. Transistor faults Summary

Memory Basics. SRAM/DRAM Basics

Header Parsing Logic in Network Switches Using Fine and Coarse-Grained Dynamic Reconfiguration Strategies

Introduction to VLSI Testing

ECE410 Design Project Spring 2008 Design and Characterization of a CMOS 8-bit Microprocessor Data Path

What is a System on a Chip?

Lab 1: Full Adder 0.0

Outline. Introduction. Multiprocessor Systems on Chip. A MPSoC Example: Nexperia DVP. A New Paradigm: Network on Chip

Introduction to Digital System Design

EXPERIMENT 8. Flip-Flops and Sequential Circuits

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

Modeling a GPS Receiver Using SystemC

A Verilog HDL Test Bench Primer Application Note

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

Design-Kits, Libraries & IPs

Hardware Implementation of Improved Adaptive NoC Router with Flit Flow History based Load Balancing Selection Strategy

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

Serial port interface for microcontroller embedded into integrated power meter

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

High-Level Synthesis for FPGA Designs

Introduction to Functional Verification. Niels Burkhardt

Design Verification and Test of Digital VLSI Circuits NPTEL Video Course. Module-VII Lecture-I Introduction to Digital VLSI Testing

AMS Verification at SoC Level: A practical approach for using VAMS vs SPICE views

Assertion Synthesis Enabling Assertion-Based Verification For Simulation, Formal and Emulation Flows

Quartus II Software Design Series : Foundation. Digitale Signalverarbeitung mit FPGA. Digitale Signalverarbeitung mit FPGA (DSF) Quartus II 1

Method for Multiplier Verication Employing Boolean Equivalence Checking and Arithmetic Bit Level Description

EEM870 Embedded System and Experiment Lecture 1: SoC Design Overview

Architectures and Design Methodologies for Micro and Nanocomputing

Reconfigurable Computing. Reconfigurable Architectures. Chapter 3.2

Hardware Virtualization on Dynamically Reconfigurable Processors

IMPLEMENTATION OF BACKEND SYNTHESIS AND STATIC TIMING ANALYSIS OF PROCESSOR LOCAL BUS(PLB) PERFORMANCE MONITOR

Ingar Fredriksen AVR Applications Manager. Tromsø August 12, 2005

EE 42/100 Lecture 24: Latches and Flip Flops. Rev B 4/21/2010 (2:04 PM) Prof. Ali M. Niknejad

A Platform for Visualizing Digital Circuit Synthesis with VHDL

Building an Embedded Processor System on a Xilinx Zync FPGA (Profiling): A Tutorial

Altera Error Message Register Unloader IP Core User Guide

University of Texas at Dallas. Department of Electrical Engineering. EEDG Application Specific Integrated Circuit Design

Redpaper. Performance Metrics in TotalStorage Productivity Center Performance Reports. Introduction. Mary Lovelace

State-of-Art (SoA) System-on-Chip (SoC) Design HPC SoC Workshop

Designing Systems-on-Chip Using Cores

Product Development Flow Including Model- Based Design and System-Level Functional Verification

A Mixed-Signal System-on-Chip Audio Decoder Design for Education

1. True or False? A voltage level in the range 0 to 2 volts is interpreted as a binary 1.

Optimizing Configuration and Application Mapping for MPSoC Architectures

DESIGN AND VERIFICATION OF LSR OF THE MPLS NETWORK USING VHDL

How To Design A Single Chip System Bus (Amba) For A Single Threaded Microprocessor (Mma) (I386) (Mmb) (Microprocessor) (Ai) (Bower) (Dmi) (Dual

Asynchronous IC Interconnect Network Design and Implementation Using a Standard ASIC Flow

GEDAE TM - A Graphical Programming and Autocode Generation Tool for Signal Processor Applications

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

VHDL-Testbench as Executable Specification

Codesign: The World Of Practice

Chapter 13: Verification

Space product assurance

FPGA. AT6000 FPGAs. Application Note AT6000 FPGAs. 3x3 Convolver with Run-Time Reconfigurable Vector Multiplier in Atmel AT6000 FPGAs.

How To Design A Chip Layout

Lesson 7: SYSTEM-ON. SoC) AND USE OF VLSI CIRCUIT DESIGN TECHNOLOGY. Chapter-1L07: "Embedded Systems - ", Raj Kamal, Publs.: McGraw-Hill Education

Designing a System-on-Chip (SoC) with an ARM Cortex -M Processor

IL2225 Physical Design

MICROPROCESSOR. Exclusive for IACE Students iacehyd.blogspot.in Ph: /422 Page 1

Software Defined Radio Architecture for NASA s Space Communications

Modeling Latches and Flip-flops

EE361: Digital Computer Organization Course Syllabus

System-on-Chip Design with Virtual Components

Hello, and welcome to this presentation of the STM32L4 reset and clock controller.

Transcription:

Example-driven Interconnect Synthesis for Heterogeneous Coarse-Grain Reconfigurable Logic Clifford Wolf, Johann Glaser, Florian Schupfer, Jan Haase, Christoph Grimm Computer Technology /99

Overview Ultra-Low-Power Electronics Reconfigurable Modules Structure TR-FSM Design of Reconfigurable Modules Interconnect Generation Interconnect Topology Optimization Algorithm Evaluation Results Full Design Flow Summary Computer Technology Wolf, Glaser, Schupfer, Haase, Grimm 2/19

Ultra-Low-Power Electronics Application: WSN Node in a SoC CPU as Master Sleep, Wakeup Offload-Engines Multiple Modules Reconfigurable Various Applications Adapt to Environment WSN Node CPU Mem RTC SoC SoC Comm. RF Intf. GPIO Sensor Interface ADC RF GPIO ADC Sensor Sensor Power Power Mgmt. Mgmt. Computer Technology Wolf, Glaser, Schupfer, Haase, Grimm 3/19

Reconfigurable Logic Development Pre-Silicon vs. Post-Silicon Fine-Grain vs. Coarse-Grain Heterogeneous Domain Specific Application Class Pre-Silicon Post-Silicon Reconfigurable Circuit Manufacturing Application 1 Application n Bitstream Bitstream Computer Technology Wolf, Glaser, Schupfer, Haase, Grimm 4/19

Structure Interface FSM+D Control, Data, Arithmetic Cell Types FSM Memory Add, Subtract, A-B,... Reconfigurable Routing Cells Bus Intr Clk Reset Config Param FSM A-B P > I/O Computer Technology Wolf, Glaser, Schupfer, Haase, Grimm 5/19

Transition-based Reconfigurable FSM Reconfigurable Cell Focus on Transition Transition Row SSG: State Selection Gate ISM: Input Switching Matrix IPG: Input Pattern Gate NSR: Next State Register VHDL Silicon-proven Inputs ISM ISM ISM n I n T1 n T2 n Tm State n S SSG SSG SSG Clk En En En SR IPG IPG IPG NSR OPR NSR OPR NSR OPR Next State Select Outputs n O Computer Technology Wolf, Glaser, Schupfer, Haase, Grimm 6/19

Design Pre-Silicon Phase Define Application Class Specify Example Applications Common Denominator Pre-Silicon limits Post-Silicon Design Space Future Applications Might need more Resources Oversizing Additional Cell Instances Allow more Connections Application Class App 1 App 2 App 3 Reconfigurable Logic Computer Technology Wolf, Glaser, Schupfer, Haase, Grimm 7/19

Connection Topology Connection Types e.g. Bit, Byte, Word Requirements Random Connections Simple Characterization Allow Optimization Limit Optimization Oversizing Synthesizable Tree Topology Switch Switch Switch Switch C C C C C C C C Parallel Trees All Ports in all Trees Alternate Position Routing in any Tree Computer Technology Wolf, Glaser, Schupfer, Haase, Grimm 8/19

InterSynth: Overview Automatic Interconnect Generation and Optimization Pre-Silicon Input Example Netlists Cell Types Connection Types Output Synthesizable RTL Code Configuration Bitstreams Static Timing Analysis Rules LaTeX TikZ Image Internal Representation Post-Silicon Input Internal Representation Netlist Output Configuration Bitstream Computer Technology Wolf, Glaser, Schupfer, Haase, Grimm 9/19

InterSynth: Algorithm Degrees of Freedom Number of Cells per Type Interconnect Resources Mapping of Cells in Netlist ( Nodes ) to Physical Cells Placement of Physical Cells in Interconnect Tree Optimization Steps Optimize Cell Placement Node-to-Cell Mapping Repeat Until no Further Improvement Optimization Algorithm Modified Kernighan-Lin algorithm Optimization Goal Minimize Interconnect Resources Computer Technology Wolf, Glaser, Schupfer, Haase, Grimm 10/19

Digital Filters Application Class Simple Digital Filters Cell Types Adders Scalers Delays Netlists for Pre-Silicon biquad-df2 fir4-df1 fir4-df2 Extra Netlist for Post-Silicon biquad-df1 2 Parallel Interconnect Trees Computer Technology Wolf, Glaser, Schupfer, Haase, Grimm 11/19

Digital Filters Example Post-Silicon Netlist: biquad-df1 Computer Technology Wolf, Glaser, Schupfer, Haase, Grimm 12/19

Digital Filters Example Higher Order Filters Combine two Stages 16 different Netlists Pre-Silicon: 2-4 Examples enough Computer Technology Wolf, Glaser, Schupfer, Haase, Grimm 13/19

Full Design Flow Pre-Silicon Phase After InterSynth Synthesizable HDL Instantiate Cells Reconfigurable Routing SoC Integration Synthesis Place and Route Chip Input of InterSynth Example Netlists Cell Library App 1 App 2 App 3 Netlist 1 Netlist 2 InterSynth Synthesis P&R Netlist 3 SoC Cell Library Computer Technology Wolf, Glaser, Schupfer, Haase, Grimm 14/19

Full Design Flow Specification Easy to translate to netlist No new type of description Verifiable VHDL, Verilog Special Synthesis Coarse Grain Identify Cells FSM Extraction Bitstream Generation App 1 App 2 App 3 Netlist 1 Netlist 2 InterSynth Synthesis Netlist 3 SoC Cell Library P&R Computer Technology Wolf, Glaser, Schupfer, Haase, Grimm 15/19

yosys Yosys Open SYnthesis Suite Extensible RTL Synthesis Verilog (VHDL will follow) Coarse-grain and Fine-grain Focus on easy extensibility Preserve HDL Information Structure Frontend Multiple Passes Backend Currently under development Computer Technology Wolf, Glaser, Schupfer, Haase, Grimm 16/19

yosys Abstract HDL Constructs RTLIL RTL Intermediate Language Simple Internal Representation Modified by Synthesis Passes Passes Transformation of High-Level Constructs to Low-Level Constructs Optimization Coarse-Grain Mapping Passes Verilog HDL Code Frontend AST Representation AST Synthesis RTLIL Representation Backend Output Netlist Computer Technology Wolf, Glaser, Schupfer, Haase, Grimm 17/19

Full Design Flow Example Applications Coarse Grain Synthesis Cell Library Verification Simulation Equivalence Checking Wrapper Configuration Pre-Silicon Post-Silicon Sim EC Sim Sim Sim App 1 App 2 App 3 Netlist 1 yosys Coarse-Grain Mapping Netlist 2 InterSynth Synthesis P&R Netlist 3 SoC Cell Library Sim Computer Technology Wolf, Glaser, Schupfer, Haase, Grimm 18/19

Summary Ultra-Low-Power Electronics CPU Offload-Engines Reconfigurable Modules Interconnect Generation Coarse-Grain Synthesis Full Design Flow Future Work yosys VHDL Frontend More on Coarse-Grain Synthesis Computer Technology Wolf, Glaser, Schupfer, Haase, Grimm 19/19