|
|
|
Item Details
Title:
|
EMBEDDED SYSTEM DESIGN
MODELING, SYNTHESIS AND VERIFICATION |
By: |
Daniel D. Gajski, Samar Abdi, Andreas Gerstlauer |
Format: |
Hardback |
List price:
|
£79.99 |
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
ISBN 10: |
1441905030 |
ISBN 13: |
9781441905031 |
Publisher: |
SPRINGER-VERLAG NEW YORK INC. |
Pub. date: |
1 August, 2009 |
Edition: |
2009 ed. |
Pages: |
352 |
Description: |
This book on embedded systems details how to design a future multiprocessor system consisting of several processors and other components. It covers methodology, design and tool concepts and delves into modeling practice and requirement. Many examples included. |
Synopsis: |
Embedded System Design: Modeling, Synthesis and Verification introduces a model-based approach to system level design. It presents modeling techniques for both computation and communication at different levels of abstraction, such as specification, transaction level and cycle-accurate level. It discusses synthesis methods for system level architectures, embedded software and hardware components. Using these methods, designers can develop applications with high level models, which are automatically translatable to low level implementations. This book, furthermore, describes simulation-based and formal verification methods that are essential for achieving design confidence. The book concludes with an overview of existing tools along with a design case study outlining the practice of embedded system design. Specifically, this book addresses the following topics in detail: . System modeling at different abstraction levels . Model-based system design . Hardware/Software codesign . Software and Hardware component synthesis .System verification This book is for groups within the embedded system community: students in courses on embedded systems, embedded application developers, system designers and managers, CAD tool developers, design automation, and system engineering. |
Illustrations: |
13 black & white tables, biography |
Publication: |
US |
Imprint: |
Springer-Verlag New York Inc. |
Returns: |
Returnable |
|
|
|
|
|
|
|
|
|
Little Worried Caterpillar (PB)
Little Green knows she''s about to make a big change - transformingfrom a caterpillar into a beautiful butterfly. Everyone is VERYexcited! But Little Green is VERY worried. What if being a butterflyisn''t as brilliant as everyone says?Join Little Green as she finds her own path ... with just a littlehelp from her friends.
|
|
All the Things We Carry PB
What can you carry?A pebble? A teddy? A bright red balloon? A painting you''ve made?A hope or a dream?This gorgeous, reassuring picture book celebrates all the preciousthings we can carry, from toys and treasures to love and hope. With comforting rhymes and fabulous illustrations, this is a warmhug of a picture book.
|
|
|
|