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,... Knowledge iS Power......Page 1 Dedication......Page 6 Contents......Page 8 Preface......Page 14 Introduction......Page 16 PART I: EMBEDDED OPERATING SYSTEMS FOR SOC......Page 22 1 APPLICATION MAPPING TO A HARDWARE PLATFORM THROUGH ATOMATED CODE GENERATION TARGETING A RTOS......Page 24 2 FORMAL METHODS FOR INTEGRATION OF AUTOMOTIVE SOFTWARE......Page 32 3 LIGHTWEIGHT IMPLEMENTATION OF THE POSIX THREADS API FOR AN ON-CHIP MIPS MULTIPROCESSOR WITH VCI INTERCONNECT......Page 46 4 DETECTING SOFT ERRORS BY A PURELY SOFTWARE APPROACH:METHOD, TOOLS AND EXPERIMENTAL RESULTS......Page 60 PART II: OPERATING SYSTEM ABSTRACTION AND TARGETING......Page 74 5 RTOS MODELLING FOR SYSTEM LEVEL DESIGN......Page 76 6 MODELING AND INTEGRATION OF PERIPHERAL DEVICES IN EMBEDDED SYSTEMS......Page 90 7 SYSTEMATIC EMBEDDED SOFTWARE GENERATION FROM SYSTEMIC......Page 104 PART III: EMBEDDED SOFTWARE DESIGN AND IMPLEMENTATION......Page 116 8 EXPLORING SW PERFORMANCE USING SOC TRANSACTION-LEVEL MODELING......Page 118 9 A FLEXIBLE OBJECT-ORIENTED SOFTWARE ARCHITECTURE FOR SMART WIRELESS COMMUNICATION DEVICES......Page 132 10 SCHEDULING AND TIMING ANALYSIS OF HW/SW ON-CHIP COMMUNICATION IN MP SOC DESIGN......Page 146 11 EVALUATION OF APPLYING SPECC TO THE INTEGRATED DESIGN METHOD OF DEVICE DRIVER AND DEVICE......Page 158 12 INTERACTIVE RAY TRACING ON RECONFIGURABLE SIMD MORPHOSYS......Page 172 13 PORTING A NETWORK CRYPTOGRAPHIC SERVICE TO THE RMC2000......Page 186 PART IV: EMBEDDED OPERATING SYSTEMS FOR SOC......Page 198 14 INTRODUCTION TO HARDWARE ABSTRACTION LAYERS FOR SOC......Page 200 15 HARDWARE/SOFTWARE PARTITIONING OF OPERATING SYSTEMS......Page 208 16 EMBEDDED SW IN DIGITAL AM-FM CHIPSET......Page 228 PART V: SOFTWARE OPTIMISATION FOR EMBEDDED SYSTEMS......Page 234 17 CONTROL FLOW DRIVEN SPLITTING OF LOOP NESTS AT THE SOURCE CODE LEVEL......Page 236 18 DATA SPACE ORIENTED SCHEDULING......Page 252 19 COMPILER-DIRECTED ILP EXTRACTION FOR CLUSTERED VLIW/EPIC MACHINES......Page 266 20 STATE SPACE COMPRESSION IN HISTORY DRIVEN QUASI-STATIC SCHEDULING......Page 282 21 SIMULATION TRACE VERIFICATION FOR QUANTITATIVE CONSTRAINTS......Page 296 PART VI: ENERGY AWARE SOFTWARE TECHNIQUES......Page 308 22 EFFICIENT POWER/PERFORMANCE ANALYSIS OF EMBEDDED AND GENERAL PURPOSE SOFTWARE APPLICATIONS......Page 310 23 DYNAMIC PARALLELIZATION OF ARRAY BASED ON-CHIP MULTIPROCESSOR APPLICATIONS......Page 326 24 SDRAM-ENERGY-AWARE MEMORY ALLOCATION FOR DYNAMIC MULTI-MEDIA APPLICATIONS ON MULTI-PROCESSOR PLATFORMS......Page 340 PART VII: SAFE AUTOMOTIVE SOFTWARE DEVELOPMENT......Page 352 25 SAFE AUTOMOTIVE SOFTWARE DEVELOPMENT......Page 354 PART VIII: EMBEDDED SYSTEM ARCHITECTURE......Page 364 26 EXPLORING HIGH BANDWIDTH PIPELINED CACHE ARCHITECTURE FOR SCALED TECHNOLOGY......Page 366 27 ENHANCING SPEEDUP IN NETWORK PROCESSING APPLICATIONS BY EXPLOITING INSTRUCTION REUSE WITH FLOW AGGREGATION......Page 380 28 ON-CHIP STOCHASTIC COMMUNICATION......Page 394 29 HARDWARE/SOFTWARE TECHNIQUES FOR IMPROVING CACHE PERFORMANCE IN EMBEDDED SYSTEMS......Page 408 30 RAPID CONFIGURATION & INSTRUCTION SELECTION FOR AN ASIP: A CASE STUDY......Page 424 PART IX TRANSFORMATIONS FOR REAL-TIME SOFTWARE......Page 440 31 GENERALIZED DATA TRANSFORMATIONS......Page 442 32 SOFTWARE STREAMING VIA BLOCK STREAMING......Page 456 33 ADAPTIVE CHECKPOINTING WITH DYNAMIC VOLTAGE SCALING IN EMBEDDED REAL-TIME SYSTEMS......Page 470 PART X: LOW POWER SOFTWARE......Page 486 34 SOFTWARE ARCHITECTURAL TRANSFORMATIONS......Page 488 35 DYNAMIC FUNCTIONAL UNIT ASSIGNMENT FOR LOW POWER......Page 506 36 ENERGY-AWARE PARAMETER PASSING......Page 520 37 LOW ENERGY ASSOCIATIVE DATA CACHES FOR EMBEDDED SYSTEMS......Page 534 Index......Page 548 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 .. 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 development, 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. 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. Embedded Software for SoC is a must-read for SoC designers that want to broaden their horizons to include the ever-growing embedded software content of their next SoC design. The book will provide embedded software designers invaluable insights into the constraints imposed by the use of embedded software in a SoC context This title covers all software-related aspects of SoC design, from embedded and application-domain specific operating systems to system architecture for future SoC. It will give embedded software designers invaluable insights into the constraints imposed by the use of embedded software in an SoC context.