Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Introduction Read chapter Read first chapter

2017 | OriginalPaper | Chapter

6. Conclusion

Author : Felix Winterstein

Published in: Separation Logic for High-level Synthesis

Publisher: Springer International Publishing

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

This thesis extends the scope of high-level synthesis to efficient hardware implementations from heap-manipulating programs. This research direction is motivated by the fact that hardware synthesis and design optimisations for heap-manipulating code are beyond the scope of state-of-the-art tools to date. This chapter summarises the research contributions of the thesis and presents an outlook of challenges ahead.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter Custom Multi-cache Architectures
Literature
1.
C. Calcagno, D. Distefano, Infer: an automatic program verifier for memory safety of C programs, in Proceedings of the International Conference on NASA Formal Methods (Springer, Heidelberg, 2011), pp. 459–465
2.
N. Ramanathan, J. Wickerson, F. Winterstein, G.A. Constantinides, A case for work-stealing on FPGAs with OpenCL atomics, in Proceedings of the ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA) (2016), pp. 48–53
3.
B. Guo, N. Vachharajani, D.I. August, Shape analysis with inductive recursion synthesis. ACM SIGPLAN Notices 42(6), 256 (2007)CrossRef
4.
C. Calcagno, D. Distefano, P. O’Hearn, H. Yang, Compositional shape analysis by means of Bi-abduction. ACM SIGPLAN Notices 44(1), 289–300 (2009)CrossRefMATH
5.
A. Morvan, S. Derrien, P. Quinton, Efficient nested loop pipelining in high level synthesis using polyhedral bubble insertion, in Proceedings of the International Conference on Field-Programmable Technology (2011), pp. 1–10
6.
D.B. Thomas, Synthesisable recursion for C++ HLS tools, in Proceedings of the IEEE International Symposium on Field-Programmable Custom Computing Machines (FCCM) (2016)
7.
A. Putnam, A. Caulfield, E. Chung, D. Chiou, K. Constantinides, J. Demme, H. Esmaeilzadeh, J. Fowers, G. Gopal, J. Gray, M. Haselman, S. Hauck, S. Heil, A. Hormati, J.-Y. Kim, S. Lanka, J. Larus, E. Peterson, S. Pope, A. Smith, J. Thong, P. Xiao, D. Burger, A reconfigurable fabric for accelerating large-scale datacenter services, in Proceedings of the ACM/IEEE International Symposium on Computer Architecture (ISCA) (2014), pp. 13–24
8.
Metadata
Title
Conclusion
Author
Felix Winterstein
Copyright Year
2017
Book
Separation Logic for High-level Synthesis

Print ISBN: 978-3-319-53221-9

Electronic ISBN: 978-3-319-53222-6

Copyright Year: 2017

DOI
https://doi.org/10.1007/978-3-319-53222-6_6