Ebooks de Felix Winterstein en PDF et EPUB

1 Livre(s)
Télécharger le livre : Separation Logic for High-level Synthesis
Ajouter à ma liste d'envies
Separation Logic for High-level Synthesis
Felix Winterstein
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
PDF, ePub

94,94 €