Related Books

Separation Logic for High-level Synthesis
Language: en
Pages: 143
Authors: Felix Winterstein
Categories: Technology & Engineering
Type: BOOK - Published: 2017-02-27 - Publisher: Springer

DOWNLOAD EBOOK

This book presents novel compiler techniques, which combine a rigorous mathematical framework, novel program analyses and digital hardware design to advance cur
High-Level Synthesis
Language: en
Pages: 307
Authors: Philippe Coussy
Categories: Technology & Engineering
Type: BOOK - Published: 2008-08-01 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book presents an excellent collection of contributions addressing different aspects of high-level synthesis from both industry and academia. It includes an
High Level Synthesis of ASICs under Timing and Synchronization Constraints
Language: en
Pages: 302
Authors: David C. Ku
Categories: Technology & Engineering
Type: BOOK - Published: 2013-03-14 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Computer-aided synthesis of digital circuits from behavioral level specifications offers an effective means to deal with increasing complexity of digital hardwa
FPGAs for Software Programmers
Language: en
Pages: 331
Authors: Dirk Koch
Categories: Technology & Engineering
Type: BOOK - Published: 2016-06-17 - Publisher: Springer

DOWNLOAD EBOOK

This book makes powerful Field Programmable Gate Array (FPGA) and reconfigurable technology accessible to software engineers by covering different state-of-the-
System Synthesis with VHDL
Language: en
Pages: 373
Authors: Petru Eles
Categories: Technology & Engineering
Type: BOOK - Published: 2013-03-14 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Embedded systems are usually composed of several interacting components such as custom or application specific processors, ASICs, memory blocks, and the associa