Hardware/software co-design and co-verification
Author(s)
Bibliographic Information
Hardware/software co-design and co-verification
(Current issues in electronic modeling, v. 8)
Kluwer Academic Publishers, c1997
- set
Available at 10 libraries
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
Note
Includes bibliographical references and index
Description and Table of Contents
Description
Co-Design is the set of emerging techniques which allows for the simultaneous design of Hardware and Software. In many cases where the application is very demanding in terms of various performances (time, surface, power consumption), trade-offs between dedicated hardware and dedicated software are becoming increasingly difficult to decide upon in the early stages of a design. Verification techniques - such as simulation or proof techniques - that have proven necessary in the hardware design must be dramatically adapted to the simultaneous verification of Software and Hardware.
Describing the latest tools available for both Co-Design and Co-Verification of systems, Hardware/Software Co-Design and Co-Verification offers a complete look at this evolving set of procedures for CAD environments. The book considers all trade-offs that have to be made when co-designing a system. Several models are presented for determining the optimum solution to any co-design problem, including partitioning, architecture synthesis and code generation.
When deciding on trade-offs, one of the main factors to be considered is the flow of communication, especially to and from the outside world. This involves the modeling of communication protocols. An approach to the synthesis of interface circuits in the context of co-design is presented.
Other chapters present a co-design oriented flexible component data-base and retrieval methods; a case study of an ethernet bridge, designed using LOTOS and co-design methodologies and finally a programmable user interface based on monitors.
Hardware/Software Co-Design and Co-Verification will help designers and researchers to understand these latest techniques in system design and as such will be of interest to all involved in embedded system design.
Table of Contents
- 1. A Model for Exploring Hardware/Software Trade-offs and Evaluating Design Alternatives
- S. Kumar, et al. 2. ECOS: A Generic Codesign Environment for the Prototyping of Real Time Applications `From Formal Specifications to Hardware-Software Partitioning'
- M. Aiguier, et al. 3. COSMOS: An SDL Based Hardware/Software Codesign Environment
- J.M. Daveau, et al. 4. Hardware/Software Co-Synthesis: Modelling and Synthesis of Interfaces Using Interpreted Petri Nets
- C. Vial, B. Rouzeyre. 5. Flexible Component Retrieval
- S. Venkatesan, K.C. Davis. 6. Co-Design at Work: The Ethernet Bridge Case Study
- L. Sanchez, et al. 7. Programmed Monitoring and Digital System Simulation
- P.A. Wilsey, et al. Index.
by "Nielsen BookData"