Skip to main content
SpringerLink
Log in
Book cover

Hardware/Software Co-Design and Co-Verification

  • Book
  • © 1997

Overview

Editors:
  1. Jean-Michel Bergé

    1. CNET, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Oz Levia

    1. Cadence Design Systems, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Jacques Rouillard

    1. ESIM, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Current Issues in Electronic Modeling (CIEM, volume 8)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (7 chapters)

  1. Front Matter

    Pages I-XIX
    Download chapter PDF

  2. A Model for Exploring Hardware/Software Trade-offs and Evaluating Design Alternatives

    • Sanjaya Kumar, James H. Aylor, Barry W. Johnson, Wm. A. Wulf, Ronald D. Williams
    Pages 1-22

  3. ECOS A Generic Codesign Environment for the Prototyping of Real Time Applications “From Formal Specifications to Hardware-Software Partitioning”

    • M. Aiguier, J. Benzakki, G. Bernot, S. Beroff, D. Dupont, L. Freund et al.
    Pages 23-57

  4. Cosmos: An SDL Based Hardware/Software Codesign Environment

    • J. M. Daveau, G. F. Marchioro, T. Ben-Ismail, A. A. Jerraya
    Pages 59-87

  5. Hardware/Software Co-Synthesis: Modelling and Synthesis of Interfaces Using Interpreted Petri Nets

    • Christophe Vial, Bruno Rouzeyre
    Pages 89-107

  6. Flexible Component Retrieval

    • Satish Venkatesan, Karen C. Davis
    Pages 109-124

  7. Co-Design at Work: the Ethernet Bridge Case Study

    • L. Sánchez, M. L. López, N. Martínez, C. Carreras, J. C. López, C. Delgado-Kloos et al.
    Pages 125-143

  8. Programmed Monitoring and Digital System Simulation

    • Philip A. Wilsey, Ranga Vemuri, Peter J. Ashenden, Norman E. Mause
    Pages 145-162

  9. Back Matter

    Pages 163-165
    Download chapter PDF
Back to top

Keywords

About this book

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.

Editors and Affiliations

  • CNET, France

    Jean-Michel Bergé

  • Cadence Design Systems, USA

    Oz Levia

  • ESIM, France

    Jacques Rouillard

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation