Hardware/Software Co-Design and Co-Verification

Hardware/Software Co-Design and Co-Verification
Author :
Publisher : Springer Science & Business Media
Total Pages : 178
Release :
ISBN-10 : 9781475726299
ISBN-13 : 1475726295
Rating : 4/5 (99 Downloads)

Book Synopsis Hardware/Software Co-Design and Co-Verification by : Jean-Michel Bergé

Download or read book Hardware/Software Co-Design and Co-Verification written by Jean-Michel Bergé and published by Springer Science & Business Media. This book was released on 2013-03-09 with total page 178 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Hardware/Software Co-Design and Co-Verification Related Books

Hardware/Software Co-Design and Co-Verification
Language: en
Pages: 178
Authors: Jean-Michel Bergé
Categories: Technology & Engineering
Type: BOOK - Published: 2013-03-09 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

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 deman
Co-verification of Hardware and Software for ARM SoC Design
Language: en
Pages: 287
Authors: Jason Andrews
Categories: Technology & Engineering
Type: BOOK - Published: 2004-09-04 - Publisher: Elsevier

DOWNLOAD EBOOK

Hardware/software co-verification is how to make sure that embedded system software works correctly with the hardware, and that the hardware has been properly d
Hardware/Software Co-Design
Language: en
Pages: 406
Authors: Jørgen Staunstrup
Categories: Technology & Engineering
Type: BOOK - Published: 2013-04-17 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Introduction to Hardware-Software Co-Design presents a number of issues of fundamental importance for the design of integrated hardware software products such a
A Practical Introduction to Hardware/Software Codesign
Language: en
Pages: 403
Authors: Patrick R. Schaumont
Categories: Technology & Engineering
Type: BOOK - Published: 2010-09-09 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This is a practical book for computer engineers who want to understand or implement hardware/software systems. It focuses on problems that require one to combin
Hardware-Software Co-Design of Embedded Systems
Language: en
Pages: 311
Authors: F. Balarin
Categories: Technology & Engineering
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Embedded systems are informally defined as a collection of programmable parts surrounded by ASICs and other standard components, that interact continuously with