Modeling Embedded Systems And Soc's

Modeling Embedded Systems And Soc's

5.0 1
by Axel Jantsch
     
 

ISBN-10: 1558609253

ISBN-13: 9781558609259

Pub. Date: 01/01/2004

Publisher: Elsevier Science

Over the last decade, advances in the semiconductor fabrication process have led to the realization of true system-on-a-chip devices. But the theories, methods and tools for designing, integrating and verifying these complex systems have not kept pace with our ability to build them. System level design is a critical component in the search for methods to develop

…  See more details below

Overview

Over the last decade, advances in the semiconductor fabrication process have led to the realization of true system-on-a-chip devices. But the theories, methods and tools for designing, integrating and verifying these complex systems have not kept pace with our ability to build them. System level design is a critical component in the search for methods to develop designs more productively. However, there are a number of challenges that must be overcome in order to implement system level modeling.

This book directly addresses that need by developing organizing principles for understanding, assessing, and comparing the different models of computation necessary for system level modeling. Dr. Axel Jantsch identifies the representation of time as the essential feature for distinguishing these models. After developing this conceptual framework, he presents a single formalism for representing very different models, allowing them to be easily compared. As a result, designers, students, and researchers are able to identify the role and the features of the "right" model of computation for the task at hand.

• Offers a unique and significant contribution to the emerging field of models of computation

• Presents a systematic way of understanding and applying different Models of Computation to embedded systems and SoC design

• Offers insights and illustrative examples for practioners, researchers and students of complex electronic systems design.

Read More

Product Details

ISBN-13:
9781558609259
Publisher:
Elsevier Science
Publication date:
01/01/2004
Series:
Systems on Silicon Series
Edition description:
New Edition
Pages:
374
Product dimensions:
0.88(w) x 10.00(h) x 7.00(d)

Table of Contents

Preface
1. Introduction
2. Behavior and Concurrency
3. The Untimed Model of Computation
4. The Synchronous Model of Computation
5. The Timed Model of Computation
6. MoC Interfaces
7. Tightly Coupled Process Networks
8. Nondeterminism and Probability
9. Applications
10. Concluding Remarks

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >

Modeling Embedded Systems And Soc's 5 out of 5 based on 0 ratings. 1 reviews.
yoav_sachnovsky_yanai More than 1 year ago
Whether you are new to system modelling -- whether you are a seasoned engineer, you will not fail to appreciate the thorougness of Axel Janstch book on modelling thoery: from the classic Finite State Machine to more complex untimed, timed, synchronous and concurrent models of computation. I had the privilege to attend a course on System Modelling 5 years ago, as a Masters degree student at the Technical University of Denmark (DTU). Professor Axel Jantsch has the rare ability to illustrate how this highly-formalistic methodology can be applied to solve complex engineering problems.