0
Your cart

Your cart is empty

Books > Professional & Technical > Technology: general issues > Technical design

Buy Now

Embedded System Design - Modeling, Synthesis and Verification (Paperback, 2009 ed.) Loot Price: R1,584
Discovery Miles 15 840
Embedded System Design - Modeling, Synthesis and Verification (Paperback, 2009 ed.): Daniel D. Gajski, Samar Abdi, Andreas...

Embedded System Design - Modeling, Synthesis and Verification (Paperback, 2009 ed.)

Daniel D. Gajski, Samar Abdi, Andreas Gerstlauer, Gunar Schirner

 (sign in to rate)
Loot Price R1,584 Discovery Miles 15 840 | Repayment Terms: R148 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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.

General

Imprint: Springer-Verlag New York
Country of origin: United States
Release date: November 2014
First published: 2009
Authors: Daniel D. Gajski • Samar Abdi • Andreas Gerstlauer • Gunar Schirner
Dimensions: 235 x 155 x 20mm (L x W x T)
Format: Paperback
Pages: 352
Edition: 2009 ed.
ISBN-13: 978-1-4899-8530-9
Categories: Books > Professional & Technical > Technology: general issues > Technical design > General
Books > Professional & Technical > Electronics & communications engineering > Electronics engineering > Circuits & components
LSN: 1-4899-8530-1
Barcode: 9781489985309

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!

Partners