Code Generation for Embedded Processors

  • Peter Marwedel
  • Gert Goossens

Table of contents

  1. Front Matter
    Pages i-12
  2. Requirements

    1. Front Matter
      Pages 13-13
    2. Paul Vanoostende, Etienne Vanzieleghem, Emmanuel Rousseau, Christian Massy, François Gérard
      Pages 32-47
    3. Guido Araujo, Srinivas Devadas, Kurt Keutzer, Stan Liao, Sharad Malik, Ashok Sudarsanam et al.
      Pages 48-64
  3. Retargetable Code Generation Systems

    1. Front Matter
      Pages 65-65
    2. Pierre G. Paulin, Clifford Liem, Trevor C. May, Shailesh Sutarwala
      Pages 67-84
    3. Dirk Lanneer, Johan Van Praet, Augusli Kifli, Koen Schoofs, Werner Geurts, Filip Thoen et al.
      Pages 85-102
    4. Tom Wilson, Gary Grewal, Shawn Henshall, Dilip Banerji
      Pages 103-118
  4. Machine Description Models and Formal Methods

    1. Front Matter
      Pages 137-137
    2. Andreas Fauth
      Pages 138-152
    3. Michel Langevin, Eduard Cerny, Jörg Wilberg, Heinrich-Theodor Vierhaus
      Pages 171-187
    4. Bernhard Wess
      Pages 188-202
    5. Steven Novack, Alex Nicolau, Nikil Dutt
      Pages 203-218
  5. Special Applications and Future Directions

    1. Front Matter
      Pages 219-219
    2. Henk Corporaal, Jan Hoogerbrugge
      Pages 240-259
    3. Marco Cornero, Filip Thoen, Gert Goossens, Franco Curatelli
      Pages 260-279
  6. Back Matter
    Pages 280-298

About this book


Modern electronics is driven by the explosive growth of digital communications and multi-media technology. A basic challenge is to design first-time-right complex digital systems, that meet stringent constraints on performance and power dissipation.
In order to combine this growing system complexity with an increasingly short time-to-market, new system design technologies are emerging based on the paradigm of embedded programmable processors. This concept introduces modularity, flexibility and re-use in the electronic system design process. However, its success will critically depend on the availability of efficient and reliable CAD tools to design, programme and verify the functionality of embedded processors.
Recently, new research efforts emerged on the edge between software compilation and hardware synthesis, to develop high-quality code generation tools for embedded processors. Code Generation for Embedded Systems provides a survey of these new developments. Although not limited to these targets, the main emphasis is on code generation for modern DSP processors. Important themes covered by the book include: the scope of general purpose versus application-specific processors, machine code quality for embedded applications, retargetability of the code generation process, machine description formalisms, and code generation methodologies.
Code Generation for Embedded Systems is the essential introduction to this fast developing field of research for students, researchers, and practitioners alike.


CAD Hardware architecture communication complexity computer-aided design (CAD) digital signal processor electronics embedded systems formal method integrated circuit logic programming tools

Editors and affiliations

  • Peter Marwedel
    • 1
  • Gert Goossens
    • 2
  1. 1.University of DortmundDortmundGermany
  2. 2.IMECLeuvenBelgium

Bibliographic information

  • DOI
  • Copyright Information Kluwer Academic Publishers 2002
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4613-5983-8
  • Online ISBN 978-1-4615-2323-9
  • Series Print ISSN 0893-3405
  • Buy this book on publisher's site