Gå direkte til innholdet
Separation Logic for High-level Synthesis
Spar

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

Opplag
Softcover reprint of the original 1st ed. 2017
ISBN
9783319850948
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
21.7.2018
Antall sider
132