Jørgen Staunstrup - Böcker

This text presents a number of issues of fundamental importance for the design of integrated hardware software products such as embedded, communication, and multimedia systems. It is a comprehensive introduction to the fundamentals of hardware/software co-design. Co-design is still a new field in the late 1990s but one which has substantially matured over the past few years. This book, written by 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; and system-level specification. Special chapters describe in detail several co-design systems including Cosyma, LYCOS, and Cosmos. The work 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.

"A Formal Approach to Hardware Design" discusses designing computations to be realized by application-specific hardware. It introduces a formal design approach based on a high-level design language called Synchronized Transitions. The models created using Synchronized Transitions enable the designer to perform different kinds of analysis and verification based on descriptions in a single language. It is, for example, possible to use the same design description both for mechanically supported verification and synthesis. Synchronized Transitions is supported by a collection of public domain CAD tools. These tools can be used with the book in presenting a course on the subject. The prototype CAD tools are all available by anonymous ftp, as is the table of contents. This work aims to illustrate the benefits to be gained from adopting such techniques, but it does so without assuming prior knowledge of formal design methods. As such, this book should serve not only as a valuable reference but is also suitable for use by students and practitioners.

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.