Felix Winterstein: 1 book

Book cover of Separation Logic for High-level Synthesis
by Felix Winterstein
Language: English
Release Date: February 27, 2017

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...
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy