Part II: Models and Languages for Codesign ========================================== Ch2 - Quartz: A Synchronous Language for Model-Based Design of Reactive Embedded Systems Ch3 - SysteMoC: A Data-Flow Programming Language for Codesign Ch4 - ForSyDe: System Design Using a Functional Language and Models of Computation Ch5 - Modeling Hardware/Software Embedded Systems with UML/MARTE: A Single-Source Design Approach Part III: Design Space Exploration ================================== Ch6 - Optimization Strategies in Design Space Exploration Ch7 - Hybrid Optimization Techniques for System-Level Design Space Exploration Ch8 - Architecture and Cross-Layer Design Space Exploration Ch9 - Scenario-Based Design Space Exploration Ch10 - Design Space Exploration and Run-Time Adaptation for Multicore Resource Management Under Performance and Power Constraints Part IV: Processor, Memory, and Communication Architecture Design ================================================================= Ch11 - Reconfigurable Architectures Ch12 - Application-Specific Processors Ch13 - Memory Architectures Ch14 - Emerging and Nonvolatile Memory Ch15 - Network-on-Chip Design Ch16 - NoC-Based Multiprocessor Architecture for Mixed-Time-Criticality Applications Part V: Hardware/Software Cosimulation and Prototyping ====================================================== Ch17 - Parallel Simulation Ch18 - Multiprocessor System-on-Chip Prototyping Using Dynamic Binary Translation Ch19 - Host-Compiled Simulation Ch20 - Precise Software Timing Simulation Considering Execution Contexts Part VI: Performance Estimation, Analysis, and Verification =========================================================== Ch21 - Timing Models for Fast Embedded Software Performance Analysis Ch22 - Semiformal Assertion-Based Verification of Hardware/Software Systems in a Model-Driven Design Framework Ch23 - CPA: Compositional Performance Analysis Ch24 - Networked Real-Time Embedded Systems Part VII: Hardware/Software Compilation and Synthesis ===================================================== Ch25 - Hardware-Aware Compilation Ch26 - Memory-Aware Optimization of Embedded Software for Multiple Objectives Ch27 - Microarchitecture-Level SoC Design Part VIII: Codesign Tools and Environment ========================================= Ch28 - MAPS: A Software Development Environment for Embedded Multicore Applications Ch29 - HOPES: Programming Platform Approach for Embedded Systems Design Ch30 - DAEDALUS: System-Level Design Methodology for Streaming Multiprocessor Embedded Systems on Chips Ch31 - SCE: System-on-Chip Environment Ch32 - Metamodeling and Code Generation in the Hardware/Software Interface Domain Ch33 - Hardware/Software Codesign Across Many Cadence Technologies Ch34 - Synopsys Virtual Prototyping for Software Development and Early Architecture Analysis Part IX: Applications and Case Studies ====================================== Ch35 - Joint Computing and Electric Systems Optimization for Green Datacenters Ch36 - The DSPCAD Framework for Modeling and Synthesis of Signal Processing Systems Ch37 - Control/Architecture Codesign for Cyber-Physical Systems Ch38 - Wireless Sensor Networks Ch39 - Codesign Case Study on Transport-Triggered Architectures