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

Full description

Bibliographic Details
Main Author: Winterstein, Felix (Author)
Corporate Author: SpringerLink (Online service)
Format: e-Book
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edition:1st ed. 2017.
Series:Springer Theses, Recognizing Outstanding Ph.D. Research,
Subjects:
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 Access:Full-text access
View in OPAC

Internet

Full-text access
View in OPAC

Merkez Kütüphane

Holdings details from Merkez Kütüphane
Copy UnknownBarcode

Similar Items