
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’.
- Forfatter
- Felix Winterstein
- Opplag
- Softcover reprint of the original 1st ed. 2017
- ISBN
- 9783319850948
- Språk
- Engelsk
- Vekt
- 310 gram
- Serie
- Springer Theses
- Utgivelsesdato
- 21.7.2018
- Antall sider
- 132
