Springer Theses - Separation Logic for High-level SynthesisEbookTooltip
Ebooks kunnen worden gelezen op uw computer en op daarvoor geschikte e-readers.
Je leest ebooks gemakkelijk op je Kobo e-reader, of op je smartphone of tablet met de bol.com Kobo app. Let op! Ebooks kunnen niet geannuleerd of geretourneerd worden.
Samenvatting
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 digital hardware plays an increasingly important role in the quest for energy-efficient high-performance computing. Field-programmable gate arrays (FPGAs) gain efficiency by encoding the computing task into the chip’s physical circuitry and are gaining rapidly increasing importance in the processor market, especially after recent announcements of large-scale deployments in the data centre. This is driving, more than ever, the demand for higher design entry abstraction levels, such as the automatic circuit synthesis from high-level languages (high-level synthesis). The techniques in this book apply formal reasoning to high-level synthesis in the context of demonstrably practical applications.<
Negatief, positief, neutraal: we zetten een review altijd online. We controleren wel eerst of ’ie voldoet aan onze reviewvoorwaarden en niet nep is. We controleren ook of ’ie is geschreven door iemand die het artikel heeft gekocht via bol.com en zetten dit er dan bij. De controles gebeuren automatisch, al kijken er soms mensen mee. Bol.com betaalt niet voor reviews. Als een reviewer door een andere partij is vergoed, staat dit in de review zelf.
De prijs van dit product is 89 euro. De meest getoonde prijs is 98 euro. Je bespaart 9%.89
-
Meest getoonde prijs
98,00
Referentieprijs: de meest getoonde niet-promotie prijs aan klanten op bol in de afgelopen 90 dagen.
Bij seizoensgebonden mode artikelen gaat het om de meest getoonde prijs tijdens de eerste 30 dagen dat het artikel op bol.com te koop staat.
Meer informatie
Je bespaart 9%
Direct beschikbaar
Verkoop door bol
Springer Theses - Separation Logic for High-level Synthesis
Houd er rekening mee dat je downloadartikelen niet kunt annuleren of retourneren. Bij nog niet verschenen producten kun je tot de verschijningsdatum annuleren.