
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’.
- Författare
- Felix Winterstein
- Upplaga
- Softcover reprint of the original 1st ed. 2017
- ISBN
- 9783319850948
- Språk
- Engelska
- Vikt
- 310 gram
- Serie
- Springer Theses
- Utgivningsdatum
- 2018-07-21
- Sidor
- 132
