Gå direkt till innehållet
Separation Logic for High-level Synthesis
Spara

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

Upplaga
Softcover reprint of the original 1st ed. 2017
ISBN
9783319850948
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2018-07-21
Sidor
132