1 résultat(s)
Télécharger le livre : Separation Logic for High-level Synthesis
Felix Winterstein
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...
Editeur : Springer
Parution : 2017-02-27
Collection : Springer Theses
Format(s) : PDF, ePub
94,94 €
Téléchargement immédiat
Dès validation de votre commande