Gå direkt till innehållet
Separation Logic for High-level Synthesis
Spara

Separation Logic for High-level Synthesis

Författare:
inbunden, 2017
Engelska
Lägsta pris på PriceRunner

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’.

Upplaga
1st ed. 2017
ISBN
9783319532219
Språk
Engelska
Vikt
446 gram
Utgivningsdatum
2017-03-03
Sidor
132