Readings in Hardware/Software Co-Design
Couldn't load pickup availability
Table of contents
- Cover
- Readings in Hardware/Software Co-Designiii
- Copyright Pageiv
- Contentsv
- PREFACEix
- ACKNOWLEDGMENTSxi
- Chapter 1. Introduction1
- Hardware-Software Cosynthesis for Digital Systems5
- Hardware-Software Cosynthesis for Microcontrollers18
- Hardware-Software Co-Design30
- Codesign of Embedded Systems: Status and Trends45
- Chapter 2. Modeling55
- Dataflow Process Networks59
- Design of Embedded Systems: Formal Models, Validation, and Synthesis86
- SpecSyn: An Environment Supporting the Specify-Explore-Refine Paradigm for Hardware/Software System108
- VHDL Generation from SDL Specifications125
- STATEMATE: A Working Environment for the Development of Complex Reactive Systems135
- The Synchronous Approach to Reactive and Real-Time Systems147
- Chapter 3. Analysis and Estimation161
- Performance Estimation of Embedded Software with Instruction Cache Modeling167
- Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment179
- Performance Estimation for Real-Time Distributed Embedded Systems195
- Rate Analysis for Embedded Systems207
- Power Analysis of Embedded Software: A First Step Towards Software Power Minimization222
- A Survey of Design Techniques for System-Level Dynamic Power Management231
- Power Estimation of Embedded Systems: A Hardware/Software Codesign Approach249
- A Framework for Estimating and Minimizing Energy Dissipation of Embedded HW/SW Systems259
- Hardware/Software Co-Synthesis with Memory Hierarchies265
- System Level Memory Optimization for Hardware-Software Co-design278
- A Path-Based Technique for Estimating Hardware Runtime in HW/SW-Cosynthesis283
- Chapter 4. System-level Partitioning, Synthesis, and Interfacing289
- The Extended Partitioning Problem: Hardware/Software Mapping, Scheduling, and Implementation-bin Sel293
- Hardware-Software Codesign of Embedded Systems313
- SOS: Synthesis of Application-Specific Heterogeneous Multiprocessor Systems324
- An Architectural Co-Synthesis Algorithm for Distributed, Embedded Computing Systems338
- Control Generation for Embedded Systems on Composition of Modal Processes350
- Interface Co-Synthesis Techniques for Embedded Systems358
- Protocol Selection and Interface Generation for HW-SW Codesign366
- Clairvoyant: A Synthesis System for Production-Based Specification375
- Real-Time Multi-Tasking in Software Synthesis for Information Processing Systems389
- Co-Synthesis and Co-Simulation of Control-Dominated Embedded Systems395
- CoWare„A Design Environment for Heterogeneous Hardware/Software Systems412
- Chapter 5 . Implementation Generation427
- Embedded Software in Real-Time Signal Processing Systems: Design Technologies433
- Generating Compact Code from Dataflow Specifications of Multirate Signal Processing Algorithms452
- Memory Management for Embedded Network Applications465
- Lower Bound on Latency for VLIW ASIP Datapaths477
- Constraint Analysis for DSP Code Generation485
- Instruction Selection Using Binate Covering for Code Size Optimization499
- A Retargetable Compilation Methodology for Embedded Digital Signal Processors Using a Machine-Depend506
- Incremental Hardware Estimation During Hardware/Software Functional Partitioning516
- Chapter 6. Co-Simulation and Emulation523
- Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems527
- Synthesis and Simulation of Digital Systems Containing Interacting Hardware and Software Components544
- An Engineering Environment for Hardware/Software Co-simulation550
- A Hardware-Software Codesign Methodology for DSP Applications556
- A Hardware-Software Co-simulator for Embedded System Design and Debugging569
- A Unified Model for Co-simulation and Co-synthesis of Mixed Hardware/Software Systems579
- Compiled HW/SW Co-simulation584
- Hardware-Software Prototyping from LOTOS590
- Chapter 7. Reconfigurable Computing Platforms607
- Programmable Active Memories: Reconfigurable Systems Come of Age611
- Logic Emulation with Virtual Wires625
- Embryonics: A New Methodology for Designing Field-Programmable Gate Arrays with Self-Repair and Self643
- Chapter 8. Case Studies657
- Electronic and Firmware Design of the HP DesignJet Drafting Plotter661
- Design and Implementation of a Robot Control System Using a Unified Hardware-Software Rapid-Prototyp669
- The Infopad Multimedia Terminal: A Portable Device for Wireless Information Access673
- A Processor-Coprocessor Architecture for High End Video Applications688
- Author Index693
- Subject Index695
- ABOUT THE AUTHORS697
Embedded system designers are constantly looking for new tools and techniques to help satisfy the exploding demand for consumer information appliances and specialized industrial products. One critical barrier to the timely release of embedded system products is integrating the design of the hardware and software systems. Hardware/software co-design is a set of methodologies and techniques specifically created to support the concurrent design of both systems, effectively reducing multiple iterations and major redesigns. In addition to its critical role in the development of embedded systems, many experts believe that co-design will be a key design methodology for Systems-on-a-Chip.
Readings in Hardware/Software Co-Design presents the papers that have shaped the hardware/software co-design field since its inception in the early 90s. Field experts -- Giovanni De Micheli, Rolf Ernst, and Wayne Wolf -- introduce sections of the book, and provide context for the paper that follow. This collection provides professionals, researchers and graduate students with a single reference source for this critical aspect of computing design.
* Over 50 peer-reviewed papers written from leading researchers and designers in the field
* Selected, edited, and introduced by three of the fields' most eminent researchers and educators
* Accompanied by an annually updated companion Web site with links and references to recently published papers, providing a forum for the editors to comment on how recent work continues or breaks with previous work in the field