【Morgan Kaufmann 2003】Modeling Embedded Systems and SoC's(Systems on Silicon)

benemale · 发表于 2008-6-15 14:16:18

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

您需要登录才可以下载或查看，没有账号？注册

x

登录/注册后可看大图

[size=120%]Modeling Embedded Systems and SoC's: Concurrency and Time in Models of Computation (The Morgan Kaufmann Series in Systems on Silicon) (Systems on Silicon)
By Axel Jantsch

Publisher: Morgan Kaufmann
Number Of Pages: 351
Publication Date: 2003-06
ISBN-10 / ASIN: 1558609253
ISBN-13 / EAN: 9781558609259
Binding: Hardcover

Product Description:
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.

Summary: Now I understand how "modelling" covers many spheres...
Rating: 5
The writer of this book, Dr. Axel Jantsch, is a professor at the Royal Institute of Technology in Stockholm, Sweden. As a postgraduate student at the Technical University of Denmark, I have participated Dr. Jantsch's course whose curriculum was dictated by this book. Dr. Jantsch is a splendid lecturer and his a pioneer in his comprehensive, yet highly-readable, cover of modelling technieques for embedded systems. The book covers in depth notions such as final state machines, petri nets, as well as the untimed, timed and synchronous computation models. Dr. Jantsch does not, unlike other sources, sticks only to the formalism related to the modelling, but also includes "real life" examples that make the reader apprieciate what model of computation is the more optimal for his modelling aims.

[ 本帖最后由 benemale 于 2008-6-15 14:31 编辑 ]

woainio · 发表于 2008-6-15 14:21:50

【Morgan Kaufmann 2003】Modeling Embedded Systems and SoC's(Systems on Silicon)

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

相关帖子

站长推荐 /1