Separation Logic for High-level Synthesis

• Main Author: Winterstein, Felix (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Series: Springer Theses, Recognizing Outstanding Ph.D. Research,
• Subjects: Engineering.; Computer memory systems.; Logic design.; Programming languages (Electronic computers).; Electronic circuits.; Circuits and Systems.; Memory Structures.; Logic Design.; Programming Languages, Compilers, Interpreters.

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

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.