Separation Logic for High-level Synthesis

Separation Logic for High-level Synthesis

English | PDF | 2017 | 143 Pages | ISBN : 3319532219 | 2.55 MB

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.

Download:

http://longfiles.com/wnil2cpk7x0k/3319532219.pdf.html

[Fast Download] Separation Logic for High-level Synthesis


Ebooks related to "Separation Logic for High-level Synthesis" :
Embedded Microcontroller Interfacing
Advances in Materials Sciences, Energy and Environmental Engineering: Proceedings of the Internation
Secure and Privacy-Preserving Data Communication in Internet of Things
Handbook of Energy Audits
China: Innovative Green Development
Progress in Applications of Boolean Functions (Synthesis Lectures on Digital Circuits and Systems)
DSP for In-Vehicle and Mobile Systems
Microwave Circuits for 24 GHz Automotive Radar in Silicon-based Technologies
Robust Sigma Delta Converters: And Their Application in Low-Power Highly-Digitized Flexible Receiver
Sic Materials and Devices, Volume 2 (Selected Topics in Electronics and Systems)
Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.