Embedded System Design: Modeling, Synthesis, Verification presents information on how to design a future multiprocessor system consisting of several processors and other components. Design methodology, modeling techniques, software and hardware synthesis methods and techniques for verification of such multi-processor systems are also discussed. The authors provide model based system synthesis techniques, including algorithms for platform design and application to platform design and application to platform mapping in addition to introducing methodology, design and tool concepts and delving into modeling practice and requirements all the way from application specification to system prototyping. Embedded System Design, authored by Daniel Gajski, Samar Abdi, Andreas Gerstlauer, and Gunar Schirner, is written for embedded system designers, instructors, and graduate students.

Contents (slides):
* PowerPoint slides available upon request

Chapter 1: Introduction (pdf)
Chapter 2: System Design Methodologies (pdf)
Chapter 3: Modeling (pdf)
Chapter 4: System Synthesis (pdf)
Chapter 5: Software Synthesis (pdf)
Chapter 6: Hardware Synthesis (pdf)
Chapter 7: Verification (pdf)
Chapter 8: Embedded Design Practice (pdf)

purchase book online :: return to previous page