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

Separation Logic for High-level Synthesis

innbundet, 2017
Engelsk
1 197,-

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
1st ed. 2017
ISBN
9783319532219
Språk
Engelsk
Vekt
446 gram
Utgivelsesdato
3.3.2017
Antall sider
132