Embedded System Design : Modeling, Synthesis and Verification /

Embedded System Design : Modeling, Synthesis and Verification /

Bibliographic Details
Main Authors: Gajski, Daniel D. (Author), Abdi, Samar. (Author), Gerstlauer, Andreas. (Author), Schirner, Gunar. (Author)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: New York, NY : Springer US : Imprint: Springer, 2009.
Edition:1st ed. 2009.
Subjects:
Electronic circuits.
Engineering design.
Computer-aided engineering.
Software engineering.
Circuits and Systems.
Engineering Design.
Computer-Aided Engineering (CAD, CAE) and Design.
Software Engineering/Programming and Operating Systems.
Table of Contents:
  • System Design Methodologies
  • Modeling
  • System Synthesis
  • Software Synthesis
  • Hardware Synthesis
  • Verification
  • Embedded Design Practice.

Similar Items