2008

High-Level Synthesis

From Algorithm to Digital Circuit

Editors:

ISBN: 978-1-4020-8587-1 (Print) 978-1-4020-8588-8 (Online)

Table of contents (15 chapters)

  1. Front Matter

    Pages i-xv

  2. No Access

    Book Chapter

    Pages 1-12

    User Needs

  3. No Access

    Book Chapter

    Pages 13-28

    High-Level Synthesis: A Retrospective

  4. No Access

    Book Chapter

    Pages 29-52

    Catapult Synthesis: A Practical Introduction to Interactive C Synthesis

  5. No Access

    Book Chapter

    Pages 53-74

    Algorithmic Synthesis Using PICO

  6. No Access

    Book Chapter

    Pages 75-97

    High-Level SystemC Synthesis with Forte's Cynthesizer

  7. No Access

    Book Chapter

    Pages 99-112

    AutoPilot: A Platform-Based ESL Synthesis System

  8. No Access

    Book Chapter

    Pages 113-127

    “All-in-C” Behavioral Synthesis and Verification with CyberWorkBench

  9. No Access

    Book Chapter

    Pages 129-146

    Bluespec: A General-Purpose Approach to High-Level Synthesis Based on Parallel Atomic Transactions

  10. No Access

    Book Chapter

    Pages 147-169

    GAUT: A High-Level Synthesis Tool for DSP Applications

  11. No Access

    Book Chapter

    Pages 171-196

    User Guided High Level Synthesis

  12. No Access

    Book Chapter

    Pages 197-214

    Synthesis of DSP Algorithms from Infinite Precision Specifications

  13. No Access

    Book Chapter

    Pages 215-230

    High-Level Synthesis of Loops Using the Polyhedral Model

  14. No Access

    Book Chapter

    Pages 231-255

    Operation Scheduling: Algorithms and Applications

  15. No Access

    Book Chapter

    Pages 257-283

    Exploiting Bit-Level Design Techniques in Behavioural Synthesis

  16. No Access

    Book Chapter

    Pages 285-297

    High-Level Synthesis Algorithms for Power and Temperature Minimization