Separation logic for high-level synthesis

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

Full description

Saved in:
Bibliographic Details
Main Author Winterstein, Felix (Author)
Format Electronic eBook
LanguageEnglish
Published Cham, Switzerland : Springer, 2017.
SeriesSpringer theses.
Subjects
Parallel processing (Electronic computers)
Embedded computer systems > Design.
elektronické knihy
electronic books
Online AccessFull text
ISBN9783319532226
9783319532219
Physical Description1 online resource

Cover

Table of Contents:
  • 1. Introduction
  • 2. High-level Synthesis of Dynamic Data Structures
  • 3. Background
  • 4. Heap Partitioning and Parallelisation
  • 5. Custom Multi-Cache Architectures
  • 6. Conclusion
  • Bibliography
  • Appendices.

Similar Items