Embedded Software for SoC

✍ Scribed by Monica Besana, Michele Borgatti (auth.), Ahmed Amine Jerraya, Sungjoo Yoo, Diederik Verkest, Norbert Wehn (eds.)

• Publisher: Springer US
• Year: 2004
• Tongue: English
• Leaves: 510
• Edition: 1
• Category: Library

✦ Synopsis

The evolution of electronic systems is pushing traditional silicon designers into areas that require new domains of expertise. In addition to the design of complex hardware, System-on-Chip (SoC) design requires software devel- ment, operating systems and new system architectures. Future SoC designs will resemble a miniature on-chip distributed computing system combining many types of microprocessors, re-configurable fabrics, application-specific hardware and memories, all communicating via an on-chip inter-connection network. Designing good SoCs will require insight into these new types of architectures, the embedded software, and the interaction between the embedded software, the SoC architecture, and the applications for which the SoC is designed. This book collects contributions from the Embedded Software Forum of the Design, Automation and Test in Europe Conference (DATE 03) that took place in March 2003 in Munich, Germany. The success of the Embedded Software Forum at DATE reflects the increasing importance of embedded software in the design of a System-on-Chip. Embedded Software for SoC covers all software related aspects of SoC design Embedded and application-domain specific operating systems, interplay between application, operating system, and architecture. System architecture for future SoC, application-specific architectures based on embedded processors and requiring sophisticated hardware/software interfaces. Compilers and interplay between compilers and architectures. Embedded software for applications in the domains of automotive, avionics, multimedia, telecom, networking, . . .

✦ Table of Contents

Front Matter....Pages i-xix
Application Mapping to a Hardware Platform Through Automated Code Generation Targeting a RTOS....Pages 3-10
Formal Methods for Integration of Automotive Software....Pages 11-24
Lightweight Implementation of the POSIX Threads API for an On-Chip MIPS Multiprocessor with VCI Interconnect....Pages 25-38
Detecting Soft Errors by a Purely Software Approach: Method, Tools and Experimental Results....Pages 39-51
RTOS Modeling for System Level Design....Pages 55-68
Modeling and Integration of Peripheral Devices in Embedded Systems....Pages 69-82
Systematic Embedded Software Generation from Systemc....Pages 83-93
Exploring SW Performance Using SoC Transaction-Level Modeling....Pages 97-109
A Flexible Object-Oriented Software Architecture for Smart Wireless Communication Devices....Pages 111-124
Scheduling and Timing Analysis of HW/SW On-Chip Communication in MP SoC Design....Pages 125-136
Evaluation of Applying SpecC to the Integrated Design Method of Device Driver and Device....Pages 137-150
Interactive Ray Tracing on Reconfigurable SIMD Morphosys....Pages 151-163
Porting a Network Cryptographic Service to the RMC2000....Pages 165-176
Introduction to Hardware Abstraction Layers for SoC....Pages 179-186
Hardware/Software Partitioning of Operating Systems....Pages 187-206
Embedded SW in Digital AM-FM Chipset....Pages 207-212
Control Flow Driven Splitting of Loop Nests at the Source Code Level....Pages 215-229
Data Space Oriented Scheduling....Pages 231-243
Compiler-Directed ILP Extraction for Clustered VLIW/EPIC Machines....Pages 245-259
State Space Compression in History Driven Quasi-Static Scheduling....Pages 261-274
Simulation Trace Verification for Quantitative Constraints....Pages 275-285
Efficient Power/Performance Analysis of Embedded and General Purpose Software Applications....Pages 289-303
Dynamic Parallelization of Array Based On-Chip Multiprocessor Applications....Pages 305-318
SDRAM-Energy-Aware Memory Allocation for Dynamic Multi-Media Applications on Multi-Processor Platforms....Pages 319-330
Safe Automotive Software Development....Pages 333-342
Exploring High Bandwidth Pipelined Cache Architecture for Scaled Technology....Pages 345-358
Enhancing Speedup in Network Processing Applications by Exploiting Instruction Reuse with Flow Aggregation....Pages 359-371
On-Chip Stochastic Communication....Pages 373-386
Hardware/Software Techniques for Improving Cache Performance in Embedded Systems....Pages 387-401
Rapid Configuration & Instruction Selection for an ASIP: A Case Study....Pages 403-417
Generalized Data Transformations....Pages 421-434
Software Streaming via Block Streaming....Pages 435-448
Adaptive Checkpointing with Dynamic Voltage Scaling in Embedded Real-Time Systems....Pages 449-463
Software Architectural Transformations....Pages 467-484
Dynamic Functional Unit Assignment for Low Power....Pages 485-497
Energy-Aware Parameter Passing....Pages 499-512
Low Energy Associative Data Caches for Embedded Systems....Pages 513-525
Back Matter....Pages 527-530

✦ Subjects

Theory of Computation; Software Engineering/Programming and Operating Systems; Circuits and Systems; Computer-Aided Engineering (CAD, CAE) and Design; Electrical Engineering