Separation logic for high-level synthesis
Auteur :
Winterstein, Felix
Éditeur :
Springer International Publishing AG
ISBN :
9783319850948
Date de publication :
21 juil. 2018
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
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’.