Embedded System Design Modeling, Synthesis and Verification /

• Main Authors: Gajski, Daniel D. (Author), Abdi, Samar (Author), Gerstlauer, Andreas (Author), Schirner, Gunar (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Boston, MA : Springer US, 2009.
• Subjects: Engineering.; Software engineering.; Computer-aided engineering.; Engineering design.; Electronic circuits.; Circuits and Systems.; Engineering Design.; Computer-Aided Engineering (CAD, CAE) and Design.; Software Engineering/Programming and Operating Systems.

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 disc...