Separation Logic for High-level Synthesis

• Κύριος συγγραφέας: Winterstein, Felix (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Σειρά: Springer Theses, Recognizing Outstanding Ph.D. Research,
• Θέματα: 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...

Πίνακας περιεχομένων:

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