Winterstein, Felix
Separation Logic for High-level Synthesis
1. Introduction
Felix Winterstein
2. High-Level Synthesis of Dynamic Data Structures
Felix Winterstein
3. Background
Felix Winterstein
4. Heap Partitioning and Parallelisation
Felix Winterstein
5. Custom Multi-cache Architectures
Felix Winterstein
6. Conclusion
Felix Winterstein
Keywords: Engineering, Circuits and Systems, Memory Structures, Logic Design, Programming Languages, Compilers, Interpreters
- Author(s)
- Winterstein, Felix
- Publisher
- Springer
- Publication year
- 2017
- Language
- en
- Edition
- 1
- Series
- Springer Theses
- Page amount
- 19 pages
- Category
- Technology, Energy, Traffic
- Format
- Ebook
- eISBN (PDF)
- 9783319532226
- Printed ISBN
- 978-3-319-53221-9