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,546
Discovery Miles 15 460
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,546 Discovery Miles 15 460 | Repayment Terms: R145 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 R519 Discovery Miles 5 190
Studying and Designing Technology for…
Tejinder Judge, Carman Neustaedter Paperback R1,470 R1,382 Discovery Miles 13 820
Sustainability in Engineering Design
Anthony Johnson, Andy Gibson Paperback R1,367 Discovery Miles 13 670
Design Engineering Manual
Mike Tooley Hardcover R2,850 Discovery Miles 28 500
Aircraft Design Projects - For…
Lloyd R. Jenkinson, Jim Marchman Paperback R1,553 Discovery Miles 15 530
Global Ergonomics
P.A. Scott, J. Charteris, … Hardcover R5,067 Discovery Miles 50 670
Discovering AutoCAD 2017
Mark Dix, Paul Riley Paperback R2,467 Discovery Miles 24 670
Wonderful Inventions - from the…
John Timbs Paperback R639 Discovery Miles 6 390
Wonderful Inventions - from the…
John Timbs Paperback R639 Discovery Miles 6 390
An Industrial Design Guide Vol. 01…
Neville Songwe, Carmen Andrisani Hardcover R1,829 Discovery Miles 18 290
FreeCAD 0.20 Black Book
Gaurav Verma, Matt Weber Hardcover R2,350 Discovery Miles 23 500
Autodesk CFD 2023 Black Book
Gaurav Verma, Matt Weber Hardcover R1,932 Discovery Miles 19 320

See more

Partners