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’. Implementing computation on customised digi...
Springer International Publishing,
|Series:||Springer Theses, Recognizing Outstanding Ph.D. Research
No Tags, Be the first to tag this record!