Hardware/Software Co-Design and Co-Verification

Nonfiction, Science & Nature, Technology, Electronics, Circuits, Computers, Advanced Computing, Computer Science
Cover of the book Hardware/Software Co-Design and Co-Verification by , Springer US
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9781475726299
Publisher: Springer US Publication: March 9, 2013
Imprint: Springer Language: English
Author:
ISBN: 9781475726299
Publisher: Springer US
Publication: March 9, 2013
Imprint: Springer
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer US

Cover of the book Advances in Diagnosis and Management of Ovarian Cancer by
Cover of the book Cognitive Activation in the Mathematics Classroom and Professional Competence of Teachers by
Cover of the book Methods in Mammary Gland Biology and Breast Cancer Research by
Cover of the book Stress and Distress among the Unemployed by
Cover of the book The Changing Nature of Pain Complaints over the Lifespan by
Cover of the book Fiber Optics Engineering by
Cover of the book Toxic Turmoil by
Cover of the book Apoptosis Genes by
Cover of the book Changing Welfare by
Cover of the book Health Care Benchmarking and Performance Evaluation by
Cover of the book Insulin-like Growth Factors and Cancer by
Cover of the book Evoked Brain Potentials in Psychiatry by
Cover of the book Flexible Food Packaging by
Cover of the book Technology of the Guitar by
Cover of the book Nurturing Morality by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy