The Codesign of Embedded Systems: A Unified Hardware/Software Representation

The Codesign of Embedded Systems: A Unified Hardware/Software Representation
Author :
Publisher : Springer Science & Business Media
Total Pages : 288
Release :
ISBN-10 : 9781461312932
ISBN-13 : 1461312930
Rating : 4/5 (930 Downloads)

Book Synopsis The Codesign of Embedded Systems: A Unified Hardware/Software Representation by : Sanjaya Kumar

Download or read book The Codesign of Embedded Systems: A Unified Hardware/Software Representation written by Sanjaya Kumar and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 288 pages. Available in PDF, EPUB and Kindle. Book excerpt: Current practice dictates the separation of the hardware and software development paths early in the design cycle. These paths remain independent with very little interaction occurring between them until system integration. In particular, hardware is often specified without fully appreciating the computational requirements of the software. Also, software development does not influence hardware development and does not track changes made during the hardware design phase. Thus, the ability to explore hardware/software tradeoffs is restricted, such as the movement of functionality from the software domain to the hardware domain (and vice-versa) or the modification of the hardware/software interface. As a result, problems that are encountered during system integration may require modification of the software and/or hardware, resulting in potentially significant cost increases and schedule overruns. To address the problems described above, a cooperative design approach, one that utilizes a unified view of hardware and software, is described. This approach is called hardware/software codesign. The Codesign of Embedded Systems develops several fundamental hardware/software codesign concepts and a methodology that supports them. A unified representation, referred to as a decomposition graph, is presented which can be used to describe hardware or software using either functional abstractions or data abstractions. Using a unified representation based on functional abstractions, an abstract hardware/software model has been implemented in a common simulation environment called ADEPT (Advanced Design Environment Prototyping Tool). This model permits early hardware/software evaluation and tradeoff exploration. Techniques have been developed which support the identification of software bottlenecks and the evaluation of design alternatives with respect to multiple metrics. The application of the model is demonstrated on several examples. A unified representation based on data abstractions is also explored. This work leads to investigations regarding the application of object-oriented techniques to hardware design. The Codesign of Embedded Systems: A Unified Hardware/Software Representation describes a novel approach to a topic of immense importance to CAD researchers and designers alike.


The Codesign of Embedded Systems: A Unified Hardware/Software Representation Related Books

The Codesign of Embedded Systems: A Unified Hardware/Software Representation
Language: en
Pages: 288
Authors: Sanjaya Kumar
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Current practice dictates the separation of the hardware and software development paths early in the design cycle. These paths remain independent with very litt
Designing a Modern Skeleton Programming Framework for Parallel and Heterogeneous Systems
Language: en
Pages: 155
Authors: August Ernstsson
Categories:
Type: BOOK - Published: 2020-10-21 - Publisher: Linköping University Electronic Press

DOWNLOAD EBOOK

Today's society is increasingly software-driven and dependent on powerful computer technology. Therefore it is important that advancements in the low-level proc
Formal Verification of Tree Ensembles in Safety-Critical Applications
Language: en
Pages: 22
Authors: John Törnblom
Categories:
Type: BOOK - Published: 2020-10-28 - Publisher: Linköping University Electronic Press

DOWNLOAD EBOOK

In the presence of data and computational resources, machine learning can be used to synthesize software automatically. For example, machines are now capable of
Automatic Verification of Parameterized Systems by Over-Approximation
Language: en
Pages: 155
Authors: Vladislavs Jahundovics
Categories:
Type: BOOK - Published: 2015-11-17 - Publisher: Linköping University Electronic Press

DOWNLOAD EBOOK

This thesis presents a completely automatic verification framework to check safety properties of parameterized systems. A parameterized system is a family of fi
Towards Semantically Enabled Complex Event Processing
Language: en
Pages: 169
Authors: Robin Keskisärkkä
Categories:
Type: BOOK - Published: 2017-10-30 - Publisher: Linköping University Electronic Press

DOWNLOAD EBOOK

The Semantic Web provides a framework for semantically annotating data on the web, and the Resource Description Framework (RDF) supports the integration of stru