High-Level Synthesis: from Algorithm to Digital Circuit

Preface: Giovanni di Michelli
Chapter 1: User Needs. P. Urard, J. Yi, A.Gouraud
Chapter 2: HLS: A Retrospective. Rajesh Gupta, Forrest Brewer
Chapter 3: Catapult (R) Synthesis. Thomas Bollaert
Chapter 4: Algorithmic Synthesis using PICO. S. Aditya, V. Kathail
Chapter 5: High-Level SystemC Synthesis with Forte's Cynthesizer. Mike Meredith
Chapter 6: AutoPilot TM : A Platform-Based ESL Synthesis System. Jason Cong, et al.
Chapter 7: "All-in-C" SoC Synthesis and Verification with CyberWorkBench. Kazutoshi Wakabayashi, Benjamin Schafer
Chapter 8: Bluespec: A General-Purpose Approach to High Level Synthesis based on Atomic Transactions. Rishiyur Nikhil
Chapter 9: GAUT: A High-Level Synthesis Tool for DSP Applications. Philippe Coussy, et al.
Chapter 10: User Guided High Level Synthesis. Ivan Auge
Chapter 11: Synthesis of DSP Algorithms from Infinite Precision Specifications. Christos-Savvas Bouganis, George Constantinides
Chapter 12: High-Level Synthesis of loops using the Polyhedral Model. Steven Derien, et al.
Chapter 13: Operation Scheduling: Algorithms and Applications. Gang Wang, Wenrui Gong, Ryan Kastner
Chapter 14: Exploiting Bit-Level Design Techniques in Behavioural Synthesis. Maria Molina, Rafael Ruiz-Sautua, Jose M. Mendias, Roman Hermida
Chapter 15: High-Level Synthesis Algorithms for Power and Temperature Minimization. Li Shang, Robert P. Dick, Niraj K. Jha