Screen LibrarySeparation 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...
Saved in:
| Main Authors: | |
|---|---|
| Corporate Authors: | |
| Published: |
Springer International Publishing : Imprint: Springer,
|
| Publisher Address: | Cham : |
| Publication Dates: | 2017. |
| Literature type: | eBook |
| Language: | English |
| Series: |
Springer Theses, Recognizing Outstanding Ph.D. Research,
|
| Subjects: | |
| Online Access: |
http://dx.doi.org/10.1007/978-3-319-53222-6 |
| Summary: |
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 mar |
| Carrier Form: | 1 online resource (XIX, 132 pages): illustrations. |
| ISBN: | 9783319532226 |
| Index Number: | TK7888 |
| CLC: | TP331 |
| 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. |