Code Generation for Embedded Processors, 2002 The Springer International Series in Engineering and Computer Science Series, Vol. 317

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 EmbeddedSystems 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.

I Requirements.- 1 Code Generation for Embedded Processors : An Introduction.- 2 Retargetable Code Generation : Key Issues for Successful Introduction.- 3 Challenges in Code Generation for Embedded Processors.- II Retargetable Code Generation Systems.- 4 Flexware : A Flexible Firmware Development Environment for Embedded Systems.- 5 Chess : Retargetable Code Generation for Embedded DSP Processors.- 6 An ILP-Based Approach to Code Generation.- 7 Retargetable Code Generation for Parallel, Pipelined Processor Structures.- III Machine Description Models and Formal Methods.- 8 Beyond Tool-Specific Machine Descriptions.- 9 On Transforming Code Generation to a Parsing Problem.- 10 Local Microcode Generation in System Design.- 11 Code Generation Based on Trellis Diagrams.- 12 A Unified Code Generation Approach Using Mutation Scheduling.- IV Special Applications and Future Directions.- 13 Retargetable Compilation of Self-Test Programs Using Constraint Logic Programming.- 14 Code Generation for Transport Triggered Architectures.- 15 Software Synthesis for Real-Time Information Processing Systems.- References.

In order to combine the 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. This book provides a survey of these new developments.