Embedded System Design: Modeling, Synthesis, Verification
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.
View book review by IEEE Design & Test of Computers
Chapter 1: Introduction (pdf)
View video – Processor Level Design
View video – System Level Design
View video – System Level Status
View video – System Level Future
Chapter 2: System Design Methodologies (pdf)
View video – System Design Methodologies
Chapter 3: Modeling (pdf)
View video – Models of Computation
View video – System Design
View video – Processor Modeling
View video – Communication Modeling
Chapter 4: System Synthesis (pdf) (errata)
View video – System Design Trends and Model Based Synthesis
View video – Transaction Level Model Generation
View video – Application to Platform Mapping
View video – Platform and Cycle-Accurate Model Generation
Chapter 5: Software Synthesis (pdf)
View video – Software Synthesis Introduction
View video – Code Generation
View video – Hardware-dependent Software (Part 1)
View video – Hardware-dependent Software (Part 2)
View video – Hardware-dependent Software (Part 3)
Chapter 6: Hardware Synthesis (pdf)
View video – Specification and Architecture
View video – High-level Synthesis
View video – Chaining and Pipelining
View video – Scheduling and Interfacing
Chapter 7: Verification (pdf)
View video – Simulation and Debugging Methods
View video – Formal Verification Methods
View video – Comparative Analysis of Verification Techniques
View video – Model Formalization for SoC Verification
Chapter 8: Embedded Design Practice (pdf)