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

Ful tanımlama

Detaylı Bibliyografya
Yazar: Winterstein, Felix (Yazar)
Müşterek Yazar: SpringerLink (Online service)
Materyal Türü: e-Kitap
Dil:İngilizce
Baskı/Yayın Bilgisi: Cham : Springer International Publishing : 2017.
Imprint: Springer,
Edisyon:1st ed. 2017.
Seri Bilgileri:Springer Theses, Recognizing Outstanding Ph.D. Research,
Konular:
Electronic circuits.
Computer storage devices.
Memory management (Computer science).
Logic design.
Compilers (Computer programs).
Electronic Circuits and Systems.
Computer Memory Structure.
Logic Design.
Compilers and Interpreters.
Online Erişim:Full-text access

Internet

Full-text access

Merkez Kütüphane

Detaylı Erişim Bilgileri Merkez Kütüphane
Kopya Bilgisi UnknownBarcode

Benzer Materyaller