1 Essential Issues in Codesign.- 2 Hardware/Software Co-Synthesis Algorithms.- 3 Prototyping and Emulation.- 4 Target Architectures.- 5 Compilation Techniques and Tools for Embedded Processor Architectures.- 6 Design Specification and Verification.- 7 Languages for System-Level Specification and Design.- 8 The Cosyma System.- 9 Hardware/Software Partitioning using the LYCOS System.- 10 Cosmos: A Transformational Co-Design Tool for Multiprocessor Architectures.- References.

Introduction to Hardware-Software Co-Design presents a number of issues of fundamental importance for the design of integrated hardware software products such as embedded, communication, and multimedia systems. This book is a comprehensive introduction to the fundamentals of hardware/software co-design. Co-design is still a new field but one which has substantially matured over the past few years. This book, written by leading international experts, covers all the major topics including:

• fundamental issues in co-design;
• hardware/software co-synthesis algorithms;
• prototyping and emulation;
• target architectures;
• compiler techniques;
• specification and verification;
• system-level specification.

Special chapters describe in detail several leading-edge co-design systems including Cosyma, LYCOS, and Cosmos.
Introduction to Hardware-Software Co-Design contains sufficient material for use by teachers and students in an advanced course of hardware/software co-design. It also contains extensive explanation of the fundamental concepts of the subject and the necessary background to bring practitioners up-to-date on this increasingly important topic.