Daniel D. Gajski, Samar Abdi, Andreas Gerstlauer and Gunar Schirner"Embedded System Design: Modeling, Synthesis and Verification"
Springer (8-2009) | PDF | 358 pages | ISBN: 1441905030 | 3.2Mb
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.