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

Saved in:
Main Author: Winterstein, Felix (Author)
Corporate Author: SpringerLink (online služba)
Format: eBook
Language:English
Published: Cham : Springer International Publishing, 2017
Series:Springer Theses, Recognizing Outstanding Ph.D. Research
Genre/form:elektronické knihy
ISBN:978-3-319-53222-6
9783319532219
Subjects:
Online Access:Full-text
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

Full-text
Status Sublibrary Description Location LCC Callnumber Old Callnumber