Philippe Coussy & Adam Morawiec 
High-Level Synthesis [PDF ebook] 
from Algorithm to Digital Circuit

User Needs.- High-Level Synthesis: A Retrospective.- Catapult Synthesis: A Practical Introduction to Interactive C Synthesis.- Algorithmic Synthesis Using PICO.- High-Level System C Synthesis with Forte’s Cynthesizer.- Auto Pilot: A Platform-Based ESL Synthesis System.- “All-in-C” Behavioral Synthesis and Verification with Cyber Work Bench.- Bluespec: A General-Purpose Approach to High-Level Synthesis Based on Parallel Atomic Transactions.- GAUT: A High-Level Synthesis Tool for DSP Applications.- User Guided High Level Synthesis.- Synthesis of DSP Algorithms from Infinite Precision Specifications.- High-Level Synthesis of Loops Using the Polyhedral Model.- Operation Scheduling: Algorithms and Applications.- Exploiting Bit-Level Design Techniques in Behavioural Synthesis.- High-Level Synthesis Algorithms for Power and Temperature Minimization.