Embedded System Design Modeling, Synthesis and Verification

Embedded System Design Modeling, Synthesis and Verification / by Daniel D. Gajski, Samar Abdi, Andreas Gerstlauer, Gunar Schirner.

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

Full description

Saved in:
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.
Series:Springer eBook Collection.
Subjects:
Electronic circuits.
Engineering design.
Computer-aided engineering.
Software engineering.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • System Design Methodologies
  • Modeling
  • System Synthesis
  • Software Synthesis
  • Hardware Synthesis
  • Verification
  • Embedded Design Practice.

Similar Items