Separation 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 custo...

Ful tanımlama

Detaylı Bibliyografya
Yazar: Winterstein, Felix (Yazar)
Müşterek Yazar: SpringerLink (Online service)
Materyal Türü: e-Kitap
Dil:İngilizce
Baskı/Yayın Bilgisi: Cham : Springer International Publishing : 2017.
Imprint: Springer,
Edisyon:1st ed. 2017.
Seri Bilgileri:Springer Theses, Recognizing Outstanding Ph.D. Research,
Konular:
Electronic circuits.
Computer storage devices.
Memory management (Computer science).
Logic design.
Compilers (Computer programs).
Electronic Circuits and Systems.
Computer Memory Structure.
Logic Design.
Compilers and Interpreters.
Online Erişim:Full-text access
İçindekiler:
  • 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.

Benzer Materyaller