Embedded System Design Modeling, Synthesis and Verification /
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...
Call Number: | Libro Electrónico |
---|---|
Main Authors: | Gajski, Daniel D. (Author), Abdi, Samar (Author), Gerstlauer, Andreas (Author), Schirner, Gunar (Author) |
Corporate Author: | SpringerLink (Online service) |
Format: | Electronic eBook |
Language: | Inglés |
Published: |
New York, NY :
Springer US : Imprint: Springer,
2009.
|
Edition: | 1st ed. 2009. |
Subjects: | |
Online Access: | Texto Completo |
Similar Items
-
Distributed, Embedded and Real-time Java Systems
Published: (2012) -
Introduction to Mixed-Signal, Embedded Design
by: Doboli, Alex, et al.
Published: (2011) -
A Practical Introduction to Hardware/Software Codesign
by: Schaumont, Patrick R.
Published: (2010) -
Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction /
Published: (2010) -
Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification /
by: Gamatié, Abdoulaye
Published: (2010)