Separation logic for high-level synthesis

• Main Author: Winterstein, Felix (Author)
• Format: Electronic eBook
• Language: English
• Published: Cham, Switzerland : Springer, 2017.
• Series: Springer theses.
• Subjects: Parallel processing (Electronic computers); Embedded computer systems > Design.; elektronické knihy; electronic books
• ISBN: 9783319532226; 9783319532219
• Physical Description: 1 online resource

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