High-level synthesis
Subtitle: from algorithm to digital circuit
By: Philippe Coussy, Adam Morawiec, editors.
Contributors: Coussy, Philippe; Morawiec, Adam.
Publisher: Springer
Published: 2008
Place of publication: [New York]
Language: eng
Number of pages: 297
ISBN-13: 9781402085871
Subjects: Electronic digital computers -- Design and construction -- Data processing; Computer hardware description languages; System design -- Data processing; Computer-aided design
Notes: Includes bibliographical references.
Table of contents: title: User needs / Pascal Urard ... [et al.]; title: High-level synthesis : a retrospective / Rajesh Gupta and Forrest Brewer; title: Catapult synthesis : a practical introduction to interactive C synthesis / Thomas Bollaert; title: Algorithmic synthesis using PICO / Shail Aditya and Vinod Kathail; title: High-level SystemC synthesis with Forte's cynthesizer / Michael Meredith; title: AutoPilot : a platform-based ESL synthesis system / Zhiru Zhang ... [et al.]; title: "All-in-C" behavioral synthesis and verfication with CyberWorkBench / Kazutoshi Wakabayashi and Benjamin Carrion Schafer; title: Bluespec : a general-purpose approach to high-level synthesis based on parallel atomic transactions / Rishiyur S. Nikhil; title: GAUT : a high-level synthesis tool for DSP applications / Philippe Coussy ... [et al.]; title: User guided high level synthesis / Ivan Augé and Frédéric Pétrot; title: Synthesis of DSP algorithms from infinite precision specifications / Christos-Savvas Bouganis and George A. Constantinides; title: High-level synthesis of loops using the polyhedral model / Steven Derrien ... [et al.]; title: Operation scheduling : algorithms and applications / Gang Wang, Wenrui Gong, and Ryan Kastner; title: Exploiting bit-level design techniques in behavioural synthesis / María Carmen Molina ... [et al.]; title: High-level synthesis algorithms for power and temperature minimization / Li Shang, Robert P. Dick, and Niraj K. Jha.