Modeling Embedded Systems and SoC's - Concurrency and Time in Models of Computation (Hardcover, New)

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.

General

Imprint:	Morgan Kaufmann Publishers In
Country of origin:	United States
Series:	Systems on Silicon
Release date:	June 2003
First published:	June 2003
Authors:	Axel Jantsch
Dimensions:	235 x 187 x 22mm (L x W x T)
Format:	Hardcover
Pages:	376
Edition:	New
ISBN-13:	978-1-55860-925-9
Categories:	Books > Computing & IT > General theory of computing > Systems analysis & design Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design > General Books > Academic & Education > Professional & Technical > Computing Promotions
LSN:	1-55860-925-3
Barcode:	9781558609259

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!