Advertisement

Separation Logic for High-level Synthesis

  • Felix Winterstein

Part of the Springer Theses book series (Springer Theses)

Table of contents

  1. Front Matter
    Pages i-xix
  2. Felix Winterstein
    Pages 1-10
  3. Felix Winterstein
    Pages 11-33
  4. Felix Winterstein
    Pages 35-55
  5. Felix Winterstein
    Pages 57-84
  6. Felix Winterstein
    Pages 85-115
  7. Felix Winterstein
    Pages 117-123
  8. Back Matter
    Pages 125-132

About this book

Introduction

This book presents novel compiler techniques, which combine a rigorous mathematical framework, novel program analyses and digital hardware design to advance current high-level synthesis tools and extend their scope beyond the industrial ‘state of the art’. Implementing computation on customised digital hardware plays an increasingly important role in the quest for energy-efficient high-performance computing. Field-programmable gate arrays (FPGAs) gain efficiency by encoding the computing task into the chip’s physical circuitry and are gaining rapidly increasing importance in the processor market, especially after recent announcements of large-scale deployments in the data centre. This is driving, more than ever, the demand for higher design entry abstraction levels, such as the automatic circuit synthesis from high-level languages (high-level synthesis). The techniques in this book apply formal reasoning to high-level synthesis in the context of demonstrably practical applications.<

Keywords

High-level Synthesis FPGA Memory System Dynamic Data Structures Separation Logic

Authors and affiliations

  • Felix Winterstein
    • 1
  1. 1.Department of Electrical and Electronic EngineeringImperial College London LondonUnited Kingdom

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-53222-6
  • Copyright Information Springer International Publishing AG 2017
  • Publisher Name Springer, Cham
  • eBook Packages Engineering
  • Print ISBN 978-3-319-53221-9
  • Online ISBN 978-3-319-53222-6
  • Series Print ISSN 2190-5053
  • Series Online ISSN 2190-5061
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Biotechnology
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering