Readings in Hardware/Software Co-Design

Edited by

  • Giovanni De Micheli
  • Rolf Ernst, Technical University of Braunschweig, Germany
  • Wayne Wolf, Georgia Institute of Technology, Atlanta, USA

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.

View full description


Book information

  • Published: June 2001
  • ISBN: 978-1-55860-702-6

Table of Contents

CONTENTSPREFACEACKNOWLEDGMENTSChapter 1: IntroductionHardware-Software Cosynthesis for Digital SystemsR. K Gupta and G. De MicheliHardware-Software Cosynthesis for MicrocontrollersR. Ernst, J. Henkel, and T. BennerHardware-Software Co-Design G. De Micheli and R. K GuptaCodesign of Embedded Systems: Status and TrendsR. ErnstChapter 2: ModelingDataflow Process Networks E. A. Lee and T. M. ParksDesign of Embedded Systems: Formal Models, Validation, and SynthesisS. Edwards, L. Lavagno, E. A. Lee, and A. Sangiovanni-VincentelliSpecSyn: An Environment Supporting the Specify-Explore-Refine Paradigm for Hardware/Software System Design D. D. Gajski, F: Vahid, S. Narayan, and J. GongVHDL Generation from SDL Specifications J.-M. Daveau, G. Femandes Marchioro, C. Alberto Valderrama, and A. Amine JerrayaSTATEMATE: A Working Environment for the Development of Complex Reactive Systems D. Harel, H. Lachover, A. Naamad, A. Pnyeli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. TrakhtenbrotThe Synchronous Approach to Reactive and Real-Time Systems A. Benveniste and G. BerryChapter 3: Analysis and ktimationPerformance Estimation of Embedded Software with Instruction Cache ModelingY.-T. S. Li, S. Malik, and A. WolfeScheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment C. L. Liu and J. W. LaylandPerformance Estimation for Real-Time Distributed Embedded SystemsT.-Y. Yen and W. WolfRate Analysis for Embedded SystemsA. Mathur, A. Dasdan, and R. K GuptaPower Analysis of Embedded Software: A First Step Towards Software Power MinimizationV Tiwari, S. Malik, and A. WolfeA Survey of Design Techniques for System-Level Dynamic Power ManagementL. Benini, A. Bogliolo, and G. De MicheliPower Estimation of Embedded Systems: A Hardware/Software Codesign Approach W. Fornaciari, P. Gubian, D. Sciuto, and C. SilvanoA Framework for Estimating and Minimizing Energy Dissipation of Embedded HW/SW Systems Y. Li and J. HenkelHardware/Software Co-Synthesis with Memory Hierarchies Y. Li and W. WolfSystem Level Memory Optimization for Hardware-Software Co-designK. Danckaert, F. Catthoor, and H. De ManA Path-Based Technique for Estimating Hardware Runtime in HW/SW-CosynthesisJ. Henkel and R. ErnstChapter 4: System-Level Partitioning, Synthesis and lnterfacingThe Extended Partitioning Problem: Hardware/Software Mapping, Scheduling, and Implementation-bin Selection A. Kalavade and E. A. LeeHardware-Software Codesign of Embedded Systems M. Chiodo, P. Giusto, A. Jurecska, H. C. Hsieh, A. Sangiovanni-Vincentelli, and L. LavagnoSOS: Synthesis of Application-Specific Heterogeneous Multiprocessor SystemsS. Prakash and A. C. ParkerAn Architectural Co-Synthesis Algorithm for Distributed, Embedded Computing SystemsW. WolfControl Generation for Embedded Systems on Composition of Modal Processes P. Chou, K Hines, K Partridge, and G. BorrielloInterface Co-Synthesis Techniques for Embedded Systems P. Chou, R. B. Ortega, and G. BorrielloProtocol Selection and Interface Generation for HW-SW Codesign J.-M. Daveau, G. Fernandes Marchioro, T. Ben-lsmail, and A. Amine JerrayaClairvoyant: A Synthesis System for Production-Based Specification A. Seawright and F: BrewerReal-Time Multi-Tasking in Software Synthesis for Information Processing Systems 389F. Thoen, M. Cornero, G. Goossens, and H. De ManCo-Synthesis and Co-Simulation of Control-Dominated Embedded SystemsA. Balboni, W. Fornaciari, and D. SciutoCoWare-A Design Environment for Heterogeneous Hardware/Software SystemsD. Verkest, K Van Rompaey, 1. Bolsens, and H. De ManChapter 5: Implementation GenerationEmbedded Software in Real-Time Signal Processing Systems: Design TechnologiesG. Goossens, J. Van Praet, D. Lanneer, W. Geurts, A. Kifli, C. Liem, and P. G. PaulinGenerating Compact Code from Dataflow Specifications of Multirate Signal Processing AlgorithmsS. S. Bhattacharyya, J. T. Buck, S. Ha, and E. A. LeeMemory Management for Embedded Network ApplicationsS. Wuytack, J. L. da Silva, Jr., F: Catthoor, G. de Jong, and C. Ykman-CouvreurLower Bound on Latency for VLIW ASIP Datapaths M. F: Jacome and G. de VecianaConstraint Analysis for DSP Code Generation B. Mesman, A. H. Timmer, J. L. van Meerbergen, and J. A. G. JessInstruction Selection Using Binate Covering for Code Size OptimizationS. Liao, S. Devadas, K. Keutzer, and S. TijangA Retargetable Compilation Methodology for Embedded Digital Signal Processors Using a Machine-Dependent Code Optimization Library A. Sudarsanam, S. Malik, and M. FujitaIncremental Hardware Estimation During Hardware/Software Functional PartitioningF. Vahid and D. D. GajskiChapter 6: Co-Simulation and EmulationPtolemy: A Framework for Simulating and Prototyping Heterogeneous SystemsJ. Buck, S. Ha, E. A. Lee, and D. G. MesserschmittSynthesis and Simulation of Digital Systems Containing Interacting Hardware and Software Components R. K Gupta, C. N. Coelho, Jr., and G. De MicheliAn Engineering Environment for Hardware/Software Co-simulation D. Becker, R. K Singh, and S. G. TellA Hardware-Software Codesign Methodology for DSP ApplicationsA. Kalavade and E. A. LeeA Hardware-Software Co-simulator for Embedded System Design and Debugging A. Ghosh, M. Bershteyn, R. Casley, C. Chien, A. Jain, M. Lipsie, D. Tarrodaychik, and O. YamamotoA Unified Model for Co-simulation and Co-synthesis of Mixed Hardware/Software SystemsC. A. Valderrama, A. Changuel, P. V. Raghavan, M. Abid, T. Ben Ismail, and A. A. JerrayaCompiled HW/SW Co-simulationV. Zivojnovic and H. MeyrHardware-Software Prototyping from LOTOSL. Sánchez Fernandez, Gernot Koch, N. Martfnez Madrid, M. L. Lopéz Vallejo, C. Delgado Kloos, and W. RosenstielChapter 7: Reconfigurable Computing PlatformsProgrammable Active Memories: Reconfigurable Systems Come of AgeJ. Vuillemin, P. Bertin, D. Roncin, M. Shand, H. H. Touati, and P. BoucardLogic Emulation with Virtual Wires J. Babb, R. Tessier, M Dahl, S. Zimi Hanono, D. M. Hoki, and A. AgarwalEmbryonics: A New Methodology for Designing Field-Programmable Gate Arrays with Self-Repair and Self-Replicating Properties D. Mange, E. Sanchez, A. Stauffer, G. Tempesti, P. Marchal, and C. PiguetChapter 8: Case StudiesElectronic and Firmware Design of the HP DesignJet Drafting Plotter A. H. Mebane IV, J. R. Schmedake, I.-S. Chen, and A. P. KadonagaDesign and Implementation of a Robot Control System Using a Unified Hardware-Software Rapid-Prototyping Framework M B. Srivastava, T. 1. Blumenau, and R. W. BrodersenThe Infopad Multimedia Terminal: A Portable Device for Wireless Information AccessT. E. Truman, T. Pering, R. Doering, and R. W. BrodersenA Processor-Coprocessor Architecture for High End Video Applications E. Maas, D. Hermann, R. Ernst, P. Rüffer, S. Hasenzahl, and M. SeitzAUTHOR INDEXSUBJECT INDEXABOUT THE AUTHORS