Research Catalog
High-level synthesis : from algorithm to digital circuit /
- Title
- High-level synthesis : from algorithm to digital circuit / Philippe Coussy, Adam Morawiec, editors.
- Publication
- [New York] : Springer, c2008.
Items in the Library & Off-site
Filter by
1 Item
Status | Format | Access | Call Number | Item Location |
---|---|---|---|---|
Not available - Please for assistance. | Text | Use in library | TK7888.3 .H54 2008 | Off-site |
Details
- Additional Authors
- Description
- xv, 297 p. : ill.; 25 cm.
- Subjects
- Bibliography (note)
- Includes bibliographical references.
- Contents
- User needs / Pascal Urard ... [et al.] -- High-level synthesis : a retrospective / Rajesh Gupta and Forrest Brewer -- Catapult synthesis : a practical introduction to interactive C synthesis / Thomas Bollaert -- Algorithmic synthesis using PICO / Shail Aditya and Vinod Kathail -- High-level SystemC synthesis with Forte's cynthesizer / Michael Meredith -- AutoPilot : a platform-based ESL synthesis system / Zhiru Zhang ... [et al.] -- "All-in-C" behavioral synthesis and verfication with CyberWorkBench / Kazutoshi Wakabayashi and Benjamin Carrion Schafer -- Bluespec : a general-purpose approach to high-level synthesis based on parallel atomic transactions / Rishiyur S. Nikhil -- GAUT : a high-level synthesis tool for DSP applications / Philippe Coussy ... [et al.] -- User guided high level synthesis / Ivan Augé and Frédéric Pétrot -- Synthesis of DSP algorithms from infinite precision specifications / Christos-Savvas Bouganis and George A. Constantinides -- High-level synthesis of loops using the polyhedral model / Steven Derrien ... [et al.] -- Operation scheduling : algorithms and applications / Gang Wang, Wenrui Gong, and Ryan Kastner -- Exploiting bit-level design techniques in behavioural synthesis / María Carmen Molina ... [et al.] -- High-level synthesis algorithms for power and temperature minimization / Li Shang, Robert P. Dick, and Niraj K. Jha.
- ISBN
- 9781402085871
- 1402085877
- LCCN
- 2008928131
- Owning Institutions
- Princeton University Library