Separation Logic for High-level Synthesis

✍ Scribed by Felix Winterstein (auth.)

Publisher: Springer International Publishing
Year: 2017
Tongue: English
Leaves: 143
Series: Springer Theses
Edition: 1
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

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 market, especially after recent announcements of large-scale deployments in the data centre. This is driving, more than ever, the demand for higher design entry abstraction levels, such as the automatic circuit synthesis from high-level languages (high-level synthesis). The techniques in this book apply formal reasoning to high-level synthesis in the context of demonstrably practical applications.<

✦ Table of Contents

Front Matter....Pages i-xix
Introduction....Pages 1-10
High-Level Synthesis of Dynamic Data Structures....Pages 11-33
Background....Pages 35-55
Heap Partitioning and Parallelisation....Pages 57-84
Custom Multi-cache Architectures....Pages 85-115
Conclusion....Pages 117-123
Back Matter....Pages 125-132

✦ Subjects

Circuits and Systems;Memory Structures;Logic Design;Programming Languages, Compilers, Interpreters

📜 SIMILAR VOLUMES

Domain Specific High-Level Synthesis for

📁 Domain Specific High-Level Synthesis for Cryptographic Workloads

✍ Ayesha Khalid, Goutam Paul, Anupam Chattopadhyay 📂 Library 📅 2019 🏛 Springer Singapore 🌐 English

This book offers an in-depth study of the design and challenges addressed by a high-level synthesis tool targeting a specific class of cryptographic kernels, i.e. symmetric key cryptography. With the aid of detailed case studies, it also discusses optimization strategies that cannot be au

High-Level VLSI Synthesis

📁 High-Level VLSI Synthesis

✍ Daniel D. Gajski (auth.), Raul Camposano, Wayne Wolf (eds.) 📂 Library 📅 1991 🏛 Springer US 🌐 English

The time has come for high-level synthesis. When research into synthesizing hardware from abstract, program-like de scriptions started in the early 1970' s, there was no automated path from the register transfer design produced by high-level synthesis to a complete hardware imple mentation. As

Low-Power High-Level Synthesis for Nanos

📁 Low-Power High-Level Synthesis for Nanoscale CMOS Circuits

✍ Priyardarsan Patra, Elias Kougianos, Nagarajan Ranganathan, Saraju P. Mohanty (a 📂 Library 📅 2008 🏛 Springer US 🌐 English

Low-Power High-Level Synthesis for Nanoscale CMOS Circuits addresses the need for analysis, characterization, estimation, and optimization of the various forms of power dissipation in the presence of process variations of nano-CMOS technologies. The authors show very large-scale integ

High-Level Synthesis for Real-Time Digit

📁 High-Level Synthesis for Real-Time Digital Signal Processing

✍ Jan Vanhoof, Karl Van Rompaey, Ivo Bolsens, Gert Goossens, Hugo De Man (auth.) 📂 Library 📅 1993 🏛 Springer US 🌐 English

High-Level Synthesis for Real-Time Digital Signal Processing is a comprehensive reference work for researchers and practicing ASIC design engineers. It focuses on methods for compiling complex, low to medium throughput DSP system, and on the implementation of these methods in the CATHEDR

Low-Power High-Level Synthesis for Nanos

📁 Low-Power High-Level Synthesis for Nanoscale CMOS Circuits

✍ Saraju P. Mohanty, Nagarajan Ranganathan, Elias Kougianos, Priyardarsan Patra 📂 Library 📅 2008 🏛 Springer 🌐 English

Low-Power High-Level Synthesis for Nanoscale CMOS Circuits addresses the need for analysis, characterization, estimation, and optimization of the various forms of power dissipation in the presence of process variations of nano-CMOS technologies. The authors show very large-scale integration

High-Level Synthesis Blue Book

📁 High-Level Synthesis Blue Book

✍ Fingeroff M. 📂 Library 🌐 English

2010, Mentor Graphics Corp.-286p. A must-have book for every C++ programmer.<div class="bb-sep"></div>"Are you an RTL or system designer that is currently using, moving, or planning to move to an HLS design environment? Finally, a comprehensive guide for designing hardware using C++ is here.