Happy Holidays! Over 120,000 eBooks at just 19.99 each— Pick a favorite today

Springer Theses

Separation Logic for High-level Synthesis

Authors: Winterstein, Felix

  • Proposes highly novel program-analysis techniques for the automatic synthesis of digital circuits from high-level programming languages
  • Is extremely timely as the proposed techniques are useful building blocks for future programming environments targeting the tightly coupled microprocessor-field-programmable gate array (FPGA) systems arising in data centre applications
  • Contributes to interdisciplinary research by combining theoretical computer science with practical implementations of the theory in the context of digital hardware design
  • Shows the effectiveness of the approach in demonstrably practical applications
  •  
see more benefits

Buy this book

eBook £63.99
price for United Kingdom (gross)
  • ISBN 978-3-319-53222-6
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover £80.00
price for United Kingdom (gross)
  • ISBN 978-3-319-53221-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.<

About the authors

Felix Winterstein received a Master's degree in electrical engineering and information technology from RWTH Aachen University, Germany, in 2009 and received the Ph.D. degree from the Imperial College London in 2016. He is currently a research associate in the Circuits and Systems Group at the same institution. His research area is digital hardware design with an emphasis on customised, reconfigurable computing using FPGAs. His interest focuses on the automatic circuit synthesis from high-level programming languages and advanced compiler techniques to extend the scope of existing design tools in this area.

Table of contents (6 chapters)

Buy this book

eBook £63.99
price for United Kingdom (gross)
  • ISBN 978-3-319-53222-6
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover £80.00
price for United Kingdom (gross)
  • ISBN 978-3-319-53221-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Separation Logic for High-level Synthesis
Authors
Series Title
Springer Theses
Copyright
2017
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing AG
eBook ISBN
978-3-319-53222-6
DOI
10.1007/978-3-319-53222-6
Hardcover ISBN
978-3-319-53221-9
Series ISSN
2190-5053
Edition Number
1
Number of Pages
XIX, 132
Number of Illustrations and Tables
12 b/w illustrations, 7 illustrations in colour
Topics