Embedded System Design Modeling, Synthesis and Verification /

• Κύριοι συγγραφείς: Gajski, Daniel D. (Συγγραφέας), Abdi, Samar (Συγγραφέας), Gerstlauer, Andreas (Συγγραφέας), Schirner, Gunar (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Boston, MA : Springer US, 2009.
• Θέματα: 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...

Πίνακας περιεχομένων:

• System Design Methodologies
• Modeling
• System Synthesis
• Software Synthesis
• Hardware Synthesis
• Verification
• Embedded Design Practice.