High-Level Synthesis Book

1 User Needs Pascal Urard Joonhwan Yi Hyukmin Kwon Alexandre Gouraud 1

2 High-Level Synthesis: A Retrospective Rajesh Gupta Forrest Brewer 13

3 Catapult Synthesis: A Practical Introduction to Interactive C Synthesis Thomas Bollaert 29

4 Algorithmic Synthesis Using PICO Shail Aditya Vinod Kathail 53

5 High-Level SystemC Synthesis with Forte's Cynthesizer Michael Meredith 75

6 AutoPilot: A Platform-Based ESL Synthesis System Zhiru Zhang Yiping Fan Wei Jiang Guoling Han Changqi Yang Jason Cong 99

7 "All-in-C" Behavioral Synthesis and Verification with CyberWorkBench Kazutoshi Wakabayashi Benjamin Carrion Schafer 113

8 Bluespec: A General-Purpose Approach to High-Level Synthesis Based on Parallel Atomic Transactions Rishiyur S. Nikhil 129

9 GAUT: A High-Level Synthesis Tool for DSP Applications Philippe Coussy Cyrille Chavet Pierre Bomel Dominique Heller Eric Senn Eric Martin 147

10 User Guided High Level Synthesis Ivan Auge Frederic Petrot 171

11 Synthesis of DSP Algorithms from Infinite Precision Specifications Christos-Savvas Bouganis George A. Constantinides 197

12 High-Level Synthesis of Loops Using the Polyhedral Model Steven Derrien Sanjay Rajopadhye Patrice Quinton Tanguy Risset 215

13 Operation Scheduling: Algorithms and Applications Gang Wang Wenrui Gong Ryan Kastner 231

14 Exploiting Bit-Level Design Techniques in Behavioural Synthesis Maria Carmen Molina Rafael Ruiz-Sautua Jose Manuel Mendias Roman Hermida 257

15 High-Level Synthesis Algorithms for Power and Temperature Minimization Li Shang Robert P. Dick Niraj K. Jha 285