Modeling Embedded Systems and SoC's: Concurrency and Time in Models of Computation

Other | June 1, 2003

byJantsch, Axel, Axel Jantsch

not yet rated|write a review
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.

Pricing and Purchase Info

$83.89 online
$108.86 list price (save 22%)
In stock online
Ships free on orders over $25

From the Publisher

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 se...

Axel Jantsch received a Dipl.Ing. in 1988 and a Dr. Tech. degree in 1992 from the Technical University of Vienna. Between 1993 and 1995 he received the Alfred Schrödinger scholarship from the Austrian Science Foundation as a guest researcher at the Royal Institute of Technology (KTH) in Stockholm. From 1995 through 1997 he was with Sie...

other books by Jantsch, Axel

Scalable Multi-core Architectures: Design Methodologies and Tools
Scalable Multi-core Architectures: Design Methodologies...

Kobo ebook|Oct 17 2011

$101.39 online$131.64list price(save 22%)
3D Integration for NoC-based SoC Architectures
3D Integration for NoC-based SoC Architectures

Kobo ebook|Nov 8 2010

$146.49 online$190.16list price(save 22%)
Designing 2D and 3D Network-on-Chip Architectures
Designing 2D and 3D Network-on-Chip Architectures

Kobo ebook|Oct 8 2013

$101.39 online$131.64list price(save 22%)
Format:OtherDimensions:351 pages, 1 × 1 × 1 inPublished:June 1, 2003Publisher:Morgan KaufmannLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:0080511821

ISBN - 13:9780080511825

Customer Reviews of Modeling Embedded Systems and SoC's: Concurrency and Time in Models of Computation

Reviews

Extra Content

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