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,565
Discovery Miles 15 650
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,565 Discovery Miles 15 650 | Repayment Terms: R147 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
Promotions
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!

You might also like..

A Guide to Human Factors and Ergonomics
Martin Helander Hardcover R3,499 Discovery Miles 34 990
Productivity with Health, Safety, and…
Lakhwinder Pal Singh, Arvind Bhardwaj, … Hardcover R5,501 Discovery Miles 55 010
Studying and Designing Technology for…
Tejinder Judge, Carman Neustaedter Paperback R1,441 R1,336 Discovery Miles 13 360
Sustainability in Engineering Design
Anthony Johnson, Andy Gibson Paperback R1,322 Discovery Miles 13 220
Design Engineering Manual
Mike Tooley Hardcover R2,775 Discovery Miles 27 750
Aircraft Design Projects - For…
Lloyd R. Jenkinson, Jim Marchman Paperback R1,504 Discovery Miles 15 040
Global Ergonomics
P.A. Scott, J. Charteris, … Hardcover R4,948 Discovery Miles 49 480
Discovering AutoCAD 2017
Mark Dix, Paul Riley Paperback R2,399 Discovery Miles 23 990
Wonderful Inventions - from the…
John Timbs Paperback R603 Discovery Miles 6 030
Wonderful Inventions - from the…
John Timbs Paperback R603 Discovery Miles 6 030
An Industrial Design Guide Vol. 01…
Neville Songwe, Carmen Andrisani Hardcover R1,855 Discovery Miles 18 550
FreeCAD 0.20 Black Book
Gaurav Verma, Matt Weber Hardcover R2,389 Discovery Miles 23 890

See more

Partners