Separation Logic for High-level Synthesis

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

Full description

Bibliographic Details
Main Author: Winterstein, Felix (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
Series:Springer Theses, Recognizing Outstanding Ph.D. Research,
Subjects:
Engineering.
Computer memory systems.
Logic design.
Programming languages (Electronic computers).
Electronic circuits.
Circuits and Systems.
Memory Structures.
Logic Design.
Programming Languages, Compilers, Interpreters.
Online Access:Full Text via HEAL-Link

Internet

Full Text via HEAL-Link

ΒΚΠ - Πατρα: ALFd

Holdings details from ΒΚΠ - Πατρα: ALFd
Call Number: 330.01 BAU
Copy 1 Available

ΒΚΠ - Πατρα: BSC

Holdings details from ΒΚΠ - Πατρα: BSC
Call Number: 330.01 BAU
Copy 2 Available
Copy 3 Available

Similar Items