Separation Logic for High-level Synthesis
Felix Winterstein
Springer International Publishing AG, 2018
121,95 €On orderDelivery: 2-3 weeks
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’.
- ISBN-13
- 9783319850948
- ISBN-10
- 3319850946
- Publisher
- Springer International Publishing AG
- Year
- 2018
- Publication date
- 2018-07-21
- Pages
- 132
- Dimensions
- 235x155x