|
Northeastern University - FALL SEMESTER 2010 | ||
Section 13153 | ||
Embedded System Design: Modeling, Synthesis and Verification by Daniel D. Gajski, Samar Abdi, Andreas Gerstlauer, Gunar Schirner, Abdi Gajski Hardcover, 352 Pages, Published 2009 ISBN-10: 1-4419-0503-0 / 1441905030 ISBN-13: 978-1-4419-0503-1 / 9781441905031 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 c |