Download The

Total Page:16

File Type:pdf, Size:1020Kb

Download The Techniques for Enabling In-System Observation-based Debug of High-Level Synthesis Circuits on FPGAs by Jeffrey Goeders BASc Computer Engineering, University Toronto, 2010 MASc Computer Engineering, The University of British Columbia, 2012 A THESIS SUBMITTED IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF Doctor of Philosophy in THE FACULTY OF GRADUATE AND POSTDOCTORAL STUDIES (Electrical and Computer Engineering) The University of British Columbia (Vancouver) September 2016 c Jeffrey Goeders, 2016 Abstract High-level synthesis (HLS) is a rapidly growing design methodology that allows designers to create digital circuits using a software-like specification language. HLS promises to increase the productivity of hardware designers in the face of steadily increasing circuit sizes, and broaden the availability of hardware acceleration, allowing software designers to reap the benefits of hardware implementation. One roadblock to HLS adoption is the lack of an in-system debugging infrastructure. Existing debug technologies are limited to software emulation and cannot be used to find bugs that only occur in the final operating environment. This dissertation investigates techniques for observing HLS circuits, allowing designers to debug the circuit in the context of the original source code, while it executes at-speed in the normal operating environment. This dissertation is comprised of four major contributions toward this goal. First, we develop a debugging framework that provides users with a basic software-like debug experience, including single- stepping, breakpoints and variable inspection. This is accomplished by automatically inserting special- ized debug instrumentation into the user’s circuit, allowing an external debugger to observe the circuit. Debugging at-speed is made possible by recording circuit execution in on-chip memories and retrieving the data for offline analysis. The second contribution contains several techniques to optimize this data capture logic. Program analysis is performed to develop circuitry that is tailored to the user’s individual design, capturing a 127x longer execution trace than an embedded logic analyzer. The third contribution presents debugging techniques for multithreaded HLS systems. We develop a technique to observe only user-selected points in the program, allowing the designer to sacrifice com- plete observability in order to observe specific points over a longer period of execution. We present an ii algorithm to allow hardware threads to share signal-tracing resources, increasing the captured execution trace by 4x for an eight thread system. The final contribution is a metric to measure observability in HLS circuits. We use the metric to explore trade-offs introduced by recent in-system debugging techniques, and show how different approaches affect the likelihood that variable values will be available to the user, and the duration of execution that can be captured. iii Preface The contributions presented in this thesis have been published in journals and conference proceedings [1, 2, 4, 6], as well as a workshops paper [3], and a book chapter [5]. Content from Chapter 3 was published as a conference paper [1] and a workshop paper [3]. Large portions of Chapter 4 were published in paper [2]. Papers [1] and [2] were combined and extended with the remaining content from Chapter 4 as the journal article in [6]. These contributions were proto- typed in an open-source academic tool, which was described in the book chapter in [5]. Content from Chapter 5 was published as a conference paper [4]. Content from Chapter 6 was also published as a conference paper [7]. In all of these contributions, I was primarily responsible for conducting the research, prototyping techniques, and performing experiments. This was done under the guidance and direction of my advisor, Dr. Steve Wilton. Dr Wilton also provided editorial support for all manuscripts. [1] Jeffrey Goeders and Steven J. E. Wilton. “Effective FPGA debug for high-level synthesis gen- erated circuits”. In: International Conference on Field Programmable Logic and Applications. Sept. 2014, pp. 1–8. [2] Jeffrey Goeders and Steven J. E. Wilton. “Using Dynamic Signal-Tracing to Debug Compiler- Optimized HLS Circuits on FPGAs”. In: International Symposium on Field-Programmable Cus- tom Computing Machines. May 2015, pp. 127–134. [3] Jeffrey Goeders and Steven J. E. Wilton. “Allowing Software Developers to Debug HLS Hard- ware”. In: International Workshop on FPGAs for Software Programmers. Aug. 2015. iv [4] Jeffrey Goeders and Steven J. E. Wilton. “Using Round-Robin Tracepoints to Debug Multi- threaded HLS Circuits on FPGAs”. In: International Conference on Field-Programmable Tech- nology. Dec. 2015, pp. 40–47. [5] Andrew Canis, Jongsok Choi, Blair Fort, Bain Syrowik, Ruo Long Lian, Yuting Chen, Hsuan Hsiao, Jeffrey Goeders, Stephen Brown, and Jason Anderson. “LegUp high-level synthesis”. In: Chapter in FPGAs for Software Engineers. Springer, 2016. [6] Jeffrey Goeders and Steven J.E. Wilton. “Signal-Tracing Techniques for In-System FPGA De- bugging of High-Level Synthesis Circuits”. In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2016). To be published in 2016. [7] Jeffrey Goeders and Steven J. E. Wilton. “Quantifying Observability for In-System Debug of High-Level Synthesis Circuits”. In: International Conference on Field Programmable Logic and Applications. Aug. 2016. v Table of Contents Abstract . ii Preface . iv Table of Contents . vi List of Tables . xi List of Figures . xii Glossary . xiv Acknowledgments . xvi 1 Introduction . 1 1.1 Motivation . 1 1.1.1 The Increasing Demand for High-Level Synthesis . 1 1.1.2 The Need for In-System Debugging of HLS Circuits . 3 1.2 Challenges and Objectives . 6 1.2.1 Challenges of Source-Level, In-System Debugging . 6 1.2.2 Research Objectives . 6 1.3 Contributions . 7 1.3.1 A Source-Level, In-System HLS Debugging Framework . 8 1.3.2 Optimizing Data Capture . 9 1.3.3 Debugging Parallel Systems . 10 1.3.4 Quantifying Observability . 11 1.4 Organization . 12 2 Background . 14 2.1 Current Approaches for Debugging HLS Circuits . 14 2.1.1 Debugging and Validation Scenarios . 14 vi 2.1.2 Debugging by Software Emulation . 15 2.1.3 Debugging by Hardware Simulation . 17 2.1.4 In-System Hardware Debugging . 18 2.1.5 Filling a Need: Source-Level, In-System Debugging . 20 2.2 In-System Hardware Debug Techniques . 20 2.2.1 Scan-based Debugging . 21 2.2.2 Trace-based Debugging . 21 2.3 High-Level Synthesis . 24 2.3.1 History and Motivation . 24 2.3.2 Present-Day HLS Tools . 25 2.3.3 The HLS Flow . 27 2.4 Related Work . 33 2.4.1 In-System HLS Debugging . 33 2.4.2 Debugging Optimized Software . 38 2.5 Approaches and Assumptions In This Work . 39 2.5.1 Context with Related Work . 39 2.5.2 Fault Model . 40 2.6 Summary . 42 3 The Debugging Framework . 43 3.1 The Debugging Framework . 44 3.1.1 Adding Debug to the HLS Flow . 44 3.1.2 Modes of Operation . 45 3.1.3 Observability-Based Debug . 47 3.1.4 Debugging Context . 48 3.2 Mapping Software to Hardware . 49 3.2.1 Scope of Mapping . 49 3.2.2 Control Flow . 50 3.2.3 Data Flow . 50 3.2.4 Required Modifications to the HLS Tool . 53 3.2.5 Properties of Benchmark Circuits . 53 3.3 Circuit Instrumentation . 54 3.3.1 Instrumentation Components . 56 3.3.2 Required Modifications to the HLS Tool . 56 3.4 The Debugger Application . 57 3.4.1 Gantt Chart . 59 3.4.2 Debug Modes . 59 3.4.3 Instruction-Level Parallelism . 59 vii 3.4.4 IR Instructions . 60 3.4.5 Compiler Optimizations . 61 3.5 Summary . 62 4 Optimizing Data Capture . 64 4.1 Baseline Architecture . 65 4.2 Split Trace Buffer Architecture . 66 4.3 Control Trace Buffer Optimizations . 67 4.4 Datapath Registers Trace Buffer Optimizations . 69 4.4.1 Dynamic Tracing Architecture . 69 4.4.2 Delay-Worst Signal-Trace Scheduling . 70 4.4.3 Delay-All Signal-Trace Scheduling . 74 4.4.4 Dual-Ported Memory Signal-Trace Scheduling . 74 4.4.5 Dynamic Tracing Results . 74 4.5 Memory-Update Trace Buffer Optimization . 75 4.5.1 Case 1 – Tracing a Single Memory Controller . 76 4.5.2 Case 2 – Multiple Memory Controllers, Combined Tracing with the Datapath Registers . 79 4.5.3 Case 3 – Substitute Memory Controller Signals with IR Registers . 79 4.5.4 Case 4 – When Possible, Use Memory Controller Signals to Deduce IR Signals 81 4.6 Challenges of a Split Buffer Architecture . 82 4.6.1 Event Ordering . 83.
Recommended publications
  • Review of FPD's Languages, Compilers, Interpreters and Tools
    ISSN 2394-7314 International Journal of Novel Research in Computer Science and Software Engineering Vol. 3, Issue 1, pp: (140-158), Month: January-April 2016, Available at: www.noveltyjournals.com Review of FPD'S Languages, Compilers, Interpreters and Tools 1Amr Rashed, 2Bedir Yousif, 3Ahmed Shaban Samra 1Higher studies Deanship, Taif university, Taif, Saudi Arabia 2Communication and Electronics Department, Faculty of engineering, Kafrelsheikh University, Egypt 3Communication and Electronics Department, Faculty of engineering, Mansoura University, Egypt Abstract: FPGAs have achieved quick acceptance, spread and growth over the past years because they can be applied to a variety of applications. Some of these applications includes: random logic, bioinformatics, video and image processing, device controllers, communication encoding, modulation, and filtering, limited size systems with RAM blocks, and many more. For example, for video and image processing application it is very difficult and time consuming to use traditional HDL languages, so it’s obligatory to search for other efficient, synthesis tools to implement your design. The question is what is the best comparable language or tool to implement desired application. Also this research is very helpful for language developers to know strength points, weakness points, ease of use and efficiency of each tool or language. This research faced many challenges one of them is that there is no complete reference of all FPGA languages and tools, also available references and guides are few and almost not good. Searching for a simple example to learn some of these tools or languages would be a time consuming. This paper represents a review study or guide of almost all PLD's languages, interpreters and tools that can be used for programming, simulating and synthesizing PLD's for analog, digital & mixed signals and systems supported with simple examples.
    [Show full text]
  • Reconfigurable Computing in the New Age of Parallelism
    Reconfigurable Computing in the New Age of Parallelism Walid Najjar and Jason Villarreal Department of Computer Science and Engineering University of California Riverside Riverside, CA 92521, USA {najjar,villarre}@cs.ucr.edu Abstract. Reconfigurable computing is an emerging paradigm enabled by the growth in size and speed of FPGAs. In this paper we discuss its place in the evolution of computing as a technology as well as the role it can play in the cur- rent technology outlook. We discuss the evolution of ROCCC (Riverside Opti- mizing Compiler for Configurable Computing) in this context. Keywords: Reconfigurable computing, FPGAs. 1 Introduction Reconfigurable computing (RC) has emerged in recent years as a novel computing paradigm most often proposed as complementing traditional CPU-based computing. This paper is an attempt to situate this computing model in the historical evolution of computing in general over the past half century and in doing so define the parameters of its viability, its potentials and the challenges it faces. In this section we briefly summarize the main factors that have contributed to the current rise of RC as a computing paradigm. The RC model, its potentials and chal- lenges are described in Section 2. Section 3 describes the ROCCC 2.0 (Riverside Optimizing Compiler for Configurable Computing), a C to HDL compilation tool who objective is to raise the programming abstraction level for RC while providing the user with both a top down and a bottom-up approach to designing FPGA-based code accelerators. 1.1 The Role of the von Neumann Model Over a little more than half a century, computing has emerged from non-existence, as a technology, to being a major component in the world’s economy.
    [Show full text]
  • PACT HDL: AC Compiler Targeting Asics and Fpgas With
    PACT HDL: A C Compiler Targeting ASICs and FPGAs with Power and Performance Optimizations* Alex Jones Debabrata Bagchi Satrajit Pal Xiaoyong Tang Alok Choudhary Prith Banerjee Center for Parallel and Distributed Computing Department of Electrical and Computer Engineering Technological Institute, Northwestern University 2145 Sheridan Road, Evanston, IL 60208-3118 Phone: (847) 491-3641 Fax: (847) 491-4455 Email: {akjones, bagchi, satrajit, tang, choudhar, banerjee}@ece.northwestern.edu ABSTRACT 1. INTRODUCTION Chip fabrication technology continues to plunge deeper into sub- As chip fabrication processes progress deep into the sub-micron micron levels requiring hardware designers to utilize ever- level and Integrated Circuits (ICs) and Field Programmable Gate increasing amounts of logic and shorten design time. Toward that Arrays (FPGAs) can support larger and larger amounts of logic, end, high-level languages such as C/C++ are becoming popular system designers require increasingly high-level tools to keep up. for hardware description and synthesis in order to more quickly Recently, industry has targeted C/C++ and variants as potential leverage complex algorithms. Similarly, as logic density long-term replacements for Hardware Description Languages increases due to technology, power dissipation becomes a (HDLs) such as VHDL and Verilog currently employed for progressively more important metric of hardware design. PACT today’s hardware design. Also, as technologies increase in HDL, a C to HDL compiler, merges automated hardware density in both the fabricated and reconfigurable areas, power- synthesis of high-level algorithms with power and performance consumption becomes a progressively more important problem. optimizations and targets arbitrary hardware architectures, While some work has been done in targeting C/C++ as an HDL particularly in a System on a Chip (SoC) setting that incorporates and considering power-consumption in hardware synthesis, reprogrammable and application-specific hardware.
    [Show full text]
  • Embedded Processing Using Fpgas Agenda
    Embedded Processing Using FPGAs Agenda • Why FPGA Platform Based Embedded Processing • Embedded Use Models And Their FPGA Based Solutions • Architecture/Topology Choices • A Reoccurring Question: Hardware Or Software • Reconfigurable Hardware • Tool Flows For FPGA Based Embedded Systems 2 - Embedded Processing using FPGAs www.xilinx.com Agenda • Why FPGA Platform Based Embedded Processing • Embedded Use Models And Their FPGA Based Solutions • Architecture/Topology Choices • A Reoccurring Question: Hardware Or Software • Reconfigurable Hardware • Tool Flows For FPGA Based Embedded Systems 3 - Embedded Processing using FPGAs www.xilinx.com Why Use Processors In the First Place • Microcontrollers (µC) and Microprocessors (µP) Provide a Higher Level of Design Abstraction – Most µC functions can be implemented using VHDL or Verilog - downsides are parallelism & complexity – Using C/C++ abstraction & serial execution make certain functions much easier to implement in a µC • Discrete µCs are Inexpensive and Widely Used – µCs have years of momentum and software designers have vast experience using them 4 - Embedded Processing using FPGAs www.xilinx.com Why Embedded Design using FPGAs In Addition To The Universal Drive Towards Smaller Cheaper Faster With Less Power…. 1 Difficult to Find the Required Mix of Peripherals in Off the Shelf (OTS) Microcontroller Solutions •2 Selecting a Single Processor Core with Long Term Solution Viability is Difficult at Best •3 Without Direct Ownership of the Processing Solution, Obsolescence is Always a Concern
    [Show full text]
  • HDL and Programming Languages ■ 6 Languages ■ 6.1 Analogue Circuit Design ■ 6.2 Digital Circuit Design ■ 6.3 Printed Circuit Board Design ■ 7 See Also
    Hardware description language - Wikipedia, the free encyclopedia 페이지 1 / 11 Hardware description language From Wikipedia, the free encyclopedia In electronics, a hardware description language or HDL is any language from a class of computer languages, specification languages, or modeling languages for formal description and design of electronic circuits, and most-commonly, digital logic. It can describe the circuit's operation, its design and organization, and tests to verify its operation by means of simulation.[citation needed] HDLs are standard text-based expressions of the spatial and temporal structure and behaviour of electronic systems. Like concurrent programming languages, HDL syntax and semantics includes explicit notations for expressing concurrency. However, in contrast to most software programming languages, HDLs also include an explicit notion of time, which is a primary attribute of hardware. Languages whose only characteristic is to express circuit connectivity between a hierarchy of blocks are properly classified as netlist languages used on electric computer-aided design (CAD). HDLs are used to write executable specifications of some piece of hardware. A simulation program, designed to implement the underlying semantics of the language statements, coupled with simulating the progress of time, provides the hardware designer with the ability to model a piece of hardware before it is created physically. It is this executability that gives HDLs the illusion of being programming languages, when they are more-precisely classed as specification languages or modeling languages. Simulators capable of supporting discrete-event (digital) and continuous-time (analog) modeling exist, and HDLs targeted for each are available. It is certainly possible to represent hardware semantics using traditional programming languages such as C++, although to function such programs must be augmented with extensive and unwieldy class libraries.
    [Show full text]
  • Evaluation of the Hardwired Sequence Control System Generated by High-Level Synthesis,” Proc
    This is the accepted version of the following article: Naoki Fujieda, Shuichi Ichikawa, Yoshiki Ishigaki, and Tasuku Tanaka, “Evaluation of the hardwired sequence control system generated by high-level synthesis,” Proc. 2017 IEEE International Symposium on Industrial Electronics (ISIE 2017) (06/2017), which has been published in final form at http://dx.doi.org/10.1109/ISIE.2017.8001426. ⃝c 2017 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. Evaluation of the hardwired sequence control system generated by high-level synthesis Naoki Fujieda, Shuichi Ichikawa, Yoshiki Ishigaki, and Tasuku Tanaka Department of Electrical and Electronic Information Engineering, Toyohashi University of Technology, Toyohashi, Aichi, Japan [email protected] (Naoki Fujieda), [email protected] (Shuichi Ichikawa) Abstract—This study presents the application of the commer- because the logic circuit is more difficult to target for analysis cial High Level Synthesis (HLS) to a hardwired control appli- and duplication than software. cation with quantitative comparison to the traditional approach that uses logic synthesis with HDL. Though the derived circuits In early studies, Hardware Description Languages (HDL) from HLS are comparable to that of logic synthesis, the design and logic synthesis systems were used to generate a hardwired trade-offs in HLS are difficult to control. This study also presents control circuit.
    [Show full text]
  • An Automated Flow to Generate Hardware Computing Nodes from C for an FPGA-Based MPI Computing Network
    An Automated Flow to Generate Hardware Computing Nodes from C for an FPGA-Based MPI Computing Network by D.Y. Wang A THESIS SUBMITTED IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF BACHELOR OF APPLIED SCIENCE DIVISION OF ENGINEERING SCIENCE FACULTY OF APPLIED SCIENCE AND ENGINEERING UNIVERSITY OF TORONTO Supervisor: Paul Chow April 2008 Abstract Recently there have been initiatives from both the industry and academia to explore the use of FPGA-based application-specific hardware acceleration in high-performance computing platforms as traditional supercomputers based on clusters of generic CPUs fail to scale to meet the growing demand of computation-intensive applications due to limitations in power consumption and costs. Research has shown that a heteroge- neous system built on FPGAs exclusively that uses a combination of different types of computing nodes including embedded processors and application-specific hardware accelerators is a scalable way to use FPGAs for high-performance computing. An ex- ample of such a system is the TMD [11], which also uses a message-passing network to connect the computing nodes. However, the difficulty in designing high-speed hardware modules efficiently from software descriptions is preventing FPGA-based systems from being widely adopted by software developers. In this project, an auto- mated tool flow is proposed to fill this gap. The AUTO flow is developed to auto- matically generate a hardware computing node from a C program that can be used directly in the TMD system. As an example application, a Jacobi heat-equation solver is implemented in a TMD system where a soft processor is replaced by a hardware computing node generated using the AUTO flow.
    [Show full text]
  • Advances in Architectures and Tools for Fpgas and Their Impact on the Design of Complex Systems for Particle Physics
    Advances in Architectures and Tools for FPGAs and their Impact on the Design of Complex Systems for Particle Physics Anthony Gregersona, Amin Farmahini-Farahania, William Plishkerb, Zaipeng Xiea, Katherine Comptona, Shuvra Bhattacharyyab, Michael Schultea a University of Wisconsin - Madison b University of Maryland - College Park fagregerson, farmahinifar, [email protected] fplishker, [email protected] fcompton, [email protected] Abstract these trends has been a rapid adoption of FPGAs in HEP elec- tronics. A large proportion of the electronics in the Compact The continual improvement of semiconductor technology has Muon Solenoid Level-1 Trigger, for example, are based on FP- provided rapid advancements in device frequency and density. GAs, and many of the remaining ASICs are scheduled to be Designers of electronics systems for high-energy physics (HEP) replaced with FPGAs in proposed upgrades [1]. have benefited from these advancements, transitioning many de- signs from fixed-function ASICs to more flexible FPGA-based Improvements in FPGA technology are not likely to end platforms. Today’s FPGA devices provide a significantly higher soon. Today’s high-density FPGAs are based on a 40-nm sil- amount of resources than those available during the initial Large icon process and already contain an order of magnitude more Hadron Collider design phase. To take advantage of the ca- logic than the FPGAs available at planning stage of the Large pabilities of future FPGAs in the next generation of HEP ex- Hadron Collider’s electronics. 32 and 22 nm silicon process periments, designers must not only anticipate further improve- technologies have already been demonstrated to be feasible; ments in FPGA hardware, but must also adopt design tools and as FPGAs migrate to these improved technologies their logic methodologies that can scale along with that hardware.
    [Show full text]
  • The GENCOD Project: Automated Generation of Hardware Code For
    The GENCOD project : Automated generation of Hardware code for safety critical applications on FPGA targets Pascal Pampagnin, Ludovic Letellier To cite this version: Pascal Pampagnin, Ludovic Letellier. The GENCOD project : Automated generation of Hardware code for safety critical applications on FPGA targets. ERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France. hal-02264384 HAL Id: hal-02264384 https://hal.archives-ouvertes.fr/hal-02264384 Submitted on 6 Aug 2019 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. The GENCOD project : Automated generation of Hardware code for safety critical applications on FPGA targets Pascal Pampagnin1, Ludovic Letellier2, 1: Airbus Operations SAS, 316 route de Bayonne, 31060 Toulouse, France 2: Alyotech Innovations, 22, bd Déodat de Séverac, 31770 Colomiers, France Abstract: GENCOD is a research project for year ‘80 ’90 ‘00 ‘05 ‘10 solutions to automated generation of safe code for µP 286 Intel Intel ® Intel ® Intel ® Field Programmable Gate Arrays (FPGA) targets. 486 Pentium Itanium Itanium The paper will describe typical ASIC/FPGA workflow, ™ ® 4 ® 2 ® i7 and current implementation for airborne electronic Transi 104 106 42.106 41.107 2.109 hardware design.
    [Show full text]
  • Implementation of Fpga-Based Object Tracking Algorithm
    IMPLEMENTATION OF FPGA-BASED OBJECT TRACKING ALGORITHM A PROJECT REPORT Submitted by G. SHRIKANTH (21904106079) KAUSHIK SUBRAMANIAN (21904106043) in partial fulfillment for the award of the degree of BACHELOR OF ENGINEERING In ELECTRONICS AND COMMUNICATION ENGINEERING SRI VENKATESWARA COLLEGE OF ENGINEERING, SRIPERUMBUDUR ANNA UNIVERSITY: CHENNAI 600 025 APRIL 2008 1 ANNA UNIVERSITY: CHENNAI 600 025 BONAFIDE CERTIFICATE Certified that this project report “IMPLEMENTATION OF FPGA-BASED OBJECT TRACKING ALGORITHM” is the bonafide work of “KAUSHIK SUBRAMANIAN (21904106043) AND G. SHRIKANTH (21904106079)” who carried out the project work under my supervision . SIGNATURE SIGNATURE Prof. R. Narayanan Mr. N. Venkateswaran Head of the Department SUPERVISOR Department of Electronics and Assistant Professor Communication Engineering Department of Electronics and Sri Venkateswara College of Communication Engineering Engineering, Pennalur, Sri Venkateswara College of Sriperumbudur - 602105 Engineering, Pennalur, Sriperumbudur - 602105 EXTERNAL INTERNAL EXAMINAR EXAMINAR 2 ACKNOWLEDGEMENT We are personally indebted to a number of people who gave us their useful insights to aid in our overall progress for this project. A complete acknowledgement would therefore be encyclopedic. First of all, we would like to give our deepest gratitude to our parents for permitting us to take up this course. Our sincere thanks and heartfelt sense of gratitude goes to our respected Principal, Dr. R. Ramachandran for all his efforts and administration in educating us in his premiere institution. We take this opportunity to also thank our Head of the Department, Prof. R. Narayanan for his encouragement throughout the project. We would like to express our gratitude to our Internal Coordinator, Prof. Ganesh Vaidyanathan for his commendable support and encouragement for the completion of our project with perfection.
    [Show full text]
  • Hardware Acceleration
    CprE 488 – Embedded Systems Design Lecture 8 – Hardware Acceleration Joseph Zambreno Electrical and Computer Engineering Iowa State University www.ece.iastate.edu/~zambreno rcl.ece.iastate.edu First, solve the problem. Then, write the code. – John Johnson Motivation: Moore’s Law • Every two years: – Double the number of transistors – Build higher performance general-purpose processors • Make the transistors available to the masses • Increase performance (1.8×↑) • Lower the cost of computing (1.8×↓) • Sounds great, what’s the catch? Gordon Moore Zambreno, Spring 2017 © ISU CprE 488 (Hardware Acceleration) Lect-08.2 Motivation: Moore’s Law (cont.) • The “catch” – powering the transistors without melting the chip! 10,000,000,000 2,200,000,000 1,000,000,000 Chip Transistor 100,000,000 Count 10,000,000 1,000,000 100,000 10,000 2300 1,000 130W 100 10 0.5W 1 0 1970 1975 1980 1985 1990 1995 2000 2005 2010 2015 Zambreno, Spring 2017 © ISU CprE 488 (Hardware Acceleration) Lect-08.3 Motivation: Dennard Scaling • As transistors get smaller their power density stays constant Transistor: 2D Voltage-Controlled Switch Dimensions Voltage ×0.7 Doping Robert Dennard Concentrations Area 0.5×↓ Capacitance 0.7×↓ Frequency 1.4×↑ Power = Capacitance × Frequency × Voltage2 Power 0.5×↓ Zambreno, Spring 2017 © ISU CprE 488 (Hardware Acceleration) Lect-08.4 Motivation Dennard Scaling (cont.) • In mid 2000s, Dennard scaling “broke” Transistor: 2D Voltage-Controlled Switch Dimensions Voltage ×0.7 Doping Concentrations Area 0.5×↓ Capacitance 0.7×↓ Frequency 1.4×↑ Power
    [Show full text]
  • Making Domain-Specific Hardware Synthesis Tools Cost-Efficient
    Making Domain-Specific Hardware Synthesis Tools Cost-Efficient Nithin George∗ David Novo∗ Tiark Rompf†‡ Martin Odersky† Paolo Ienne∗ ∗Processor Architecture Laboratory, †Programming Methods Laboratory, ‡Oracle Labs, École Polytechnique Fédérale de Lausanne, École Polytechnique Fédérale de Lausanne, Email: fi[email protected] Email: first.last@epfl.ch Email: first.last@epfl.ch Abstract—Tools to design hardware at a high level of ab- Application domain experts, who often have little knowledge straction promise software-like productivity for hardware de- of designing hardware, can use these domain-specific tools signs. Among them, tools like Spiral, HDL Coder, Optimus and effectively to create designs targeting FPGAs. These tools can, MMAlpha target specific application domains and produce highly hence, make the benefits of reconfigurable technology more efficient implementations from high-level input specifications in accessible to users within different domains. a Domain Specific Language (DSL). But, developing similar domain-specific High-Level Synthesis (HLS) tools need enormous However, developing a new domain-specific HLS tool in- effort, which might offset their many advantages. In this paper, curs enormous effort since one would need to design a new we propose a novel, cost-effective approach to develop domain- DSL, a custom compiler and, sometimes, even a development specific HLS tools. We develop the HLS tool by embedding environment; developing just the compiler itself would involve its input DSL in Scala and using Lightweight Modular Staging writing a parser, multiple analysis and optimization steps and the (LMS), a compiler framework written in Scala, to perform output code generators. This high design effort makes such tools optimizations at different abstraction levels.
    [Show full text]